SKY 2015 Abstracts


Full Papers
Paper Nr: 3
Title:

Software, Is It Poetry or Prose? - Conceptual Content at the Higher Abstraction Levels

Authors:

Iaakov Exman and Alessio Plebe

Abstract: Software is it Poetry or Prose? It is part Poetry, part Prose. But it has much more in common with both forms of natural language, than usually admitted: software concepts, rather than defined by syntactic oriented computer programming languages, are characterized by the semantics of natural language. This paper exploits these similarities in a two-way sense. In one way the software perspective may be relevant to the analysis of natural language forms, such as poems. In the other way round, as its central message, this paper uses properties of both Poetry and Prose to facilitate a deeper understanding of highest-level software abstractions.

Paper Nr: 4
Title:

Conceptual Object Exchanges among Software Games by Non-programmers

Authors:

Iaakov Exman and Guy Shimoni

Abstract: A non-programmer, who is an expert game player, could easily grasp the idea of improving his jumping avatar by importing a flying property found in another game. But in order to actually exchange conceptual objects between games one would need a suitably transparent software infra-structure. We propose the usage of UFOs – Unidentified Flying Objects – that can be smoothly transmitted and embedded into the target game, and except for their conceptual label, are so-to-speak unidentified by the non-programmer. This approach has been designed and implemented into a distributed system of multiple software games in different mobile computers. Beyond games, this system serves as a feasibility proof for on-the-fly exchange of Conceptual Objects among any kinds of software applications.

Paper Nr: 6
Title:

Lido – Wiki based Living Documentation with Domain Knowledge

Authors:

Reuven Yagel

Abstract: There is a gap between code and documentation in many software development projects. This gap usually grows as time goes by, decreasing developers ability to keep product quality high. We describe how documentation based on a common wiki can be enhanced with domain knowledge in ways that ensure better live documentation. This way updated and relevant documentation, i.e., specifications, manuals, models, test scripts, etc. lead ultimately to higher quality software.

Paper Nr: 11
Title:

Natural Language Processing System Applied in Public Health for Assessment of an Automatic Analysis of Patterns Generator

Authors:

Anabel Fraga, Juan Llorens, Valeria Rodríguez and Valentin Moreno

Abstract: Nowadays, there are many scientific articles referring to any topic like medicine, technology, economics, finance, and so on. These articles are better known as papers, they represent the evaluation and interpretation of different arguments, showing results of scientific interest. At the end, most of these are published in magazines, books, journals, etc. Due to the fact that these papers are created with a higher frequency it is feasible to analyse how people write in the same domain. At the level of structure and with the help of graphs some of the results that can be found are: groups of words that are used (to determine if they come from a specific vocabulary), most common grammatical categories, most repeated words in a domain, patterns found, and frequency of patterns found. This research has been created to fulfil these needs. A domain of public health has been selected and it is composed of 800 papers about different topics referring to genetics such as mutations, genetic deafness, DNA, trinucleotide, suppressor genes, among others; and an ontology of public health has been used to provide the basis of the study.

Short Papers
Paper Nr: 7
Title:

A Flexible, Evolvable Data Broker

Authors:

Sidney C. Bailin and Theodora Bakker

Abstract: We describe a Data Broker application developed for New York University Langone Medical Center. The Broker was designed to accommodate an evolving set of data sources and destinations with little or no additional coding. A schema-less RDF database, currently implemented in OpenRDF but amenable to other implementations, is a key to this flexibility. The independence from a database schema allows the Broker to operate equally well in other institutions and in other applications. Thus, although it was built for one specific purpose, it can be reused as a general-purpose tool.

Paper Nr: 8
Title:

GQR Model to Support Requirements Elicitation for Content Rich Systems

Authors:

Leah Goldin

Abstract: Requirements elicitation for content rich systems is a huge challenge. Even using known techniques, does not avoid diving into content details and get lost in hyperspace. We propose the GQR (Goal-Question-Result) model to support the Requirements Elicitation process in elevating the elicitation discussions from specific data elements to contextual structures of goal-question-result related content requirements, while scoping the discussion to specific stakeholders. This paper characterizes the GQR model, shows its advantages relative to the previous methods and illustrate its application by means of two case studies, one biomedical and another related to CMMI requirements processes.

Paper Nr: 13
Title:

Archiving Programs for the Future

Authors:

Alexander Binun, Shlomi Dolev and Yin Li

Abstract: This paper presents a novel approach for long-term software archiving which is based on preserving programs as bit blocks. A simple machine that is able to execute a single command is used to interpret these bit blocks. We suggest to compile the existing programs into the bit representation of the One-Instruction-Set computer (OISC) command “SUBtract and Branch if Less than or EQual to zero”, shortly Subleq. This is in order to keep the resulting bit stream using error correcting code in a reliable storage unit. At any moment, this bit stream can be executed by a simple interpreter that possesses the functionality of a basic Random Access Machine. Furthermore, a compiler prototype based on an existing compiler and interpreter is also proposed to convert a program written by a procedural language (e.g., C) into the Subleq assembly language, and then translates it into a binary executable format. Error correcting is achieved by supplementing bit streams with Hamming codes. Our scheme nullifies the need to preserve legacy hardware in order to support/operate preserved software systems thus serving as a program “time capsule” for the future.

Paper Nr: 14
Title:

Tracing of Informal and Formal Requirements through Model Variables - SKY 2015 Challenge

Authors:

Martin Böschen and Christian Rudat

Abstract: We describe a particular notion of traceability, namely the traceability between model variables and text passages in an informal requirement and discuss the usefulness of this concept, as it establishes a natural connection between formal and informal requirements. The traceability can be established in an semi-automated way by using the algorithm presented in this paper, which combines two metrics to match parts of the informal requirements to model variables. The first metric is purely text based and uses the Levenshtein distance, the second metric measures the semantical distance of concepts by using the Wu and Palmer measure and the WordNet ontology. The algorithm makes suggestions to the requirements engineer based on a combined score of these two measures. The suggested approach has been implemented in a tool and is studied in a small example.