DocumentCode
1284697
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
Volume
8
Issue
3
fYear
2010
fDate
6/1/2010 12:00:00 AM
Firstpage
259
Lastpage
268
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;
fLanguage
English
Journal_Title
Latin America Transactions, IEEE (Revista IEEE America Latina)
Publisher
ieee
ISSN
1548-0992
Type
jour
DOI
10.1109/TLA.2010.5538400
Filename
5538400
Link To Document