期刊论文详细信息
Computer Science and Information Systems | |
Using Lightweight Formal Methods to Model Class and Object Diagrams | |
Fern1  | |
[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
【 预 览 】
Files | Size | Format | View |
---|---|---|---|
RO201901223150009ZK.pdf | 173KB | download |