Describing Software Specification by Combining SysML with the B Method
Describing Software Specification by Combining SysML with the B Method
复制标题
SysML与B法相结合描述软件规范
DOI：
--
复制
发表时间：
2014
期刊：
影响因子：
--
通讯作者：
Daichi Mizuguchi
中科院分区：
文献类型：
--
作者：
Satoko Kinoshita;H. Nishimura;H. Takamura;Daichi Mizuguchi
本文提出了一种结合SysML和B方法描述软件规格说明的方法。系统的建模语言（如SysML）不能保证规范的正确性。此外，包括B方法在内的形式化方法通常难以用于在开发开始时描述来自模糊需求的软件规格说明，因为软件开发人员不容易表示形式化符号。我们的方法弥补了这些缺点，通过迭代的过程，将SysML图的抽象机器符号的B方法。在本文的最后部分，我们用一个例子来说明我们的方法的有效性。
This paper shows a methodology to describe software specifications combining SysML with the B method. Modeling languages of a system such as SysML do not guarantee the correctness of the specification. In addition, formal methods including the B method are generally difficult to use for describing software specifications from ambiguous requirements at the start of the development, because it is not easy for software developers to denote the formal notations. Our methodology redeems those shortcomings by iterating processes which translate SysML diagrams to the abstract machine notations of the B method. At the last part of this paper, we showed the effectiveness of our methodology with an example.