Timed Interfaces: A Behavioral Type System for Component-based Design

Marielle Stoelinga - University of California at Santa Cruz
Date and time
Tuesday, April 27, 2004 at 5:00 PM
Ca' Vignal - Piramide, Floor 0, Hall Verde
Programme Director
Roberto Segala
External reference
Publication date
April 16, 2004


Traditional type systems specify interfaces in terms of valuesand domains. When we apply a function to an argument, or when we compose two functions, we have to check that their types match.This talk will present timed interfaces, which extend such type systems with the ability to reason about the dynamic behavior of software components. Like type systems,interfaces specify both the input assumptions a component makes onits environment and the output guarantees it provides. For instance,they can specify the temporal order in which method calls occurand the timing constaints that are needed for a component towork correctly.Two interfaces are compatible if is at least on environment in which their input assumptions are met.Our theory provides algorithms for checking the compatibility between two interfaces and for deriving the composite interface.Technically, an interface is game in which the system plays against the environment. Hence, the algorithms for checking compatibility and interface composition are game-theoretic in nature.

© 2002 - 2021  Verona University
Via dell'Artigliere 8, 37129 Verona  |  P. I.V.A. 01541040232  |  C. FISCALE 93009870234