1. Enhancing Requirements Engineering Efficiency Using
Explicit Semantics and Template-Based Mechanisms
Research Preview
Thomas Moser, Wikan Sunindyo, Stefan Farfeleder, Inah Omoronyia
Christian Doppler Laboratory SE-Flex-AS / Institute of Computer Languages
Vienna University of Technology, Austria
The Irish Software Engineering Research Centre
University of Limerick, Ireland

2. Introduction
 Context
– Usage of ontologies and requirement templates (e.g.,
Boilerplates, EBNF) for support of typical requirement
engineering tasks
 Challenges
– A lot of different benefitial approaches, which are hard to
combinet
 Objective
– Provide a framework for efficient and effective combination of
ontology and requirement template-based approaches
2

3. Boilerplates
 Textual requirement template (Hull, Jackson & Dick 2005)
 Sequence of attributes and fixed syntax elements
 Tool support: DODT (Farfeleder et al. 2011)
– Domain ontology-supported requirement elicitation
3

4. EBNF
 Extended Bakkus-Naur-Form (Rupp 2002)
 Generic formal language description approach
 Tool support: OntRep (Moser et al. 2011)
– Requirement categoriziation and consistency checking
4

5. Methodology to integrate approaches
1. Identify different requirement templates
 Define transformation between templates
2. Analyze domain ontologies used
 Identify similarities
 Identify relationships
 Identify conflicts among ontologies
 Define mappings between ontologies
3. Provide integrated tool chain based on steps 1&2
 Tool-supported requirements engineering lifecycle
5

6. Interlinking between requirements and
ontology representation
6

7. Evaluation Plan
 Requirements consistency
– Focus on resolving conceptual inconsistency
• e.g., the concepts of „door open“ and „door close“
 Requirements completeness
– Internal requirements completeness
• individual requirements include entire information necessary to
validate and implement them, e.g., all pre- and post-conditions
– External requirements completeness
• completeness of the overall set of requirements
 Requirement maintainability
– effort required for performing typical RE maintenance tasks
7 • e.g., requirement categorization or conflict analysis

8. Thank you ...
… time for discussion!
Enhancing Requirements Engineering Efficiency Using
Explicit Semantics and Template-Based Mechanisms
Thomas Moser, Wikan Sunindyo, Stefan Farfeleder, Inah Omoronyia
Christian Doppler Laboratory SE-Flex-AS / Institute of Computer Languages
Vienna University of Technology, Austria
The Irish Software Engineering Research Centre
University of Limerick, Ireland
Mail: thomas.moser@tuwien.ac.at
8