Projekteja vuodessa
Abstrakti
Efficient reuse is a goal of many software engineering strate- gies and is useful 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 a component-based reuse strategy. In previous work, we outlined a component-based reuse methodology for Event-B. The methodology provides a means for bottom-up scalability, and can also be used with the existing top-down approach. We developed a pro- cess for creating library components, composing them, and for specify- ing new properties (involving the composed elements). We introduced Event-B component interfaces and propose to use a diagrammatic repre- sentation of component instances. However, in that approach, the com- munication between components is modelled in an abstract manner. In this paper, we describe a more concrete specification approach which includes interfaces with ‘callable’ interface events. These events model operations, and additional syntactic constructs model their invocation.
Alkuperäiskieli | Ei tiedossa |
---|---|
Otsikko | Formal Methods: Foundations and Applications. 19th Brazilian Symposium, SBMF 2016, Natal, Brazil, November 23-25, 2016, Proceedings |
Toimittajat | L Ribeiro, T Lecomte |
Kustantaja | Springer |
Sivut | 97–111 |
ISBN (elektroninen) | 978-3-319-49815-7 |
ISBN (painettu) | 978-3-319-49814-0 |
DOI - pysyväislinkit | |
Tila | Julkaistu - 2016 |
OKM-julkaisutyyppi | A4 Artikkeli konferenssijulkaisuussa |
Tapahtuma | Brazilian Symposium on Formal Methods (SBMF) - XIX Brazilian Symposium on Formal Methods (SBMF) Kesto: 23 marrask. 2016 → 25 marrask. 2016 |
Konferenssi
Konferenssi | Brazilian Symposium on Formal Methods (SBMF) |
---|---|
Ajanjakso | 23/11/16 → 25/11/16 |
Projektit
- 1 Päättynyt
-
ADVICeS: Adaptive Integrated Formal Design of Safety-Critical Systems (Academy of Finland)
Walden, M. (Vastuullinen tutkija), Olszewska, M. (CoI), Edmunds, A. (CoI), Ostroumov, S. (CoI), Petre, L. (CoI), Boström, P. (CoI) & Neovius, M. (CoI)
01/09/13 → 31/08/17
Projekti: Research Council of Finland/Other Research Councils