Powered by
2014 IEEE 22nd International Requirements Engineering Conference (RE),
August 25-29, 2014,
Karlskrona, Sweden
Tool Demonstrations and Posters
Thu, Aug 28, 15:30 - 17:00, J1360 (Chair: Jennifer Horkoff; Richard Berntsson Svensson)
Nòmos 3: Reasoning about Regulatory Compliance of Requirements
Silvia Ingolfo, Alberto Siena, and John Mylopoulos
(University of Trento, Italy)
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.
@InProceedings{RE14p313,
author = {Silvia Ingolfo and Alberto Siena and John Mylopoulos},
title = {Nòmos 3: Reasoning about Regulatory Compliance of Requirements},
booktitle = {Proc.\ RE},
publisher = {IEEE},
pages = {313--314},
doi = {},
year = {2014},
}
GUITAR: An Ontology-based Automated Requirements Analysis Tool
Tuong Huan Nguyen,
John Grundy, and Mohamed Almorsy
(Swinburne University of Technology, Australia)
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.
@InProceedings{RE14p315,
author = {Tuong Huan Nguyen and John Grundy and Mohamed Almorsy},
title = {GUITAR: An Ontology-based Automated Requirements Analysis Tool},
booktitle = {Proc.\ RE},
publisher = {IEEE},
pages = {315--316},
doi = {},
year = {2014},
}
Video
Simulation-Based Requirements Discovery for Smart Driver Assistive Technologies
Andreas Gregoriades, Maria Pampaka, and Alistair Sutcliffe
(European University Cyprus, Cyprus; University of Manchester, UK)
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.
@InProceedings{RE14p317,
author = {Andreas Gregoriades and Maria Pampaka and Alistair Sutcliffe},
title = {Simulation-Based Requirements Discovery for Smart Driver Assistive Technologies},
booktitle = {Proc.\ RE},
publisher = {IEEE},
pages = {317--318},
doi = {},
year = {2014},
}
Video
EAM: Ecosystemability Assessment Method
Eric Knauss and Imed Hammouda
(Chalmers, Sweden; University of Gothenburg, Sweden)
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.
@InProceedings{RE14p319,
author = {Eric Knauss and Imed Hammouda},
title = {EAM: Ecosystemability Assessment Method},
booktitle = {Proc.\ RE},
publisher = {IEEE},
pages = {319--320},
doi = {},
year = {2014},
}
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)
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.
@InProceedings{RE14p321,
author = {Yanji Liu and Yukun Su and Xinshang Yin and Gunter Mussbacher},
title = {Combined Goal and Feature Model Reasoning with the User Requirements Notation and jUCMNav},
booktitle = {Proc.\ RE},
publisher = {IEEE},
pages = {321--322},
doi = {},
year = {2014},
}
Video
Decisively: Application of Quantitative Analysis and Decision Science in Agile Requirements Engineering
Sanjaya Kumar Saxena and Rachna Chakraborty
(GrayPE Systems, India)
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.
@InProceedings{RE14p323,
author = {Sanjaya Kumar Saxena and Rachna Chakraborty},
title = {Decisively: Application of Quantitative Analysis and Decision Science in Agile Requirements Engineering},
booktitle = {Proc.\ RE},
publisher = {IEEE},
pages = {323--324},
doi = {},
year = {2014},
}
Video
VARED: Verification and Analysis of Requirements and Early Designs
Julia Badger, David Throop, and Charles Claunch
(NASA, USA; Boeing, USA)
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.
@InProceedings{RE14p325,
author = {Julia Badger and David Throop and Charles Claunch},
title = {VARED: Verification and Analysis of Requirements and Early Designs},
booktitle = {Proc.\ RE},
publisher = {IEEE},
pages = {325--326},
doi = {},
year = {2014},
}
Structured Multi-view Modeling by Tabular Notation
Xiuna Zhu, Dongyue Mou, and Daniel Ratiu
(TU München, Germany; fortiss, Germany)
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.
@InProceedings{RE14p327,
author = {Xiuna Zhu and Dongyue Mou and Daniel Ratiu},
title = {Structured Multi-view Modeling by Tabular Notation},
booktitle = {Proc.\ RE},
publisher = {IEEE},
pages = {327--328},
doi = {},
year = {2014},
}
Video
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)
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.
@InProceedings{RE14p329,
author = {Ralf Laue and Frank Hogrebe and Boris Böttcher and Markus Nüttgens},
title = {Efficient Visual Notations for Efficient Stakeholder Communication},
booktitle = {Proc.\ RE},
publisher = {IEEE},
pages = {329--330},
doi = {},
year = {2014},
}
Symbolic Verification of Requirements in VRS System
Oleksandr Letychevskyi and Thomas Weigert
(Glushkov Institute of Cybernetics, Ukraine; Uniquesoft LLC, USA)
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.
@InProceedings{RE14p331,
author = {Oleksandr Letychevskyi and Thomas Weigert},
title = {Symbolic Verification of Requirements in VRS System},
booktitle = {Proc.\ RE},
publisher = {IEEE},
pages = {331--332},
doi = {},
year = {2014},
}
Video
Business Application Modeler: A Process Model Validation and Verification Tool
Sören Witt, Sven Feja, Andreas Speck, and Christian Hadler
(Kiel University, Germany)
(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.
@InProceedings{RE14p333,
author = {Sören Witt and Sven Feja and Andreas Speck and Christian Hadler},
title = {Business Application Modeler: A Process Model Validation and Verification Tool},
booktitle = {Proc.\ RE},
publisher = {IEEE},
pages = {333--334},
doi = {},
year = {2014},
}
Video
proc time: 0.3