UML/OCL or Object-Z?

被引：0

作者：

Bettaz, Mohamed ^{[1
]}

Maouche, Mourad ^{[1
]}

机构：

[1] Philadelphia Univ, Software Engn Dept, Amman, Jordan

来源：

2017 INTERNATIONAL CONFERENCE ON INFOCOM TECHNOLOGIES AND UNMANNED SYSTEMS (TRENDS AND FUTURE DIRECTIONS) (ICTUS) | 2017年

关键词：

modeling; formal specification; UML; UML/OCL; Object-Z; institutions; models' mapping;

D O I：

暂无

中图分类号：

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

学科分类号：

0812 ;

摘要：

UML/OCL and Object-Z are two technologies complementing each other. They show a "converging" syntax for their basic features, and are distinguished by a "diverging" syntax for their more advanced features. The objective of this paper is twofold. First, we show that for the basic features the mapping between both languages is a comorphism between their corresponding institutions. Second, we identify the advanced features in order to characterize closely the type of a potential mapping between both languages. Our approach is demonstrated through a simple example related to human resources' management in companies.

引用

页码：78 / 83

页数：6

共 50 条

[1] OCL与Object-Z作为UML约束语言的分析比较
陈怡海
缪淮扣
[J]. 计算机科学, 2004, (12) : 182 - 185
[2] Formalizing UML models with object-Z
Miao, HK
Liu, L
Li, L
[J]. FORMAL METHODS AND SOFTWARE ENGINEERING, PROCEEDINGS, 2002, 2495 : 523 - 534
[3] Translating fusion/UML to Object-Z
Bittner, M
Kammüller, F
[J]. FIRST ACM AND IEEE INTERNATIONAL CONFERENCE ON FORMAL METHODS AND MODELS FOR CO-DESIGN, PROCEEDINGS, 2003, : 49 - 50
[4] Formalizing the UML class diagram using Object-Z
Kim, SK
Carrington, D
[J]. UML'99 - THE UNIFIED MODELING LANGUAGE: BEYOND THE STANDARD, 1999, 1723 : 83 - 98
[5] Comparison of formalisation approaches of UML class constructs in Z and Object-Z
Amálio, N
Polack, F
[J]. ZB 2003: FORMAL SPECIFICATION AND DEVELOPMENT IN Z AND B, 2003, 2651 : 339 - 358
[6] 基于Object-Z的带OCL约束的UML类图形式化描述
江春
[J]. 沈阳工程学院学报(自然科学版), 2008, (04) : 372 - 375
[7] 基于Object-Z的带OCL约束的UML类图形式化描述
江春
[J]. 沈阳师范大学学报(自然科学版), 2008, (04) : 456 - 459
[8] Deriving User Interfaces from UML Models and Object-Z
Qiu Zhong-jie
Wei Chang-jiang
[J]. 2009 INTERNATIONAL CONFERENCE ON COMPUTER ENGINEERING AND TECHNOLOGY, VOL II, PROCEEDINGS, 2009, : 67 - 70
[9] Automatic generation of object-Z specification from UML diagrams
Miao Huaikou
Chen Yihai
[J]. ICCSE'2006: PROCEEDINGS OF THE FIRST INTERNATIONAL CONFERENCE ON COMPUTER SCIENCE & EDUCATION: ADVANCED COMPUTER TECHNOLOGY, NEW EDUCATION, 2006, : 857 - 862
[10] Using integrated metamodeling to define OO design patterns with object-Z and UML
Kim, SK
Carrington, D
[J]. 11TH ASIA-PACIFIC SOFTWARE ENGINEERING CONFERENCE, PROCEEDINGS, 2004, : 257 - 264

← 1 2 3 4 5 →