A modelling method for rigorous and automated design of large-scale industrial systems

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.

[1]  Michael Butler,et al.  Rigorous Development of Complex Fault-Tolerant Systems , 2006 .

[2]  Ajitha Rajan,et al.  Requirements Coverage as an Adequacy Measure for Conformance Testing , 2008, ICFEM.

[3]  Johan Lilius,et al.  Formal Model-Driven Development of Communicating Systems , 2005, ICFEM.

[4]  Bran Selic.  Tutorial: real-time object-oriented modeling (ROOM) , 1996, Proceedings Real-Time Technology and Applications.

[5]  Cliff B. Jones,et al.  RODIN (Rigorous Open Development Environment for Complex Systems) , 2005 .

[6]  Bran Selic,et al.  ROOM: an object-oriented methodology for developing real-time systems , 1992, [1992] Proceedings of the Fifth International Workshop on Computer-Aided Software Engineering.

[7]  Bran Selic,et al.  Real-Time Object-Oriented Modeling (ROOM) , 1996, RTAS 1996.

[8]  C. A. R. Hoare,et al.  Communicating sequential processes , 1978, CACM.

[9]  Philippe Kruchten,et al.  The Rational Unified Process: An Introduction , 1998 .

[10]  Ivar Jacobson,et al.  The Unified Software Development Process , 1999 .

[11]  Johan Lilius,et al.  Formal Service-Oriented Development of Fault Tolerant Communicating Systems , 2006, RODIN Book.

[12]  Axel Uhl,et al.  Model-Driven Architecture , 2002, OOIS Workshops.

[13]  Dieter Hogrefe,et al.  SDL : formal object-oriented language for communicating systems , 1997 .

[14]  Philippe Kruchten,et al.  The Rational Unified Process: An Introduction, Second Edition , 2000 .

[15]  Elena Troubitsyna,et al.  Formal Verification of Consistency in Model-Driven Development of Distributed Communicating Systems and Communication Protocols , 2006, Second International Symposium on Leveraging Applications of Formal Methods, Verification and Validation (isola 2006).

[16]  Robin Milner,et al.  Communication and concurrency , 1989, PHI Series in computer science.