Recently, contract-based design has been proposed as an “orthogonal” approach that
complements system design methodologies proposed so far to cope with the complexity of …

This paper presents the modal interface theory, a unification of interface automata and
modal specifications, two radically dissimilar models for interface theories. Interface …

This paper presents a unification of interface automata and modal specifications, two
radically dissimilar models for interface theories. Interface automata is a game-based model …

In this paper we present refinement modal logic. A refinement is like a bisimulation, except
that from the three relational requirements only 'atoms' and 'back'need to be satisfied. Our …

Notions of specification, implementation, satisfaction, and refinement, together with
operators supporting stepwise design, constitute a specification theory. We construct such a …

We survey the specification formalism of modal transition systems (MTS). We discuss
various extensions of MTS, their relationships and modelling capabilities. The extensions …

In this paper we revisit the fundamentals of interface theories. Methodological
considerations call for supporting``aspects''and``assume/guarantee''reasoning. From these …

We propose a framework for the specification of infinite state systems based on Petri nets
with distinguished may-and must-transitions (called modalities) which specify the allowed …

In the application domain of component-based system design, develo** theories which
support compositional reasoning is notoriously challenging. We define timed modal …

On the one hand, modal specifications are classic, convenient, and expressive mathematical
objects to represent interfaces of component-based systems. On the other hand, time is a …