Sciweavers

ACSD
2009
IEEE

Why Are Modalities Good for Interface Theories?

13 years 10 months ago
Why Are Modalities Good for Interface Theories?
In this paper we revisit the fundamentals of interface theories. Methodological considerations call for supporting “aspects” and “assume/guarantee” reasoning. From these considerations, we show that, in addition to the now classical refinement and substitutability properties of interfaces, two additional operations are needed, namely: conjunction and residuation (or quotient). We draw the attention to the difficulty in handling interfaces having different alphabets — which calls for alphabet equalization. We show that alphabet equalization must be performed differently for the different operations. Then, we show that Modal Interfaces, as adapted from the original proposal by Kim Larsen, offer the needed flexibility.
Jean-Baptiste Raclet, Eric Badouel, Albert Benveni
Added 18 May 2010
Updated 18 May 2010
Type Conference
Year 2009
Where ACSD
Authors Jean-Baptiste Raclet, Eric Badouel, Albert Benveniste, Benoît Caillaud, Roberto Passerone
Comments (0)