Paper Info
Title
A practical event-b refinement method based on a UML-Driven development process
Abstract
Event-B is a formal method that allows flexible modelling and refinement of systems. However, it is hard to convince developers to adopt it because they are not used to mathematical models and it doesn't provide any practical refinement method. On the other hand, UML has become the de facto standard for software modelling since it provides an easy graphical notation and nowadays it is supported by many practical process such as ICONIX. In this paper we propose a method for Event-B refinement based on a diffused UML-driven development process. So far, we have defined the steps of the method and the translation of most of the artifacts presented in ICONIX to Event-B.
Year
DOI
Venue
2012
10.1007/978-3-642-30885-7_31
ABZ
Keywords
Field
DocType
formal method,event-b refinement,flexible modelling,mathematical model,practical event-b refinement method,practical process,uml-driven development process,diffused uml-driven development process,practical refinement method,easy graphical notation,uml,iconix,refinement
ICONIX,De facto standard,Notation,Programming language,Unified Modeling Language,Computer science,Modeling language,Formal methods,Design process,Mathematical model
Conference
Citations 
PageRank 
References 
1
0.36
6
Authors
3
Name
Order
Citations
PageRank
Thiago C. de Sousa1141.21
Paulo Sérgio Muniz Silva2235.24
Colin F Snook35311.42