Using Lightweight Formal Methods to Model Class and Object Diagrams

被引：1
作者：
Valles-Barajas, Fernando [1 ]
机构：
[1] Univ Regiomontana, Fac Engn, Dept Informat Technol, Monterrey 64000, Nuevo Leon, Mexico
来源：
COMPUTER SCIENCE AND INFORMATION SYSTEMS | 2012年 / 9卷 / 01期
关键词：
Alloy; Formal Methods; UML;
D O I：
10.2298/CSIS110210045V
中图分类号：
TP [自动化技术、计算机技术];
学科分类号：
0812 ;
摘要：
In this paper a formal model for class and object diagrams is presented. To make the model the author used Alloy, which is a three-in-one package: a modeling language that constructs software models, a formal method that guides the construction of software models and an analyzer that helps find inconsistencies in software models. In the proposed model the entities that form class and object diagrams, as well as the rules that govern how these elements can be connected, are specified.
引用
收藏
页码：411 / 429
页数：19
相关论文
共 37 条
  • [1] Amalio N., 2003, ZB 2003 FORMAL SPECI
  • [2] [Anonymous], 2005, The Elements of UML 2.0 Style
  • [3] [Anonymous], 2005, ADDISON WESLEY OBJEC
  • [4] [Anonymous], 2003, UML Distilled: A Brief Guide to the Standard Object Modeling Language
  • [5] Aredo D.B., 1999, WORKSH RIG MOD AN UM
  • [6] Bennett S., 2005, UML SCHAUMS OUTLINES
  • [7] BERARDI D, 2001, P KI2001 WORKSH APPL
  • [8] Booch G, 2005, The unified modeling language user guide-covers UML 2.0
  • [9] Brucker A.D., 2002, LECT NOTES COMPUTER, V2410
  • [10] Bruel J., 2001, 7 INT C OBJ OR INF S
1234