A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is application/pdf
.
Service-Oriented Systems Engineering: Modeling Services and Layered Architectures
[chapter]
2003
Lecture Notes in Computer Science
Based on the FOCUS theory of distributed systems (see [Broy, Stølen 01]) that are composed of interacting components we introduce a formal model of services and layered architectures. In FOCUS a component is a total behavior. In contrast, a service is a partial behavior. A layer in a layered architecture is a service with two service interfaces, an import and an export interface. A layered architecture is a stack of several layers. For this model of services and service layers we work out
doi:10.1007/978-3-540-39979-7_4
fatcat:ixcehps22zfdvgocabcrbbunem