Partial Order Semantics of Sequence Diagrams for Mobility.
Piotr KosiuczenkoPublished in: Scenarios: Models, Transformations and Tools (2003)
Keyphrases
- partial order
- sequence diagrams
- partially ordered
- conceptual graphs
- total order
- petri net
- class diagrams
- formal semantics
- preference relations
- intermediate representation
- activity diagrams
- logical formulas
- uml models
- declarative semantics
- totally ordered
- logic programming
- causal links
- lattice structure
- uml class diagrams