Communicating sequential processes
Communicating sequential processes
The unified software development process
The unified software development process
The Rational Unified Process: An Introduction, Second Edition
The Rational Unified Process: An Introduction, Second Edition
Communication and Concurrency
Real-Time Object-Oriented Modeling (ROOM)
RTAS '96 Proceedings of the 2nd IEEE Real-Time Technology and Applications Symposium (RTAS '96)
Formal model-driven development of communicating systems
ICFEM'05 Proceedings of the 7th international conference on Formal Methods and Software Engineering
Formal service-oriented development of fault tolerant communicating systems
Rigorous Development of Complex Fault-Tolerant Systems
Hi-index | 0.00 |
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.