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. [10.3233/FI-2011-416]

A Modal Interface Theory for Component-based Design

Passerone, Roberto
2011-01-01

Abstract

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
2011
1-2
Raclet, J.; Badouel, E.; Benveniste, A.; Caillaud, B.; Legay, A.; Passerone, Roberto
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]
File in questo prodotto:
File Dimensione Formato  
RacletBadouelBenvenisteCaillaudLegayPasserone11FI.pdf

Solo gestori archivio

Tipologia: Versione editoriale (Publisher’s layout)
Licenza: Tutti i diritti riservati (All rights reserved)
Dimensione 232.21 kB
Formato Adobe PDF
232.21 kB Adobe PDF   Visualizza/Apri

I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione

Utilizza questo identificativo per citare o creare un link a questo documento: https://hdl.handle.net/11572/89045
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus 88
  • ???jsp.display-item.citation.isi??? 61
social impact