Conference
A metamodelling approach to behavioural modelling
Abstract
In this paper we propose a metamodelling approach to behavioural modelling. The approach combines diagrammatic modelling with formal foundations based on category theory and graph transformations. The static semantics of behavioural models is represented by instances of (meta)models, while their dynamic semantics is represented by transition systems. Transitions are described by coupled model transformations. To illustrate the approach, we …
Authors
Rutle A; MacCaull W; Wang H; Lamo Y
Pagination
pp. 1-10
Publisher
Association for Computing Machinery (ACM)
Publication Date
July 3, 2012
DOI
10.1145/2325276.2325281
Name of conference
Proceedings of the Fourth Workshop on Behaviour Modelling - Foundations and Applications