This paper presents the modal interface theory, a unification of interface automata and modal specifications, two radically dissimilar models for interface theories. Interface automata is a game-based model, which allows the designer to express assumptions on the environment and which uses an optimistic view of composition: two components can be composed if there is an environment where they can work together. Modal specifications are a language theoretic account of a fragment of the modal mu-calculus logic with a rich composition algebra which meets certain methodological requirements but which does not allow the environment and the component to be distinguished. The present paper contributes a more thorough unification of the two theories by correcting a first attempt in this direction by Larsen et al., drawing a complete picture of the modal interface algebra, and pushing the comparison between interface automata, modal automata and modal interfaces even further
A Modal Interface Theory for Component-based Design / Raclet, J.; Badouel, E.; Benveniste, A.; Caillaud, B.; Legay, A.; Passerone, Roberto. - In: FUNDAMENTA INFORMATICAE. - ISSN 0169-2968. - STAMPA. - 108:1-2(2011), pp. 119-149.
Titolo: | A Modal Interface Theory for Component-based Design |
Autori: | Raclet, J.; Badouel, E.; Benveniste, A.; Caillaud, B.; Legay, A.; Passerone, Roberto |
Autori Unitn: | |
Titolo del periodico: | FUNDAMENTA INFORMATICAE |
Anno di pubblicazione: | 2011 |
Numero e parte del fascicolo: | 1-2 |
Codice identificativo Scopus: | 2-s2.0-84983148692 |
Codice identificativo ISI: | WOS:000290637500007 |
Digital Object Identifier (DOI): | http://dx.doi.org/10.3233/FI-2011-416 |
Handle: | http://hdl.handle.net/11572/89045 |
Citazione: | A Modal Interface Theory for Component-based Design / Raclet, J.; Badouel, E.; Benveniste, A.; Caillaud, B.; Legay, A.; Passerone, Roberto. - In: FUNDAMENTA INFORMATICAE. - ISSN 0169-2968. - STAMPA. - 108:1-2(2011), pp. 119-149. |
Appare nelle tipologie: | 03.1 Articolo su rivista (Journal article) |
File in questo prodotto:
File | Descrizione | Tipologia | Licenza | |
---|---|---|---|---|
RacletBadouelBenvenisteCaillaudLegayPasserone11FI.pdf | Versione editoriale (Publisher’s layout) | Tutti i diritti riservati (All rights reserved) | Administrator |