Un Modelo Formal para los Diagramas de Requerimientos de SysML (A Formal Model for the Requirements Diagrams of SysML)

Fernando Valles-Barajas (fernando.valles@acm.org)

Regiomontana University
This paper appears in: Revista IEEE América Latina

Publication Date: June 2010
Volume: 8,   Issue: 3 
ISSN: 1548-0992

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.

Index Terms:
Formal methods, Alloy, SysML, requirement diagrams, system modeling.   

Documents that cite this document
This function is not implemented yet.

[PDF Full-Text (301)]