Formal Semantics for Interacting UML Subsystems [chapter]

Jan Jürjens
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
more » ... or events, and the handling of actions. It enables one to compose subsystems from sets of subsystems and allows them to interact by passing messages. We give consistency conditions for the diagrams in a subsystem and define a notion of behavioural equivalence and two kinds of refinement for UML subsystems.
doi:10.1007/978-0-387-35496-5_4 fatcat:v4rhqoagvfa5nn4iesepguhtde