A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is application/pdf
.
Formal Semantics for Interacting UML Subsystems
[chapter]
2002
Formal Methods for Open Object-Based Distributed Systems V
So far most work on formal semantics for the Unified Modeling Language (UML) has concentrated on single diagrams. To provide a formal foundation for complete system specifications, one needs to put models for the different diagrams into context. We provide a formal semantics for UML subsystems that incorporates a formal semantics of the diagrams contained in a subsystem. It provides message-passing between objects or components specified in different diagrams, including a dispatching mechanism
doi:10.1007/978-0-387-35496-5_4
fatcat:v4rhqoagvfa5nn4iesepguhtde