An efficient re-use mechanism is a primary goal of many software development strategies; and is also important in the safety-critical domain, where formal development is required. Event-B can be used to develop safety-critical systems, but could be improved by development of a component-based re-use strategy. In this paper we outline a methodology, and the tool support required, for facilitating re-use of Event-B machines. As part of the ADVICeS project we are seeking to improve re-use of Event-B artefacts. The creation of a library of components, and a way to assemble them, would facilitate this. We propose to extend iUML-B class diagrams , and extend the composition techniques introduced in , to allow specification of Event-B components, interfaces, and composite components. Initial investigation has been undertaken as part of the project ADVICeS, funded by Academy of Finland, grant No. 266373. The approach also addresses the need, in Event-B, for bottom-up scalability. We describe the process of creating library components, their composition, and specification of new properties (of the composed elements). We introduce the notion of Event-B components, component interfaces, and composite components. We describe the additional annotations, and discuss composition invariants.
|Otsikko||Proceedings of the 27th Nordic Workshop on Programming Theory, NWPT 2015|
|Toimittajat||Luca Aceto, Ignacio Fabregas, Alvaro Garcia-Perez, Anna Ingolfsdottir|
|Kustantaja||Reykjavik University, Iceland|
|Tila||Julkaistu - 2016|
|OKM-julkaisutyyppi||B3 Ei-soviteltu artikkeli konferenssin julkaisusarjassa|
|Tapahtuma||Nordic Workshop on Programming Theory - 27th Nordic Workshop on Programming Theory, NWPT 2015|
Kesto: 21 lokak. 2015 → 23 lokak. 2015
|Konferenssi||Nordic Workshop on Programming Theory|
|Ajanjakso||21/10/15 → 23/10/15|
- 1 Päättynyt
ADVICeS: Adaptive Integrated Formal Design of Safety-Critical Systems (Academy of Finland)
Walden, M., Olszewska, M., Edmunds, A., Ostroumov, S., Petre, L., Boström, P. & Neovius, M.
01/09/13 → 31/08/17
Projekti: Academy of Finland/Other Research Councils