Abstract.
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.
Chapter PDF
Similar content being viewed by others
References
Broy, M.: Towards a formal foundation of the specification and description language SDL. Formal Aspects of Computing 3, 21–57 (1991)
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)
Broy, M., Stølen, K.: Specification and Development of Interactive Systems: FOCUS on Streams, Interfaces, and Refinement. Springer, Heidelberg (2001)
Herzberg, D., Broy, M.: Modelling Layered Distributed Communication Systems (to appear)
Parnas, D.: On the criteria to be used to decompose systems into modules. Comm. ACM 15, 1053–1058 (1972)
Selic, B., Gullekson, G., Ward, P.T.: Real-time Objectoriented Modeling. Wiley, New York (1994)
Zave, P., Jackson, M.: Four dark corners of requirements engineering. ACM Transactions on Software Engineering and Methodology (January 1997)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2003 IFIP International Federation for Information Processing
About this paper
Cite this paper
Broy, M. (2003). Service-Oriented Systems Engineering: Modeling Services and Layered Architectures. In: König, H., Heiner, M., Wolisz, A. (eds) Formal Techniques for Networked and Distributed Systems - FORTE 2003. FORTE 2003. Lecture Notes in Computer Science, vol 2767. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-39979-7_4
Download citation
DOI: https://doi.org/10.1007/978-3-540-39979-7_4
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-20175-5
Online ISBN: 978-3-540-39979-7
eBook Packages: Springer Book Archive