Abstract
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.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Budde, R., Kautz, K., Kuhlenkamp, K. et al.: Prototyping-An Approach to Evolutionary System Development. Springer-Verlag, Berlin Heidelberg New York (1992)
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–140
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–286
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)
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)
Queins, S.: PROBAnD-Eine Requirements-Engineering-Methode zur systematischen, domänenspezifischen Entwicklung reaktiver Systeme. Dissertation. Department of Computer Science. University of Kaiserslautern (2002)
Metzger, A. et al.: PROTAGOnIST-Tools for Iterative Software Development. Web Site. Department of Computer Science. University of Kaiserslautern http://wwwagz.informatik.uni-kl.de/staff/metzger/protagonist/
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–714
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) http://www.sdl-forum.org/SAM contest/QueinsMetzger/
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2003 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Metzger, A., Queins, S. (2003). Model-Based Generation of SDL Specifications for the Early Prototyping of Reactive Systems. In: Sherratt, E. (eds) Telecommunications and beyond: The BroaderApplicability of SDL and MSC. SAM 2002. Lecture Notes in Computer Science, vol 2599. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-36573-7_11
Download citation
DOI: https://doi.org/10.1007/3-540-36573-7_11
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-00877-4
Online ISBN: 978-3-540-36573-0
eBook Packages: Springer Book Archive