Supervised interaction: creating a web of trust for contracting agents in electronic environments
Proceedings of the first international joint conference on Autonomous agents and multiagent systems: part 1
Entity-Relationship Modeling: Foundations of Database Technology
Entity-Relationship Modeling: Foundations of Database Technology
An ASM Semantics for UML Activity Diagrams
AMAST '00 Proceedings of the 8th International Conference on Algebraic Methodology and Software Technology
SiteLang: Conceptual Modeling of Internet Sites
ER '01 Proceedings of the 20th International Conference on Conceptual Modeling: Conceptual Modeling
Modeling the Dynamics of UML State Machines
ASM '00 Proceedings of the International Workshop on Abstract State Machines, Theory and Applications
Abstract State Machines: A Method for High-Level System Design and Analysis
Abstract State Machines: A Method for High-Level System Design and Analysis
Validating Use-Cases with the AsmL Test Tool
QSIC '03 Proceedings of the Third International Conference on Quality Software
Database collaboration instead of integration
APCCM '05 Proceedings of the 2nd Asia-Pacific conference on Conceptual modelling - Volume 43
IEEE Transactions on Computers
An ASM semantics of UML derived from the meta-model and incorporating actions
ASM'03 Proceedings of the abstract state machines 10th international conference on Advances in theory and practice
Code generation from UML models with semantic variation points
MoDELS'05 Proceedings of the 8th international conference on Model Driven Engineering Languages and Systems
Model Suites For Multi-Layered Database Modelling
Proceedings of the 2010 conference on Information Modelling and Knowledge Bases XXI
On computing the importance of associations in large conceptual schemas
Conceptual Modelling and Its Theoretical Foundations
Hi-index | 0.00 |
Software engineering uses UML diagrams as a standard technique for specification and development of software. Various UML diagrams are used for specification of different aspects of the application. Their interpretation, extension, revision and integration becomes awful difficult if developers use the full freedom of UML, apply their own semantics and do not agree an common parts. We propose an approach that limits this freedom to the necessary extend. Developers have the full freedom on parts of the specification that is independent from others and are committed to fulfill contracts on parts of the specification that is also used by other developers. Due to a lack of semantics the integration of various UML diagrams is often left to the intuition of software engineers, which bears the risk of UML-based software development becoming error-prone. In this paper we propose the use of Abstract State Machines (ASMs) as a means to support the integration of UML diagrams by means of invertible translations of UML clusters, i.e. sets of UML diagrams together with constraints defined on them, into easily understandable ASM specifications. In doing so, the rigorous semantics of ASMs induces an unambiguous semantics for the UML clusters. These translations themselves can be formalised by ASM specifications thereby automating the translation process. Furthermore, the evolution of UML clusters is guarded by contracts, which can again by specified by ASMs.