@inbook{0f8761d43bdd49c783199ae4b1edb1a4,
title = "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.",
keywords = "Layered Architecture, Service Engineering, Software Architecture",
author = "Manfred Broy",
year = "2003",
doi = "10.1007/978-3-540-39979-7_4",
language = "English",
isbn = "3540201750",
series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",
publisher = "Springer Verlag",
pages = "48--61",
editor = "Hartmut Konig and Monika Heiner and Adam Wolisz",
booktitle = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",
}