Using Lightweight Formal Methods to Model Class and Object Diagrams.

Saved in:

Bibliographic Details
Title:	Using Lightweight Formal Methods to Model Class and Object Diagrams.
Authors:	Valles-Barajas, Fernando¹ fernando.valles@acm.org
Source:	Computer Science & Information Systems. Jan2012, Vol. 9 Issue 1, p411-429. 19p. 9 Black and White Photographs, 3 Diagrams.
Subjects:	Unified modeling language, Relational calculus, Logic diagrams, Set theory, Alloy plating, Mathematical models, Computer software
Abstract:	The article presents a study which examine the formal methods used to build the class and object diagrams. The study used the alloy, a unified modeling language (UML) composed of three mathematical tools including relational calculus, order logic, and set theory to make software models. It says that the application of alloy makes possible to build software models and serve as requirements document for the implementation of a class and object diagram modeling tool.
Database:	Engineering Source

Description
Abstract:	The article presents a study which examine the formal methods used to build the class and object diagrams. The study used the alloy, a unified modeling language (UML) composed of three mathematical tools including relational calculus, order logic, and set theory to make software models. It says that the application of alloy makes possible to build software models and serve as requirements document for the implementation of a class and object diagram modeling tool.
ISSN:	18200214
DOI:	10.2298/CSIS110210045V