A Basis for Feature-Oriented Modelling in Event-B
A Basis for Feature-Oriented Modelling in Event-B
复制标题
事件 B 中面向特征的建模基础
DOI：
10.1007/978-3-642-11811-1_42
复制
发表时间：
2010
期刊：
影响因子：
--
通讯作者：
M. Butler
中科院分区：
文献类型：
--
作者：
J. Sorge;M. Poppleton;M. Butler
面向功能的建模是软件产品线（SPL）开发的众所周知的方法。在开发相关软件组时，这是一种广泛使用的方法。通过SPL方法，软件产品的开发比一次性开发更快，更便宜且质量更高，因为重新使用了很多努力。但是，这种方法在形式方法开发中并不常见，这通常是高成本和耗时，但对于关键系统的开发至关重要。随着更复杂的关键系统的增加，将形式的方法应用于开发周期变得越来越重要，我们提出了一种允许将SPL开发技术应用于形式方法的方法。这会导致正式系统的更快，更便宜的开发。
Feature-oriented modelling is a well-known approach for Software Product Line (SPL) development. It is a widely used method when developing groups of related software. With an SPL approach, the development of a software product is quicker, less expensive and of higher quality than a one-off development since much effort is re-used. However, this approach is not common in formal methods development, which is generally high cost and time consuming, yet crucial in the development of critical systems. With the increase of more complex critical systems, it becomes more important to apply formal methods to the development cycle, and we propose a method that allows the application of SPL development techniques to formal methods. This results in faster and cheaper development of formal systems.