Using Lightweight Formal Methods to Model Class and Object Diagrams

Computer Science and Information Systems

Fern¹ 

[1]Department of Information Technology, Faculty of Engineering, Universidad Regiomontana

关键词: Alloy;    Formal Methods;    UML;   

DOI  :  10.2298/CSIS110210045V

学科分类：社会科学、人文和艺术（综合）

来源: Computer Science and Information Systems

【 摘 要 】

In this paper a formal model for class and object diagrams is presented. To make the model the author used Alloy, which is a threein-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.

【 授权许可】

CC BY-NC-ND