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

被引：0

作者：

Alksnis, Gundars ^{[1
]}

机构：

[1] Riga Tech Univ, Dept Appl Comp Sci, LV-1048 Riga, Latvia

来源：

ADVANCES IN DATABASES AND INFORMATION SYSTEMS | 2010年 / 5968卷

关键词：

MDA; UML; Category theory; Formal notations;

D O I：

暂无

中图分类号：

TP [自动化技术、计算机技术];

学科分类号：

0812 ;

摘要：

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.

引用

页码：177 / 184

页数：8

共 11 条

[1]

ALKSNIS G, 2008, THESIS

[2]

ALKSNIS G, 2006, P 1 INT WORKSH FORM, P87

[3]

ALKSNIS G, 2007, P 10 INT C INF SYST, P131

[4]

[Anonymous], 2003, MDA Explained, the Model Driven Architecture: Practice and Promise

[5]

Barr M., 1999, Category Theory for Computing Science

[6]

Bujorianu MC, 2004, LECT NOTES COMPUT SC, V2999, P421

[7]

Fiadeiro J.L., 2005, CATEGORIES SOFTWARE

[8]

JUDSON SR, 2003, COMP 18 ANN ACM SIGP, P326

[9] ` Mapping specification in MDA:: From theory to practice [J].

Lopes, D ;

Hammoudi, S ;

Bézivin, J ;

Jouault, F .

INTEROPERABILITY OF ENTERPRISE SOFTWARE AND APPLICATIONS, 2006, :253-+

[10]

Smith J., 2001, LNI, V7, P224

← 1 2 →