icsea09 Gargantini, Angelo Riccobene, Elvinia Scandurra, Patrizia

Integrating Formal Methods with Model-driven Engineering

in The Fourth International Conference on Software Engineering Advances ICSEA 2009 - September 20-25, 2009 - Porto, Portugal (Eds. Kenneth Boness and Jo\ ao M. Fernandes and Jon G. Hall and Ricardo Jorge Machado and Roy Oberhauser) , IEEE Computer Society (2009): 86-92 ISBN 978-0-7695-3777-1

Abstract
This paper presents our position and experience on integrating \emphformal methods with the \emphModel-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 \emphin-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.


[download the pdf file] [DOI]

My sw links