Category theory for computing science, 2nd ed.
Category theory for computing science, 2nd ed.
Workflow management: models, methods, and systems
Workflow management: models, methods, and systems
Universal Arrow Foundations for Visual Modeling
Diagrams '00 Proceedings of the First International Conference on Theory and Application of Diagrams
Fundamentals of Algebraic Graph Transformation (Monographs in Theoretical Computer Science. An EATCS Series)
YAWL: yet another workflow language
Information Systems
EMF: Eclipse Modeling Framework 2.0
EMF: Eclipse Modeling Framework 2.0
WOSP '08 Proceedings of the 7th international workshop on Software and performance
Semantics and analysis of business process models in BPMN
Information and Software Technology
Automatability of Coupled Evolution of Metamodels and Models in Practice
MoDELS '08 Proceedings of the 11th international conference on Model Driven Engineering Languages and Systems
Model-Based Software Engineering and Process-Aware Information Systems
Transactions on Petri Nets and Other Models of Concurrency II
Towards Inconsistency Handling of Object-Oriented Behavioral Models
Electronic Notes in Theoretical Computer Science (ENTCS)
Graph Transformation in a Nutshell
Electronic Notes in Theoretical Computer Science (ENTCS)
Model-based software engineering: the challenges of modelling behaviour
Proceedings of the Second International Workshop on Behaviour Modelling: Foundation and Applications
A categorical framework for the transformation of object-oriented systems: Models and data
Journal of Symbolic Computation
Integrating behaviour in software models: an event coordination notation -- concepts and prototype
Proceedings of the Third Workshop on Behavioural Modelling
Modelling and analysis using GROOVE
International Journal on Software Tools for Technology Transfer (STTT)
A trace semantics for long-running transactions
CSP'04 Proceedings of the 2004 international conference on Communicating Sequential Processes: the First 25 Years
A Formal Diagrammatic Approach to Timed Workflow Modelling
TASE '12 Proceedings of the 2012 Sixth International Symposium on Theoretical Aspects of Software Engineering
Using the dual-level modeling approach to develop applications for pervasive healthcare
Journal of Mobile Multimedia
| Hi-index | 0.00 |
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 present a running example of a workflow model for health services delivery.