A methodology for modeling usage behavior of multi-functional systems

In this thesis a methodology for modeling the usage behavior of multi-functional systems is presented. It focuses on the seamless transition from informally (textually) given functional requirements to formal models of the system behaviour from a black box perspective. First the functionality is structured hierarchically and dependencies between single functions are captured. Next, the single functions are formally modelled and combined on basis of their dependencies. In order to realize feature interaction, the modular specifications are adapted in a systematic way. The result is a formal model of the usage behaviour.

[1]  Bernhard Schätz,et al.  Service based Software Specification , 2002 .

[2]  H. Singh,et al.  Methods of addressing the interactions of intelligent network services with embedded switch services , 1988, IEEE Communications Magazine.

[3]  Doris Wild,et al.  On the integration of design and test: a model-based approach for embedded systems , 2006, AST '06.

[4]  Manfred Broy,et al.  Modellbildung in der Informatik , 2004, Xpert.press.

[5]  Evan H. Magill,et al.  The Use of Rollback to Prevent Incorrect Operation of Features in Intelligent Network Based Systems , 1998, FIW.

[6]  Leonid Kof,et al.  Service Based Development of Embedded Systems , 2004 .

[7]  Nancy A. Lynch,et al.  Hybrid I/O automata , 1995, Inf. Comput..

[8]  Doris Wild,et al.  Integrating service specifications at different levels of abstraction , 2005, IEEE International Workshop on Service-Oriented System Engineering (SOSE'05).

[9]  Antti-Pekka Tuovinen,et al.  Modelling Feature Interactions in Mobile Phones , 2001, FICS.

[10]  D. Wild,et al.  Concretization and Formalization of Requirements for Automotive Embedded Software Systems Development , 2005 .

[11]  Axel van Lamsweerde,et al.  Scenarios, goals, and state machines: a win-win partnership for model synthesis , 2006, SIGSOFT '06/FSE-14.

[12]  Philippe Massonet,et al.  GRAIL/KAOS: An Environment for Goal-Driven Requirements Engineering , 1997, Proceedings of the (19th) International Conference on Software Engineering.

[13]  Daniel M. Berry,et al.  AbstFinder, A Prototype Natural Language Text Abstraction Finder for Use in Requirements Elicitation , 1997, Automated Software Engineering.

[14]  Michael Jackson,et al.  New Feature Interactions in Mobile and Multimedia Telecommunications Services , 2000, FIW.

[15]  David Harel,et al.  Rhapsody: A Complete Life-Cycle Model-Based Development System , 2002, IFM.

[16]  Paul Clements,et al.  Software product lines - practices and patterns , 2001, SEI series in software engineering.

[17]  John W. Brackett,et al.  The Core method for real-time requirements , 1992, IEEE Software.

[18]  Alexander L. Wolf,et al.  A conceptual basis for feature engineering , 1999, J. Syst. Softw..

[19]  Amy P. Felty,et al.  Feature specification and automated conflict detection , 2003, TSEM.

[20]  Christian Salzmann,et al.  Tool supported development of service-based systems , 2004, 11th Asia-Pacific Software Engineering Conference.

[21]  Bernhard Schätz,et al.  Consistent Graphical Specification of Distributed Systems , 1997, FME.

[22]  Kyo Chul Kang,et al.  Feature-Oriented Domain Analysis (FODA) Feasibility Study , 1990 .

[23]  John King,et al.  Service Validation and Testing , 1995, FIW.

[24]  Kyo Chul Kang,et al.  Domain-oriented engineering of elevator control software: a product line practice , 2000 .

[25]  Alexander Harhurin,et al.  A Formal Approach to Specifying the Functionality of Software System Families , 2007 .

[26]  Dániel Fey,et al.  Feature Modeling: A Meta-Model to Enhance Usability and Usefulness , 2002, SPLC.

[27]  Doris Wild,et al.  An Architecture-Centric Approach towards the Construction of Dependable Automotive Software , 2006 .

[28]  Bernhard Schätz,et al.  Modellbasierte Anforderungsanalyse mit AutoRAID , 2007, Informatik - Forschung und Entwicklung.

[29]  Jaejoon Lee,et al.  Concepts and Guidelines of Feature Modeling for Product Line Software Engineering , 2002, ICSR.

[30]  Jaejoon Lee,et al.  FORM: A feature-;oriented reuse method with domain-;specific reference architectures , 1998, Ann. Softw. Eng..

[31]  Jan Jürjens,et al.  Sound development of secure service-based systems , 2004, ICSOC '04.

[32]  Henri Briand,et al.  An approach based on the concept of use case to produce dynamic object-oriented specifications , 1997, Proceedings of ISRE '97: 3rd IEEE International Symposium on Requirements Engineering.

[33]  Bernhard Schätz,et al.  Service-Based Systems Engineering: Consistent Combination of Services , 2003, ICFEM.

[34]  Mario Kolberg,et al.  Feature interaction: a critical review and considered forecast , 2003, Comput. Networks.

[35]  Manfred Broy,et al.  Specification and development of interactive systems: focus on streams, interfaces, and refinement , 2001 .

[36]  Pierre R. Mai,et al.  Incremental Development for Automotive Software in AutoMoDe ∗ , 2006 .

[37]  Manfred Broy,et al.  A formal model of services , 2007, TSEM.

[38]  Alan M. Davis,et al.  The Design of a Family of Application-Oriented Requirements Languages , 1982, Computer.

[39]  Abraham O. Fapojuwo,et al.  The use of semi-formal methods for detecting requirements interactions , 2004, IASTED Conf. on Software Engineering.

[40]  Doris Wild,et al.  Feature Net - ein Ansatz zur Modellierung von automobilspezifischem Domänenwissen und Anforderungen , 2006, GI Jahrestagung.

[41]  D. Wild,et al.  A compositional approach for functional requirement specifications of automotive software systems , 2006 .

[42]  Patrick Donohoe,et al.  Feature-Oriented Project Line Engineering , 2002, IEEE Softw..

[43]  Tzilla Elrad,et al.  Aspect-Oriented Software Development , 2004 .

[44]  Manfred Broy,et al.  State Transition Diagrams , 1996 .

[45]  David Lorge Parnas,et al.  Functional Documents for Computer Systems , 1995, Sci. Comput. Program..

[46]  David Harel,et al.  LSCs: Breathing Life into Message Sequence Charts , 1999, Formal Methods Syst. Des..

[47]  Joanne M. Atlee,et al.  Towards automated detection of feature interactions , 1994, FIW.

[48]  Doris Wild,et al.  Formal incremental requirements specification of service-oriented automotive software systems , 2006, 2006 Second IEEE International Symposium on Service-Oriented System Engineering (SOSE'06).