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. © 2005 IEEE.
CITATION STYLE
Valles-Barajas, F. (2010). A formal model for the requirements diagrams of SysML. IEEE Latin America Transactions, 8(3), 259–268. https://doi.org/10.1109/TLA.2010.5538400
Mendeley helps you to discover research relevant for your work.