Category Theoretic Integration Framework for Formal Notations in Model Driven Software Engineering

Advances in Databases and Information Systems : Associated Workshops and Doctoral Consortium of the 13th East European Conference (ADBIS 2009): Revised Selected Papers 2010
Gundars Alksnis

The paper presents research results of formal notations and Unified Modeling Language (UML) integration framework within the model driven software engineering. The originality of the solution is based on the combination of three technologies (formal notations, UML and category theory), in order to ensure their theoretical basis for integration in Model Driven Architecture. Framework is characterized by a principle according to which each UML model and corresponding formal specification is examined as an independent object, while morphisms between them specify how they are mutually linked. This allows to specify specific aspects of the system in a notation that is the best suited.

Atslēgas vārdi
MDA, UML, Category theory, Formal notations
DOI
10.1007/978-3-642-12082-4_23
Hipersaite
http://www.springerlink.com/content/q8h2822455141683/?p=95e368c684db4d4eb272fccbb7c2d89b&pi=1

Alksnis, G. Category Theoretic Integration Framework for Formal Notations in Model Driven Software Engineering. No: Advances in Databases and Information Systems : Associated Workshops and Doctoral Consortium of the 13th East European Conference (ADBIS 2009): Revised Selected Papers, Latvija, Rīga, 7.-10. septembris, 2009. Berlin ; Heidelberg: Springer, 2010, 177.-184.lpp. ISBN 978-3-642-12081-7. ISSN 0302-9743. Pieejams: doi:10.1007/978-3-642-12082-4_23

Publikācijas valoda
English (en)