Posters and Tool Demos

The 22nd IEEE International Requirements Engineering Conference (RE'14) continues the effort of the RE series of holding a posters & demos session to promote interaction and discussion among conference participants.

This year's track will emphasize the conference topics: posters and demos that demonstrate Innovation in and through Requirements Engineering. We expect conference participants to mingle with and experience the work of poster presenters, tool demonstrators, practitioners of techniques, and producers of artifacts.

We have selected posters and demos that explicitly give the audience the opportunity to gain hands-on experience with technologies or which demonstrate interactively how a requirements engineering method or technique can be applied. Authors have been strongly encouraged to augment the poster or demo with means of involving the conference participants, such as:

  • A live demo of proposed requirements engineering tools;
  • Video samples from industrial or educational application of requirements engineering techniques;
  • Games exploring the main concepts of the requirement engineering tool, method, or technique; or
  • Examples of the use of rich media in requirements engineering, including requirements visualizations, multimedia requirements documents, scenarios, storyboards, and vision/concept materials.

The poster and demo session will take place on Thursday, 15:30 to 17:00.

We will give the participants multiple opportunities to preview the presented work. Posters will be set up some time before the official sessions, allowing attendees to check out which work they would like to have presented or to discuss in more detail.

Furthermore, we will have a 30 minute lightening talk session on Wednesday, 16:00-16:30. Authors will give a 1-minute overview of their work with forced slide transitions. This is a great opportunity to check out the posters and demos, with the opportunity to mingle and discuss work in more detail on the Thursday session. We welcome all conference participants to attend and check out the work!


We will give out 1st, 2nd, and 3rd place certificates for the best overall poster/demos. The first-place student poster/demo author (the first ranked student among the winning posters/demos) will receive the student best poster/demo award, a Sony Xperia Z tablet! Each conference attendee will have the opportunity to vote for 1st, 2nd and 3rd place via a ballot received with their conference registration material. We encourage everyone to vote!

Accepted Contributions

ID Poster/Demo
PD01 Nòmos 3: Reasoning about Regulatory Compliance of Requirements
Silvia Ingolfo, Alberto Siena, and John Mylopoulos
(University of Trento, Italy)
Abstract  | Paper

The great impact that law has in the RE-process has called for new techniques and procedures to evaluate the alignment of requirements with applicable laws. In this paper we present a modeling language for the evaluation of compliance of requirements with a piece of law: Nomos3. We introduce our language and show the reasoning capabilities of our proposal.

PD02 GUITAR: An Ontology-based Automated Requirements Analysis Tool
Tuong Huan Nguyen, John Grundy, and Mohamed Almorsy
(Swinburne University of Technology, Australia)
Abstract  | Paper  | Video

Combining goal-oriented and use case modeling has been proven to be an effective method in requirements elicitation and elaboration. However, current requirements engineering approaches generally lack reliable support for automated analysis of such modeled artifacts. To address this problem, we have developed GUITAR, a tool which delivers automated detection of incorrectness, incompleteness and inconsistency between artifacts. GUITAR is based on our goal-use case integration meta-model and ontologies of domain knowledge and semantics. GUITAR also provides comprehensive explanations for detected problems and can suggest resolution alternatives.

PD03 Simulation-Based Requirements Discovery for Smart Driver Assistive Technologies
Andreas Gregoriades, Maria Pampaka, and Alistair Sutcliffe
(European University Cyprus, Cyprus; University of Manchester, UK)
Abstract  | Paper  | Video

Smart driver assistive technologies (DAT) have been developed to alleviate accident risk by either reducing driver workload or assessing driver attentiveness. Such systems aim to draw drivers’ attention on critical cues that improve decision making. However, in some cases, these systems can have a negative effect due to the extra information load they incur to the driver. Therefore, in addition to specifying the functional requirements for such systems there is an urgent need to address the human requirements. This work describes a simulation-based requirements discovery method that utilises the benefits of a modular simulator that models future designs of DAT.

PD04 EAM: Ecosystemability Assessment Method
Eric Knauss and Imed Hammouda
(Chalmers, Sweden; University of Gothenburg, Sweden)
Abstract  | Paper

In this extended abstract, we present the ecosystemability assessment method as a means to assess the extent to which a software system, represented by its architecture and its development environment, supports the vision of ecosystem.

PD05 Combined Goal and Feature Model Reasoning with the User Requirements Notation and jUCMNav
Yanji Liu, Yukun Su, Xinshang Yin, and Gunter Mussbacher
(McGill University, Canada)
Abstract  | Paper  | Video

The User Requirements Notation (URN) is an international requirements engineering standard published by the International Telecommunication Union. URN supports goal-oriented and scenario-based modeling and analysis. jUCMNav is an open-source, Eclipse-based modeling tool for URN. This tool demonstration focuses on recent extensions to jUCMNav that have incorporated feature models into a URN-based modeling and reasoning framework. Feature modeling is a well-establishing technique for capturing commonalities and variabilities of Software Product Lines. Combined with URN, it is possible to reason about the impact of feature configurations on stakeholder goals and system qualities, thus helping to identify the most appropriate features for a stakeholder. Furthermore, coordinated feature and goal model reasoning is fundamental to Concern-Driven Development, where concerns are defined with a three-part variation, customization, and usage interface. As the variation interface is described with feature and goal models, it is now possible with jUCMNav to define and reason about a concern’s variation interface, which is a prerequisite for composing multiple concerns based on their three-part interfaces.

PD06 Decisively: Application of Quantitative Analysis and Decision Science in Agile Requirements Engineering
Sanjaya Kumar Saxena and Rachna Chakraborty
(GrayPE Systems, India)
Abstract  | Paper  | Video

While many mature Requirements Engineering (RE) tools for Agile exist, RE professionals at large have not been able to benefit from Quantitative Analysis and Decision Science (QUADS) techniques in this context. In this paper we present an Agile RE tool, Decisively, which brings a new perspective to automation in the RE process through application of QUADS to address Requirement Discovery, Analysis, Estimation and Prioritization. Techniques explored in Decisively include Analytical Hierarchical Process (AHP) for prioritization and estimation, Lorenz function to shortlist user stories by analyzing the distribution of votes, Box Plot Analysis to predict velocity, and Text Mining to discover implied requirements from documents.

PD07 VARED: Verification and Analysis of Requirements and Early Designs
Julia Badger, David Throop, and Charles Claunch
(NASA, USA; Boeing, USA)
Abstract  | Paper

Requirements are a part of every project life cycle; everything going forward in a project depends on them. The VARED tool chain aims to provide an integrated environment to analyze and verify the requirements and early design of a system. Natural language requirements are processed automatically into formal specifications using a state model of the system under design and its environment. The specifications are formally checked and then are used to verify the controller model meets the requirements.

PD08 Structured Multi-view Modeling by Tabular Notation
Xiuna Zhu, Dongyue Mou, and Daniel Ratiu
(TU München, Germany; fortiss, Germany)
Abstract  | Paper  | Video

The growth of software complexity and high degree of dependencies between functionalities motivates the use of models during requirements engineering. Hence, readability and comprehensibility of currently requirements specification techniques should be increased. Additionally, multi-view modeling and tabular expression are widely accepted techniques in requirements documentation. We present a tool that allows structured multi-view modeling of the behavior of the system by means of tabular notation. Our tool provides various table patterns to support different behavior views, which leverage the advantages of tabular specification, e.g., unambiguous, precise, and easier to read, analyses and communicate. Our aim is to reduce the complexity in the development of software systems.

PD09 Efficient Visual Notations for Efficient Stakeholder Communication
Ralf Laue, Frank Hogrebe, Boris Böttcher, and Markus Nüttgens
(University of Applied Sciences Zwickau, Germany; Hessische Hochschule für Polizei und Verwaltung Wiesbaden, Germany; University of Hamburg, Germany)
Abstract  | Paper

The visual syntax of modelling languages can support (or impede) the intuitive understandability of a model. We observed the process of problem solving with two notation variants of i* diagrams by means of an eye-tracking device. The number of wrongly answered questions was significantly lower when the alternative i* notation suggested by Moody et al. was used. For the eye-tracking metrics "time to solve a task" and "number of eye fixations", no such significant result can be given. Furthermore, we identified a deficiency for the "dependency" symbol in the alternative notation.

PD10 Symbolic Verification of Requirements in VRS System
Oleksandr Letychevskyi and Thomas Weigert
(Glushkov Institute of Cybernetics, Ukraine; Uniquesoft LLC, USA)
Abstract  | Paper  | Video

VRS (Verification Requirements Specifications) system is a tool for processing formal requirements during the initial stage of software, hardware, or system development. Symbolic modeling and deductive methods are used for detection of issues such as safety violations, deadlocks, nondeterminism, or livelocks. The formal representation of requirements also supports the generation of test suites as well as the synthesis of a design model.

PD11 Business Application Modeler: A Process Model Validation and Verification Tool
Sören Witt, Sven Feja, Andreas Speck, and Christian Hadler
(Kiel University, Germany)
Abstract  | Paper  | Video

(Business) Process models are common artifacts in requirements engineering. The models can be enriched with plenty of (detailed) information and their at least semi formal character even enables model driven approaches or direct execution in workflow engines. Validity of process models is crucial. Manual checking is expensive and error-prone, especially for requirements that regard the content level (e.g. compliance). To enable automated checking, an adequate method for formal specification is necessary. We present the Business Application Modeler (BAM), which is a modeling and Validation & Verification tool that integrates modeling of processes and formal graphical validation rules. These rules can be automatically applied to process models. In particular, the modeler is supported by visualizations of checking results directly in the process models. Next to highlighting mechanisms this support includes recommendations for the correction of errors.


Posters, Demos and Exhibits Co-Chair

Jennifer Horkoff
Università degli Studi di Trento, Italy

Posters, Demos and Exhibits Co-Chair

Richard Berntsson Svensson
Chalmers University of Technology and Göteborgs Universitet, Sweden