Service-oriented systems engineering: Modeling services and layered architectures

Abstract

Based on the Focus theory of distributed systems (see [Broy, Stolen 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 specification 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. © IFIP International Federation for Information Processing 2003.