Institutions: abstract model theory for specification and programming
Journal of the ACM (JACM)
Logical foundations of cafeOBJ
Theoretical Computer Science - Rewriting logic and its applications
Proceedings of the Carnegie Mellon Workshop on Logic of Programs
Feature-based survey of model transformation approaches
IBM Systems Journal - Model-driven software development
A Heterogeneous Approach to UML Semantics
Concurrency, Graphs and Models
UML 2.0 state machines: complete formal semantics via core state machines
FMICS'06/PDMC'06 Proceedings of the 11th international workshop, FMICS 2006 and 5th international workshop, PDMC conference on Formal methods: Applications and technology
UML 2 Semantics and Applications
UML 2 Semantics and Applications
Hi-index | 0.00 |
A key challenge to achieve a unified semantics for UML is how to handle the heterogeneity of its sublanguages. In this context, the theory of institutions provides an elegant and robust framework for programming in the large and in particular for compositionality. It can be used to define a family of formalisms which capture various UML sublanguages, and morphisms that represent the expected semantic relationships between them, resulting in a heterogeneous environment for the semantic definition of UML. The main goal of this work is to collaborate with the definition of such environment. For this purpose, we define an institution for UML 2.0 state machines. The building blocks of our institution are based on a previous semantics dealing with processing simple input events within a transition step. We also extend these semantic definitions for handling sequences of events, and then for considering runs through the state machine.