Computer Science – Software Engineering
Scientific paper
2010-10-29
Computer Science
Software Engineering
Scientific paper
Starting from version 2.0, UML introduced hierarchical composite structures, which are an 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 disambiguate the meaning of UML composite structures. Our primary goal was to have an operational model of composite structures for the OMEGA UML profile, an executable profile dedicated to the formal specification and validation of real-time systems, developed in a past project to which we contributed. However, the rules and principles stated here are applicable to other hierarchical component models based on the same concepts, such as SysML. The presented ruleset is supported by an OCL formalization which is described in this report. This formalization was applied on different complex models for the evaluation and validation of the proposed principles.
Dragomir Iulia
Ober Iulian
No associations
LandOfFree
Well-formedness and typing rules for UML Composite Structures does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.
If you have personal experience with Well-formedness and typing rules for UML Composite Structures, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Well-formedness and typing rules for UML Composite Structures will most certainly appreciate the feedback.
Profile ID: LFWR-SCP-O-615276