A Formal Model for the Requirements Diagrams of SysML
A Formal Model for the Requirements Diagrams of SysML
复制标题
SysML需求图的形式化模型
DOI：
10.1109/tla.2010.5538400
复制
发表时间：
2010
影响因子：
1.3
通讯作者：
Fernando Valles
中科院分区：
文献类型：
--
作者：
Fernando Valles
有几种符号来建立一个模型：文本，图形和使用数学。对象管理组（OMG）开发了一种图形化符号来建模系统，称为SysML（系统建模语言）;这种符号包括系统需求的建模。本文提出了一种精确的SysML需求图模型。这个模型是使用一种叫做Alloy的建模语言建立的，这种语言已经被用来正式地指定UML图。
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.