The Unified object Modeling Language (UML) proposes a set of models but does not have a methodology that clearly fix both the use of these various models (diagrams) and the semantic links being able to exist between them. In particular, the Interaction Diagrams of UML do not have, according to the current metamodel, an operational semantics defining formally how such a diagram is executed. The objective of this article is twofold: i) to propose a step towards a formal semantics to the Interaction Diagrams of UML by defining a partial order between messages and actions, ii) to generate a Petri net that defines a semantic of this diagram. Such a semantics can help the designer in the validation of his specifications, establishing a link between the Interaction Diagrams and the Activity Diagrams and also allowing to generate code.
展开▼
