Abstract
Compositional architecture-driven and model-based system design holds huge potential to increase design efficiency and improve design quality for large-scale industrial systems. Transition to such design paradigm is hampered by the lack of domain-specific methods and tools that give adequate support for both behavioral and structural modeling and development automation. This paper introduces an enhancement to Lyra, a rigorous service-oriented modeling method for the design of communicating distributed systems that brings process algebraic thinking into industrial system specification with particular focus on behavior. This enhancement offers a sound basis for implementing the ideas of MDA in automation of system design, functional verification and conformance testing. The Lyra method and its enhancement are exemplified using UML2 to model a critical and complex part of the mobile WiMAX wireless system.
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsPreview
Unable to display preview. Download preview PDF.
References
Hoare, C.A.R.: Communicating Sequential Processes. Prentice Hall, Englewood Cliffs (1985)
Milner, R.: Communication and Concurrency. Prentice Hall, Englewood Cliffs (1989)
Leppänen, S.: The Lyra Design Method. Technical report, Technical University of Tampere (2005) ISBN 952-15-1464-7, ISSN 1459-417X
Leppänen, S., Ilic, D., Malik, Q., Systä, T., Troubitsyna, E.: Specifying UML Profile for Distributed Communicating Systems and Communication Protocols. In: Proceedings of the Workshop on Consistency in Model Driven Engineering (2005)
Ilic, D., Troubitsyna, E., Laibinis, L., Leppänen, S.: Formal Verification of Consistency in Model-Driven Development of Distributed Communicating Systems and Communication Protocols, Technical Report (enhanced version submitted into a journal), Turku Centre for Computer Science (2006), ISBN 952-12-1749-9
Ellsberger, J., Hogrefe, D., Sarma, A.: SDL Formal Object-Oriented Language for Communicating Systems. Prentice Hall, Englewood Cliffs (1997)
Selic, B.: Tutorial: real-time object-oriented modeling (ROOM). In: Real-Time Technology and Applications Symposium, IEEE, Los Alamitos (1996)
Selic, B., Gullekson, G., McGee, J., Engelberg, I.: ROOM: an object-oriented methodology for developing real-time systems. In: Fifth International Workshop on Computer-Aided Software Engineering (1992)
EU project IST 511599 RODIN: Rigorous Open Development Environment for Complex Systems (2007), http://rodin.cs.ncl.ac.uk/
Kruchten, P.: The Rational Unified Process: An Introduction. Addison-Wesley, Reading (2000)
Jacobson, I., Booch, G., Rumbaugh, J.: The Unified Software Development Process: An Introduction. Addison-Wesley, Reading (1999)
Laibinis, L., Troubitsyna, E., Leppänen, S., Lilius, J., Malik, Q.: Formal Model-Driven Development of Communicating Systems. In: Lau, K.-K., Banach, R. (eds.) ICFEM 2005. LNCS, vol. 3785, Springer, Heidelberg (2005)
Laibinis, L., Troubitsyna, E., Leppänen, S., Lilius, J., Malik, Q.: Formal Service-Oriented Development of Fault Tolerant Communicating Systems. In: Butler, M., Jones, C., Romanovsky, A., Troubitsyna, E. (eds.) Rigorous Development of Complex Fault-Tolerant Systems. LNCS, vol. 4157, pp. 187–261. Springer, Heidelberg (2006)
Telelogic TAU G2 documentation (2007), http://www.telelogic.com/
Model Driven Architecture (2007), http://www.omg.org/mda/
UML 2.0: Superstructure, version 2.0. Object Management Group (2005)
WiMAX End-to-End Network Systems Architecture (Stage 3: Detailed Protocols and Procedures). WiMAX Forum (2006)
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 2007 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Leppänen, K., Leppänen, S., Turunen, M. (2007). A Modelling Method for Rigorous and Automated Design of Large-Scale Industrial Systems. In: Engels, G., Opdyke, B., Schmidt, D.C., Weil, F. (eds) Model Driven Engineering Languages and Systems. MODELS 2007. Lecture Notes in Computer Science, vol 4735. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-75209-7_23
Download citation
DOI: https://doi.org/10.1007/978-3-540-75209-7_23
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-75208-0
Online ISBN: 978-3-540-75209-7
eBook Packages: Computer ScienceComputer Science (R0)