Executable object modeling with statecharts
Proceedings of the 18th international conference on Software engineering
The unified software development process
The unified software development process
LSCs: Breathing Life into Message Sequence Charts
Proceedings of the IFIP TC6/WG6.1 Third International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS)
Use of Verification for Testing and Debugging of Complex Reactive Systems
SEFM '05 Proceedings of the Third IEEE International Conference on Software Engineering and Formal Methods
Generating class contracts from UML protocol statemachines
Proceedings of the 6th International Workshop on Model-Driven Engineering, Verification and Validation
Synthesis of monitors for real-time analysis of reactive systems
Pillars of computer science
Generating class contracts from deterministic UML protocol statemachines
MODELS'09 Proceedings of the 2009 international conference on Models in Software Engineering
ACM Transactions on Embedded Computing Systems (TECS) - Special section on ESTIMedia'12, LCTES'11, rigorous embedded systems design, and multiprocessor system-on-chip for cyber-physical systems
Hi-index | 0.00 |
We discuss Rhapsody, a UML based software development tool, designed to support complete model-based iterative life-cycle. First, we identify several key inhibiting factors that prevent model-based approaches from being adopted as a mainstream practice.We then examine the requirements for allowing complete life-cycle model-based development and discuss how they are met by Rhapsody through its key enabling technologies, which include: - model-code associativity - automated implementation generation - implementation framework - model execution - model-based testingWe explain why each of these features is instrumental to an effective development of production systems, based on a key observation that the modeling language does not replace the implementation platform, but should be integrated with it in a synergistic manner. This allows the use of modeling for expressing requirements and design abstractions, along with the use of the full power of an implementation language and its supporting platform to specify implementation details. While allowing this flexibility, Rhapsody facilitates full consistency of the modeling and implementation artifacts throughout the life-cycle, and it also supports a high level of automation in the implementation and validation of the developed system.