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 条

[11]

Gargantini Angelo, 2008, 2008 The Third International Conference on Software Engineering Advances (ICSEA), P373, DOI 10.1109/ICSEA.2008.62

[12]

GARGANTINI A, EUR WORKSH MIL MOD M

[13]

Gargantini A, 2008, J UNIVERS COMPUT SCI, V14, P1949

[14] A semantic framework for metamodel-based languages [J].

Gargantini, Angelo ;

Riccobene, Elvinia ;

Scandurra, Patrizia .

AUTOMATED SOFTWARE ENGINEERING, 2009, 16 (3-4) :415-454

[15]

HEIDENREICH F, 2009, DERIVATION REFINEMEN

[16]

Jouault F., 2006, 5 INT C GEN PROGR CO, P249, DOI DOI 10.1145/1173706.1173744

[17]

KURTEV I, 2002, INT S DISTR OBJ APPL

[18] Model-driven analysis and synthesis of textual concrete syntax [J].

Muller, Pierre-Alain ;

Fondement, Frederic ;

Fleurey, Franck ;

Hassenforder, Michel ;

Schnekenburger, Remi ;

Gerard, Sebastien ;

Jezequel, Jean-Marc .

SOFTWARE AND SYSTEMS MODELING, 2008, 7 (04) :423-441

[19]

*OMG, 2006, FORMAL20060501 OMG

[20]

PFEIFFER M, 2008, P 8 OOPSLA WORKSH DO, P1

← 1 2 3 →