SERVICE-ORIENTED SYSTEMS ENGINEERING: SPECIFICATION AND DESIGN OF SERVICES AND LAYERED ARCHITECTURES

Based on the FOCUS theory of distributed systems (see [Broy and Stolen, 2001]) that are composed of interacting components we introduce a formal model of services and of 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 component or 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. We study the application of the notions of a service and service layer and its relation to object orientation. Finally we discuss more specific aspects of layered architectures such as refinement and error handling as well as layer models in telecommunication.

[1]  Manfred Broy,et al.  Towards a formal foundation of the specification and description language SDL , 2005, Formal Aspects of Computing.

[2]  Grady Booch,et al.  Object-Oriented Design with Applications , 1990 .

[3]  P. H. Lindsay.  Human Information Processing , 1977 .

[4]  Manfred Broy,et al.  A Functional Rephrasing of the Assumption/Commitment Specification Style , 1998, Formal Methods Syst. Des..

[5]  David Michael Ritchie Park,et al.  On the Semantics of Fair Parallelism , 1979, Abstract Software Specifications.

[6]  Manfred Broy,et al.  Interaction interfaces-towards a scientific foundation of a methodological usage of message sequence charts , 1998, Proceedings Second International Conference on Formal Engineering Methods (Cat.No.98EX241).

[7]  D. L. Parnas,et al.  On the criteria to be used in decomposing systems into modules , 1972, Software Pioneers.

[8]  Robin Milner,et al.  A Calculus of Communicating Systems , 1980, Lecture Notes in Computer Science.

[9]  David Harel,et al.  Statecharts: A Visual Formalism for Complex Systems , 1987, Sci. Comput. Program..

[10]  Jan A. Bergstra,et al.  Process Algebra with Signals and Conditions , 1990 .

[11]  C. A. R. Hoare,et al.  Communicating sequential processes , 1978, CACM.

[12]  Itu-T.  Specification and Description Language (SDL) , 1999 .

[13]  Michael Jackson,et al.  Four dark corners of requirements engineering , 1997, TSEM.

[14]  Manfred Broy.  Refinement of time , 2001, Theor. Comput. Sci..

[15]  William E. Lorensen,et al.  Object-Oriented Modeling and Design , 1991, TOOLS.

[16]  Olaf Müller,et al.  Functional Specification of Real-Time and Hybrid Systems , 1997, HART.

[17]  Manfred Broy,et al.  Specification and development of interactive systems: focus on streams, interfaces, and refinement , 2001 .

[18]  Bernhard Rumpe,et al.  Formale Methodik des Entwurfs verteilter objektorientierter Systeme , 1996, Datenbank Rundbr..

[19]  Gérard Berry,et al.  The Esterel Synchronous Programming Language: Design, Semantics, Implementation , 1992, Sci. Comput. Program..

[20]  Manfred Broy,et al.  A Graphical Description Technique for Communication in Software Architectures , 1997 .

[21]  C. A. R. Hoare,et al.  A Theory of Communicating Sequential Processes , 1984, JACM.

[22]  Ivar Jacobson,et al.  Object-Oriented Software Engineering , 1991, TOOLS.

[23]  Manfred Broy,et al.  From MSCs to Statecharts , 1998, DIPES.

[24]  Bran Selic,et al.  Real-time object-oriented modeling , 1994, Wiley professional computing.