Title :
A Formal Model for the Requirements Diagrams of SysML
Author :
Valles-Barajas, F.
Author_Institution :
Dept. de Tecnol. de la Informacion, Univ. Regiomontana, Nuevo León, Mexico
fDate :
6/1/2010 12:00:00 AM
Abstract :
There are several notations to build a model: textual, graphical and by using mathematics. The Object Management Group (OMG) has developed a graphical notation to model systems called SysML (system modeling language); this notation includes the modeling of the system requirements. In this paper a precise model of the requirements diagrams of SysML is presented. This model is made using a modeling language called Alloy, which has been used to formally specify UML diagrams.
Keywords :
Unified Modeling Language; simulation languages; Alloy modeling language; SysML diagram; UML diagram; formal model; graphical notation; mathematical notation; object management group; textual notation; Adaptation model; Hardware; Mathematical model; Metals; Modeling; Unified modeling language; Usability; Alloy; Formal methods; SysML; requirement diagrams; system modeling;
Journal_Title :
Latin America Transactions, IEEE (Revista IEEE America Latina)
DOI :
10.1109/TLA.2010.5538400
