Dec 12, 2014 · In this paper, we first modify MIA to properly deal with internal computations including internal must-transitions, which were largely ignored already in IOMTS.

We then study a MIA variant that adopts MIO's pessimistic – rather than IOMTS' optimistic – view on component compatibility and define, for the first time in a ...

Abstract: Modal transition systems are a popular semantic underpinning of inter- face theories, such as Nyman et al.'s IOMTS and Bauer et al.

For both the optimistic and pessimistic MIA variant, we also discuss mechanisms for extending alphabets when rening interfaces, which is a desired feature for ...

For both the optimistic and pessimistic MIA variant, we also discuss mechanisms for extending alphabets when refining interfaces, which is a desired feature for ...

Optimistic notion of compatibility. [Dill, late 1980s]. – Inputs can be delayed, outputs are immediate. – If output of p is not expected by q, ...

Proceedings of the Automated Verification of Critical Systems ( AVoCS 2013 ) Richer Interface Automata with Optimistic and Pessimistic Compatibility.

– But pessimistic view of compatibility means that much fewer parallel compositions are permitted, which is bad for component-based design i? E i? Page 10. © ...

Richer interface automata with optimistic and pessimistic compatibility. Gerald Lüttgen, Walter Vogler. Export metadata. BibTeX · RIS. Statistics. Number of ...

Richer interface automata with optimistic and pessimistic compatibility. Article 12 December 2014. Keywords. Software engineering · formal methods · component ...