Interface Theories for (A)synchronously Communicating Modal I/O-Transition Systems

Sebastian S. Bauer
(LMU Munich)
Rolf Hennicker
(LMU Munich)
Stephan Janisch
(LMU Munich)

Interface specifications play an important role in component-based software development. An interface theory is a formal framework supporting composition, refinement and compatibility of interface specifications. We present different interface theories which use modal I/O-transition systems as their underlying domain for interface specifications: synchronous interface theories, which employ a synchronous communication schema, as well as a novel interface theory for asynchronous communication where components communicate via FIFO-buffers.

In Axel Legay and Benoît Caillaud: Proceedings Foundations for Interface Technologies (FIT 2010), Paris, France, 30th August 2010, Electronic Proceedings in Theoretical Computer Science 46, pp. 1–8.
Published: 22nd January 2011.

ArXived at: https://dx.doi.org/10.4204/EPTCS.46.1 bibtex PDF
References in reconstructed bibtex, XML and HTML format (approximated).
Comments and questions to: eptcs@eptcs.org
For website issues: webmaster@eptcs.org