An interface group for process components
| Authors | |
|---|---|
| Publication date | 2010 |
| Journal | Fundamenta Informaticae |
| Volume | Issue number | 99 | 4 |
| Pages (from-to) | 355-382 |
| Organisations |
|
| Abstract | We take a process component as a pair of an interface and a behaviour. We study the composition of interacting process components in the setting of process algebra. We formalize the interfaces of interacting process components by means of an interface group. An interesting feature of the interface group is that it allows for distinguishing between expectations and promises in interfaces of process components. This distinction comes into play in case components with both client and server behaviour are involved. |
| Document type | Article |
| Note | PT: J; TC: 0 |
| Language | English |
| Related publication | An Interface Group for Process Components |
| Published at | https://doi.org/10.3233/FI-2010-254 |
| Downloads |
327272.pdf
(Final published version)
|
| Permalink to this page | |
