Un Modelo Formal para los Diagramas de Requerimientos de SysML
(A Formal Model for the Requirements Diagrams of SysML)
Fernando Valles-Barajas (firstname.lastname@example.org)
This paper appears in: Revista IEEE América Latina
Publication Date: June 2010
Volume: 8, Issue: 3
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.
Formal methods, Alloy, SysML, requirement diagrams, system modeling.
Documents that cite this
This function is not implemented yet.
[PDF Full-Text (301)]