Real-time object-oriented modeling
Real-time object-oriented modeling
Javalight is type-safe—definitely
POPL '98 Proceedings of the 25th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Model checking
A discrete-time UML semantics for concurrency and communication in safety-critical applications
Science of Computer Programming - Formal methods for components and objects pragmatic aspects and applications
Validating timed UML models by simulation and verification
International Journal on Software Tools for Technology Transfer (STTT) - Special Section on Specification and Validation of Models of Real Time and Embedded Systems with UML
Meaningful Composite Structures
MoDELS '08 Proceedings of the 11th international conference on Model Driven Engineering Languages and Systems
OMEGA2: A New Version of the Profile and the Tools
ICECCS '10 Proceedings of the 2010 15th IEEE International Conference on Engineering of Complex Computer Systems
Innovations in Systems and Software Engineering
Hi-index | 0.00 |
Starting from version 2.0, UML introduced hierarchical composite structures, which are a very expressive way of defining complex software architectures, but which have a very loosely defined semantics in the standard. In this paper we propose a set of consistency rules that ensure UML composite structures are unambiguous and can be given a precise semantics. Our primary application of the static consistency rules defined in this paper is within the OMEGA UML profile [6], but these rules are general and applicable to other hierarchical component models based on the same concepts, such as MARTE GCM or SysML. The rule set has been formalized in OCL and is currently used in the OMEGA UML compiler.