Evolving algebras 1993: Lipari guide
Specification and validation methods
The Unified Modeling Language reference manual
The Unified Modeling Language reference manual
Fourth International Conference on Formal methods for open object-based distributed systems IV
Fourth International Conference on Formal methods for open object-based distributed systems IV
On a temporal logic for object-based systems
Fourth International Conference on Formal methods for open object-based distributed systems IV
Specification and development of interactive systems: focus on streams, interfaces, and refinement
Specification and development of interactive systems: focus on streams, interfaces, and refinement
Refinement in Z and object-Z: foundations and advanced applications
Refinement in Z and object-Z: foundations and advanced applications
Java and the Java Virtual Machine: Definition, Verification, Validation with Cdrom
Java and the Java Virtual Machine: Definition, Verification, Validation with Cdrom
On Use Cases and Their Relationships in the Unified Modelling Language
FASE '01 Proceedings of the 4th International Conference on Fundamental Approaches to Software Engineering
Towards Development of Secure Systems Using UMLsec
FASE '01 Proceedings of the 4th International Conference on Fundamental Approaches to Software Engineering
Towards a Rigorous Semantics of UML Supporting Its Multiview Approach
FASE '01 Proceedings of the 4th International Conference on Fundamental Approaches to Software Engineering
The UML as a Formal Modeling Notation
«UML» '98 Selected papers from the First International Workshop on The Unified Modeling Language «UML»'98: Beyond the Notation
UMLsec: Extending UML for Secure Systems Development
UML '02 Proceedings of the 5th International Conference on The Unified Modeling Language
ANEMIC: automatic interface enabler for model integrated computing
Proceedings of the 2nd international conference on Generative programming and component engineering
Refinement patterns for hierarchical UML state machines
FSEN'09 Proceedings of the Third IPM international conference on Fundamentals of Software Engineering
Model-Based security engineering with UML
Foundations of Security Analysis and Design III
Unifying the semantics of UML 2 state, activity and interaction diagrams
PSI'09 Proceedings of the 7th international Andrei Ershov Memorial conference on Perspectives of Systems Informatics
On the formalization of UML activities for component-based protocol design specifications
SOFSEM'12 Proceedings of the 38th international conference on Current Trends in Theory and Practice of Computer Science
| Hi-index | 0.00 |
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 for 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.