A model-driven process for engineering a toolset for a formal method

被引：57

作者：

Arcaini, Paolo ^{[2
]}

Gargantini, Angelo ^{[1
]}

Riccobene, Elvinia ^{[2
]}

Scandurra, Patrizia ^{[1
]}

机构：

[1] Univ Bergamo, Bergamo, Italy

[2] Univ Milan, I-20122 Milan, Italy

来源：

SOFTWARE-PRACTICE & EXPERIENCE | 2011年 / 41卷 / 02期

关键词：

formal methods; abstract state machines; model-driven engineering; METAMODEL; LANGUAGE;

D O I：

10.1002/spe.1019

中图分类号：

TP31 [计算机软件];

学科分类号：

081202 ; 0835 ;

摘要：

This paper presents a model-driven software process suitable to develop a set of integrated tools around a formal method. This process exploits concepts and technologies of the Model-driven Engineering (MDE) approach, such as metamodelling and automatic generation of software artifacts from models. We describe the requirements to fulfill and the development steps of this model-driven process. As a proof-of-concept, we apply it to the Finite State Machines and we report our experience in engineering a metamodel-based language and a toolset for the Abstract State Machine formal method. Copyright (C) 2011 John Wiley & Sons, Ltd.

引用

页码：155 / 166

页数：12

共 23 条

[1]

[Anonymous], The abstract state machine language

[2]

[Anonymous], 2006, Software and Systems Modeling, DOI [DOI 10.1007/S10270-006-0027-7, 10.1007/s10270-006-0027-7]

[3]

[Anonymous], Textual Editing Framework -

[4]

[Anonymous], WORKSH TOOL BUILD FO

[5]

[Anonymous], XTEXT

[6]

Arcaini P, 2010, LECT NOTES COMPUT SC, V5977, P61, DOI 10.1007/978-3-642-11811-1_6

[7]

Borger Egon, 2003, Abstract State Machines: A Method for High-Level System Design and Analysis

[8]

Carioni A, 2008, LECT NOTES COMPUT SC, V5238, P71

[9]

Fischer J, 2005, LECT NOTES COMPUT SC, V3319, P208

[10]

Gargantini A, 2003, LECT NOTES COMPUT SC, V2589, P263

← 1 2 3 →