Integrating Pattern-based Formal Requirements Specification in an Industrial Tool-chain

被引：13

作者：

Filipovikj, Predrag ^{[1
]}

Jagerfield, Trevor ^{[1
]}

Nyberg, Mattias ^{[1
]}

Rodriguez-Navas, Guillermo ^{[1
]}

Seceleanu, Cristina ^{[1
]}

机构：

[1] Malardalen Univ, Vasteras, Sweden

来源：

PROCEEDINGS 2016 IEEE 40TH ANNUAL COMPUTER SOFTWARE AND APPLICATIONS CONFERENCE WORKSHOPS (COMPSAC), VOL 2 | 2016年

关键词：

D O I：

10.1109/COMPSAC.2016.140

中图分类号：

TP39 [计算机的应用];

学科分类号：

081203 ; 0835 ;

摘要：

The lack of formal system specifications is a major obstacle to the widespread adoption of formal verification techniques in industrial settings. Specification patterns represent a promising approach that can fill this gap by enabling nonexpert practitioners to write formal specifications based on reusing solutions to commonly occurring problems. Despite the fact that the specification patterns have been proven suitable for specification of industrial systems, there is no engineer-friendly tool support adequate for industrial adoption. In this paper, we present a tool called SESAMM Specifier in which we integrate a subset of the specification patterns for formal requirements specification, called SPS, into an existing industrial tool-chain. The tool provides the necessary means for the formal specification of system requirements and the later validation of the formally expressed behavior.

引用

页码：167 / 173

页数：7

共 25 条

[21]

Remenska D., 2014, PROPERTY SPECIFICATI, P17

[22]

Simmonds J., 2008, PROPERTY PATTERNS RU, P137

[23]

Smith RL, 2002, ICSE 2002: PROCEEDINGS OF THE 24TH INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING, P11, DOI 10.1109/ICSE.2002.1007952

[24]

Westman J, 2014, LECT NOTES COMPUT SC, V8767, P218, DOI 10.1007/978-3-319-11653-2_14

[25]

Zhang XH, 2014, 2014 SOFTWARE EVOLUTION WEEK - IEEE CONFERENCE ON SOFTWARE MAINTENANCE, REENGINEERING, AND REVERSE ENGINEERING (CSMR-WCRE), P379, DOI 10.1109/CSMR-WCRE.2014.6747199

← 1 2 3 →