In this paper, we present our position and experience on integrating formal methods with the Model-driven Engineering (MDE) approach to software development. Both these two approaches have advantages and disadvantages, and we here show how the advantages of one can be exploited to cover or weaken the disadvantages of the other. We also propose an in-the-loop integration which allows the development of a general framework for software engineering where rigorousness and preciseness of formal methods are combined with flexibility and automation of the MDE. We discuss the feasibility of unifying these two separate worlds, referring to our experience on integrating the Abstract State Machine formal method with the Eclipse Modeling Framework supporting MDE facilities.

Integrating formal methods with model-driven engineering / A. Gargantini, E. Riccobene, P. Scandurra - In: The fourth International conference on software engineering advances, ICSEA 2009 : 20-25 september 2009, Porto, Portugal : proceedings / [a cura di] K. Boness ... [et al.]. - Los Alamitos : Institute of electrical and electronics engineers, 2009. - ISBN 9780769537771. - pp. 86-92 (( Intervento presentato al 4. convegno International Conference on Software Engineering Advances (ICSEA) tenutosi a Porto nel 2009 [10.1109/ICSEA.2009.22].

Integrating formal methods with model-driven engineering

E. Riccobene
Secondo
;
2009

Abstract

In this paper, we present our position and experience on integrating formal methods with the Model-driven Engineering (MDE) approach to software development. Both these two approaches have advantages and disadvantages, and we here show how the advantages of one can be exploited to cover or weaken the disadvantages of the other. We also propose an in-the-loop integration which allows the development of a general framework for software engineering where rigorousness and preciseness of formal methods are combined with flexibility and automation of the MDE. We discuss the feasibility of unifying these two separate worlds, referring to our experience on integrating the Abstract State Machine formal method with the Eclipse Modeling Framework supporting MDE facilities.
Abstract: state machines; Formal methods; Model driven engineering
Settore INF/01 - Informatica
2009
Book Part (author)
File in questo prodotto:
Non ci sono file associati a questo prodotto.
Pubblicazioni consigliate

I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.

Utilizza questo identificativo per citare o creare un link a questo documento: https://hdl.handle.net/2434/70078
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus 7
  • ???jsp.display-item.citation.isi??? 5
social impact