Modeling concurrency with partial orders
International Journal of Parallel Programming
The temporal logic of reactive and concurrent systems
The temporal logic of reactive and concurrent systems
The UML as a formal modeling notation
Computer Standards & Interfaces - Special issue on semantics in specifications
A formal approach to object-oriented software engineering
Theoretical Computer Science - Rewriting logic and its applications
Strengthening UML Collaboration Diagrams by State Transformations
FASE '01 Proceedings of the 4th International Conference on Fundamental Approaches to Software Engineering
Towards Ontologically Based Semantics for UML Constructs
ER '01 Proceedings of the 20th International Conference on Conceptual Modeling: Conceptual Modeling
Dependency Relations between Models in the Unified Process
IWSSD '00 Proceedings of the 10th International Workshop on Software Specification and Design
Specification and checking of dependency relations between UML models
UML and the unified process
Proceedings of the 24th ACM SIGPLAN conference companion on Object oriented programming systems languages and applications
Polymorphic Scenario-Based Specification Models: Semantics and Applications
MODELS '09 Proceedings of the 12th International Conference on Model Driven Engineering Languages and Systems
UML'00 Proceedings of the 3rd international conference on The unified modeling language: advancing the standard
Towards automatic verification of web-based SOA applications
APWeb'08 Proceedings of the 10th Asia-Pacific web conference on Progress in WWW research and development
A radix-8 multiplier design and its extension for efficient implementation of imaging algorithms
SAMOS'05 Proceedings of the 5th international conference on Embedded Computer Systems: architectures, Modeling, and Simulation
Polymorphic scenario-based specification models: semantics and applications
Software and Systems Modeling (SoSyM)
An interleaving semantics for UML 2 interactions using Petri nets
Information Sciences: an International Journal
Hi-index | 0.00 |
The UML abstract syntax and semantics specification distinguishes between the statics and the dynamics of collaborations: the rôle context and interactions. We propose a formal semantics of interactions based on the abstract syntax and directly reflecting the specification. The semantics is both parametric in the notion of context and in semantic details that are intentionally left open by the specification, but resolves true inconsistencies. The formalisation uses temporal logic formulae in the style of Manna and Pnueli. We illustrate the flexibility of our semantics by discussing instantiations for a running example; its intuitiveness is substantiated by proving that the temporal formulae give rise to partial orders that also directly can be inferred from interactions.