Abstract | ||
---|---|---|
Category theory is a field of mathematics that studies relationships between structures. Meta Object Facility (MOF) is a language for designing metamodels whose structures are made of classes and relationships. This paper examines how key categorical concepts such as functors and natural transformations can be used for equational reasoning about modeling artifacts (models, metamodels, transformations). This leads to a formal way of specifying equivalence between models, and offers many practical applications including refactoring and reasoning. |
Year | DOI | Venue |
---|---|---|
2012 | 10.1109/TASE.2012.23 | Theoretical Aspects of Software Engineering |
Keywords | Field | DocType |
natural transformation,category theory,practical application,equational reasoning,meta object facility,key categorical concept,studies relationship,categorical reasoning,software development,mathematical analysis,mathematics,cognition,mathematical model,metamodeling,unified modeling language,computational modeling,software engineering,model driven engineering,refactoring | Programming language,Meta-Object Facility,Categorical variable,Computer science,Model-based reasoning,Theoretical computer science,Functor,Equivalence (measure theory),Category theory,Code refactoring,Metamodeling | Conference |
ISBN | Citations | PageRank |
978-1-4673-2353-6 | 1 | 0.39 |
References | Authors | |
6 | 3 |
Name | Order | Citations | PageRank |
---|---|---|---|
Laurent Thiry | 1 | 32 | 7.60 |
Frederic Fondement | 2 | 1 | 0.39 |
Pierre-Alain Muller | 3 | 511 | 54.09 |