We found a match
Your institution may have access to this item. Find your institution then sign in to continue.
- Title
A Calculus for (Meta)Models and Transformations.
- Authors
Thiry, Laurent; Hassenforder, Michel
- Abstract
This paper proposes a formal representation of modeling languages based on category theory. These languages are generally described by "metamodels", i.e. structures composed by classes and relations, and related by "transformations". Thus, this paper studies how the key categorical concepts such as functors and relations between functors (called natural transformations) can be used for equational reasoning about modeling artifacts (models, metamodels, transformations). As a result, this paper proposes a formal point of view of models usable to specify/prove equivalence between models or transformations (with an application to refactoring).
- Subjects
CALCULUS software; CATEGORIES (Mathematics); METADATA; MODELING languages (Computer science); REASONING
- Publication
International Journal of Software Engineering & Knowledge Engineering, 2014, Vol 24, Issue 5, p715
- ISSN
0218-1940
- Publication type
Article
- DOI
10.1142/S0218194014500272