Service-Oriented Systems Engineering: Modeling Services and Layered Architectures

  • Manfred Broy
Part of the Lecture Notes in Computer Science book series (LNCS, volume 2767)


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 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.


Service Engineering Software Architecture Layered Architecture 


  1. [Broy 91]
    Broy, M.: Towards a formal foundation of the specification and description language SDL. Formal Aspects of Computing 3, 21–57 (1991)CrossRefzbMATHGoogle Scholar
  2. [Broy 97]
    Broy, M.: Refinement of Time. In: Bertran, M., Rus, T. (eds.) AMAST-ARTS 1997, ARTS 1997, and AMAST-WS 1997. LNCS, vol. 1231, pp. 44–63. Springer, Heidelberg (1997)CrossRefGoogle Scholar
  3. [Broy, Stølen 01]
    Broy, M., Stølen, K.: Specification and Development of Interactive Systems: FOCUS on Streams, Interfaces, and Refinement. Springer, Heidelberg (2001)CrossRefzbMATHGoogle Scholar
  4. [Herzberg, Broy 03]
    Herzberg, D., Broy, M.: Modelling Layered Distributed Communication Systems (to appear)Google Scholar
  5. [Parnas 72]
    Parnas, D.: On the criteria to be used to decompose systems into modules. Comm. ACM 15, 1053–1058 (1972)CrossRefGoogle Scholar
  6. [Room 94]
    Selic, B., Gullekson, G., Ward, P.T.: Real-time Objectoriented Modeling. Wiley, New York (1994)zbMATHGoogle Scholar
  7. [Zave, Jackson 97]
    Zave, P., Jackson, M.: Four dark corners of requirements engineering. ACM Transactions on Software Engineering and Methodology (January 1997)Google Scholar

Copyright information

© IFIP International Federation for Information Processing 2003

Authors and Affiliations

  • Manfred Broy
    • 1
  1. 1.Institut für InformatikTechnische Universität MünchenMünchenGermany

Personalised recommendations