Interface Theories for (A)synchronously Communicating Modal I/O-Transition Systems
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...
| Main Authors: | , , |
|---|---|
| Format: | Article |
| Language: | English |
| Published: |
Open Publishing Association
2011-01-01
|
| Series: | Electronic Proceedings in Theoretical Computer Science |
| Online Access: | http://arxiv.org/pdf/1101.4731v1 |
| _version_ | 1828219299288842240 |
|---|---|
| author | Sebastian S. Bauer Rolf Hennicker Stephan Janisch |
| author_facet | Sebastian S. Bauer Rolf Hennicker Stephan Janisch |
| author_sort | Sebastian S. Bauer |
| collection | DOAJ |
| description | 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. |
| first_indexed | 2024-04-12T16:13:51Z |
| format | Article |
| id | doaj.art-a995e59d99d9480bbdf0e0be2a103756 |
| institution | Directory Open Access Journal |
| issn | 2075-2180 |
| language | English |
| last_indexed | 2024-04-12T16:13:51Z |
| publishDate | 2011-01-01 |
| publisher | Open Publishing Association |
| record_format | Article |
| series | Electronic Proceedings in Theoretical Computer Science |
| spelling | doaj.art-a995e59d99d9480bbdf0e0be2a1037562022-12-22T03:25:48ZengOpen Publishing AssociationElectronic Proceedings in Theoretical Computer Science2075-21802011-01-0146Proc. FIT 20101810.4204/EPTCS.46.1Interface Theories for (A)synchronously Communicating Modal I/O-Transition SystemsSebastian S. BauerRolf HennickerStephan JanischInterface 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.http://arxiv.org/pdf/1101.4731v1 |
| spellingShingle | Sebastian S. Bauer Rolf Hennicker Stephan Janisch Interface Theories for (A)synchronously Communicating Modal I/O-Transition Systems Electronic Proceedings in Theoretical Computer Science |
| title | Interface Theories for (A)synchronously Communicating Modal I/O-Transition Systems |
| title_full | Interface Theories for (A)synchronously Communicating Modal I/O-Transition Systems |
| title_fullStr | Interface Theories for (A)synchronously Communicating Modal I/O-Transition Systems |
| title_full_unstemmed | Interface Theories for (A)synchronously Communicating Modal I/O-Transition Systems |
| title_short | Interface Theories for (A)synchronously Communicating Modal I/O-Transition Systems |
| title_sort | interface theories for a synchronously communicating modal i o transition systems |
| url | http://arxiv.org/pdf/1101.4731v1 |
| work_keys_str_mv | AT sebastiansbauer interfacetheoriesforasynchronouslycommunicatingmodaliotransitionsystems AT rolfhennicker interfacetheoriesforasynchronouslycommunicatingmodaliotransitionsystems AT stephanjanisch interfacetheoriesforasynchronouslycommunicatingmodaliotransitionsystems |