A Practical Event-B Refinement Method Based on a UML-Driven Development Process

Autor:	Thiago C. de Sousa, Colin Snook, Paulo Sérgio Muniz Silva
Rok vydání:	2012
Předmět:	Unified Modeling Language Computer science Programming language Modeling language Process (engineering) ICONIX Design process Notation computer.software_genre Formal methods computer computer.programming_language De facto standard
Zdroj:	Abstract State Machines, Alloy, B, VDM, and Z ISBN: 9783642308840 ABZ
DOI:	10.1007/978-3-642-30885-7_31
Popis:	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.
Databáze:	OpenAIRE
Externí odkaz:	https://explore.openaire.eu/search/publication?articleId=doi_________::e711a4c391a613862929c0adf5652b2d https://doi.org/10.1007/978-3-642-30885-7_31 Zobrazit plný text záznamu