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. |
ArXived at: https://dx.doi.org/10.4204/EPTCS.46.1 | bibtex | |
Comments and questions to: eptcs@eptcs.org |
For website issues: webmaster@eptcs.org |