CINECA IRIS Institutional Research Information System
IRIS è l'Anagrafe della ricerca dell'Università degli Studi di Trento, e ha lo scopo di raccogliere, documentare, conservare e diffondere, anche ad accesso aperto, la produzione scientifica degli autori afferenti all'Università degli Studi di Trento.
EnglishThis 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. [10.3233/FI-2011-416]
| 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 WOS: | 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. [10.3233/FI-2011-416] | |
| 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 |
http://hdl.handle.net/11572/89045
Copyright © 2022