Challenges and Opportunities for Formal Specifications in Service Oriented Architectures

  • Gustavo Alonso
Part of the Lecture Notes in Computer Science book series (LNCS, volume 5062)


Service Oriented Architectures (SOA) are currently attracting a lot of attention in industry as the latest conceptual tool for managing large enterprise computing infrastructures. SOA is interesting from a research perspective for a variety of reasons. From the software engineering side, because it shifts the focus away from conventional programming to application integration, thereby challenging many of the premises around improving development by improving programming languages. From the middleware point of view, SOA emphasizes asynchronous interaction, away from the RPC/RMI model, and thus brings to the fore many of the inadequacies of existing software and hardware platforms. From the formal specification perspective, however, SOA offers many opportunities as one of the key ideas behind SOA is the notion of capturing the interactions at a high level and letting the underlying infrastructure take care of the implementation details. For instance, the emphasis in SOA is the main reason why workflow and business process technologies are experiencing a new revival, as they are seen as a way to formally specify complex interaction patterns. This presentation covers the main ideas behind SOA and why they are an excellent basis to provide a more formal basis for the development and evolution of complex systems.


Multi-tier architectures Service Oriented Architectures Web Services Workflow Business Processes Declarative Languages 


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. Alonso, G., Casati, F., Kuno, H., Machiraju, V.: Web Services: Concepts, Architectures and Applications. Springer, Heidelberg (2003)Google Scholar
  2. Alonso, G.: Myths around Web Services. In: Bulletin of the Technical Committee on Data Engineering, December 2002, vol. 25(4) (2002)Google Scholar
  3. Stonebraker, M.: Too much Middleware. Sigmod Record (March 2002)Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2008

Authors and Affiliations

  • Gustavo Alonso
    • 1
  1. 1.Systems Group Department of Computer ScienceETH ZurichSwitzerland

Personalised recommendations