Service-Oriented Systems Engineering: Modeling Services and Layered Architectures [chapter]

Manfred Broy
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
more » ... ication and design techniques for layers and layered architectures. Finally we discuss more specific aspects of layered architectures such as refinement and layer models in telecommunication.
doi:10.1007/978-3-540-39979-7_4 fatcat:ixcehps22zfdvgocabcrbbunem