The Unified Modeling Language reference manual
The Unified Modeling Language reference manual
Communication and Concurrency
Analysing UML Active Classes and Associated State Machines - A Lightweight Formal Approach
FASE '00 Proceedings of the Third Internationsl Conference on Fundamental Approaches to Software Engineering: Held as Part of the European Joint Conferences on the Theory and Practice of Software, ETAPS 2000
Proceedings of the Workshop on Object-Oriented Technology
UML'99 Proceedings of the 2nd international conference on The unified modeling language: beyond the standard
A UML statecharts semantics with message-passing
Proceedings of the 2002 ACM symposium on Applied computing
The SALADIN project: summary report
ACM SIGSOFT Software Engineering Notes
WADT '01 Selected papers from the 15th International Workshop on Recent Trends in Algebraic Development Techniques
A Method for Secure Smartcard Applications
AMAST '02 Proceedings of the 9th International Conference on Algebraic Methodology and Software Technology
Integrating and Rapid-Prototyping UML Structural and Behavioural Diagrams Using Rewriting Logic
CAiSE '02 Proceedings of the 14th International Conference on Advanced Information Systems Engineering
Integrating Semantics for Object-Oriented System Models
ICALP '01 Proceedings of the 28th International Colloquium on Automata, Languages and Programming,
Formal Modelling of Java GUI Event Handling
ICFEM '02 Proceedings of the 4th International Conference on Formal Engineering Methods: Formal Methods and Software Engineering
Formal semantics for interacting UML subsystems
FMOODS '02 Proceedings of the IFIP TC6/WG6.1 Fifth International Conference on Formal Methods for Open Object-Based Distributed Systems V
Automated Check of Architectural Models Consistency Using SPIN
Proceedings of the 16th IEEE international conference on Automated software engineering
A discrete-time UML semantics for concurrency and communication in safety-critical applications
Science of Computer Programming - Formal methods for components and objects pragmatic aspects and applications
rCOS: a refinement calculus of object systems
Theoretical Computer Science - Components and objects
Separation of Concerns and Consistent Integration in Requirements Modelling
SOFSEM '07 Proceedings of the 33rd conference on Current Trends in Theory and Practice of Computer Science
A Formal Descriptive Semantics of UML
ICFEM '08 Proceedings of the 10th International Conference on Formal Methods and Software Engineering
Electronic Notes in Theoretical Computer Science (ENTCS)
Towards a Rigorous Approach to UML-Based Development
Electronic Notes in Theoretical Computer Science (ENTCS)
Introducing a Reasonably Complete and Coherent Approach for Model-based Testing
Electronic Notes in Theoretical Computer Science (ENTCS)
Detecting implied scenarios analyzing non-local branching choices
FASE'03 Proceedings of the 6th international conference on Fundamental approaches to software engineering
Improving the definition of UML
MoDELS'06 Proceedings of the 9th international conference on Model Driven Engineering Languages and Systems
A predicative semantic model for integrating UML models
ICTAC'04 Proceedings of the First international conference on Theoretical Aspects of Computing
From conditional specifications to interaction charts
Formal Methods in Software and Systems Modeling
Dynamic logic semantics for UML consistency
ECMDA-FA'06 Proceedings of the Second European conference on Model Driven Architecture: foundations and Applications
Revising the UML collaborations: a well-founded approach
Monterey'08 Proceedings of the 15th Monterey conference on Foundations of Computer Software: future Trends and Techniques for Development
| Hi-index | 0.00 |
We discuss the nature of the semantics of the UML. Contrary to the case of most languages, this task is far from trivial. Indeed, not only the UML notation is complex and its informal description is incomplete and ambiguous, but we also have the UML multiview aspect to take into account. We propose a general schema of the semantics of the UML, where the different kinds of diagrams within a UML model are given individual semantics and then such semantics are composed to get the semantics on the overall model. Moreover, we fill part of such a schema, by using the algebraic language CASL as a metalanguage to describe the semantics of class diagrams, state machines and the complete UML formal systems.