Model-Based Generation of SDL Specifications for the Early Prototyping of Reactive Systems

  • Andreas Metzger
  • Stefan Queins
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 2599)


During the development of software systems the number of faults can significantly be reduced by prototype-based validation and verification. Therefore, if prototypes can be made available early in the software development process, the costly removal of faults in later stages of development can be reduced. In this paper, a prototyping approach for supporting the development of reactive systems is presented. This approach proposes the generation of prototypes from semi-formal development documents, which are predominant during the requirements engineering phase. To perform this generation step in a systematic manner, a formal model is employed that describes all types of development products and their relations for a given requirements engineering method. Further, the application of this approach for an efficient iterative development process that is based on document generation is outlined.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    Budde, R., Kautz, K., Kuhlenkamp, K. et al.: Prototyping-An Approach to Evolutionary System Development. Springer-Verlag, Berlin Heidelberg New York (1992)zbMATHGoogle Scholar
  2. 2.
    Metzger, A., Queins, S.: Specifying Building Automation Systems with PROBAnD, a Method Based on Prototyping, Reuse, and Object-orientation. In: Hofmann, P., Schürr, A. (eds.): OMER-Object-Oriented Modeling of Embedded Real-Time Systems. GI-Edition, Lecture Notes in Informatics (LNI), P-5. Bonner Köln Verlag (2002) 135–140Google Scholar
  3. 3.
    Mahdavi, A., Metzger, A., Zimmermann, G.: Towards a Virtual Laboratory for Building Performance and Control. In: Trappl, R. (ed.): Cybernetics and Systems 2002, Vol. 1. Austrian Society for Cybernetic Studies, Vienna (2002) 281–286Google Scholar
  4. 4.
    Mansurov, N., Vasura, D.: Approximation of (H)MSC semantics by Event Automata. In: Proceedings of the SDL Forum Society International Workshop on SDL and MSC (SAM 2000). Grenoble, France. (2000)Google Scholar
  5. 5.
    Khendek, F., Robert, G., Butler, G. et al.: Implementability of Message Sequence Charts. In: Proceedings of the SDL Forum Society International Workshop on SDL and MSC (SAM’ 98). Berlin, Germany. (1998)Google Scholar
  6. 6.
    Queins, S.: PROBAnD-Eine Requirements-Engineering-Methode zur systematischen, domänenspezifischen Entwicklung reaktiver Systeme. Dissertation. Department of Computer Science. University of Kaiserslautern (2002)Google Scholar
  7. 7.
    Metzger, A. et al.: PROTAGOnIST-Tools for Iterative Software Development. Web Site. Department of Computer Science. University of Kaiserslautern
  8. 8.
    Zimmermann, G.: A New Approach To Building Simulation Based on Communicating Objects. In: Lamberts, R. et al. (eds.): Proceedings of the Seventh International IBPSA Conference, Vol. 2. Rio de Janeiro, Brazil (2001) 707–714Google Scholar
  9. 9.
    Queins, S., Metzger, A.: The PROBAnD Railway Crossing Specification. Contribution to the SDL-2000 Design Contest of the 3rd SDL Forum Society International Workshop on SDL and MSC. Aberystwyth, Wales (2002) contest/QueinsMetzger/

Copyright information

© Springer-Verlag Berlin Heidelberg 2003

Authors and Affiliations

  • Andreas Metzger
    • 1
  • Stefan Queins
    • 2
  1. 1.Department of Computer ScienceKaiserslautern Technical UniversityKaiserslauternGermany
  2. 2.SOPHIST GmbHNürnbergGermany

Personalised recommendations