Affordable Access

deepdyve-link
Publisher Website

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

Authors
  • Bauer, Sebastian S.
  • Hennicker, Rolf
  • Janisch, Stephan
Type
Published Article
Publication Date
Jan 25, 2011
Submission Date
Jan 25, 2011
Identifiers
DOI: 10.4204/EPTCS.46.1
Source
arXiv
License
Yellow
External links

Abstract

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.

Report this publication

Statistics

Seen <100 times