Skip to main content
SpringerLink
Log in

Algebraic Support for Service-Oriented Architecture

Extended Abstract

  • Conference paper
  • First Online:
Book cover Algebraic Methodology and Software Technology (AMAST 2002)

Part of the book series: Lecture Notes in Computer Science ((LNCS,volume 2422))

Abstract

The Net-based economy, now fuelled by the increasing availability of wireless communication, is imposing a new architectural model for software systems which, mirroring what is already happening in the business domain, is based on services instead of products. The trend is to support this model through the use of object-oriented approaches, but two essential questions have barely been addressed so far: How “new” is this Software Technology? What does it require from Algebraic Methodology?

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. R. Allen and D. Garlan, “A Formal Basis for Architectural Connectors”, ACM TOSEM, 6(3), 1997, 213–249.

    Article  Google Scholar 

  2. L.F. Andrade and J.L. Fiadeiro, “Interconnecting Objects via Contracts”, in UML’99—Beyond the Standard, R. France and B. Rumpe (eds), LNCS 1723, Springer Verlag 1999, 566–583.

    Google Scholar 

  3. G. Booch, J. Rumbaugh and I. Jacobson, The Unified Modeling Language User Guide, Addison-Wesley 1998.

    Google Scholar 

  4. J.L. Fiadeiro and A. Lopes, “Algebraic Semantics of Coordination, or what is in a interface?”, in AMAST’98, A. Haeberer (ed), Springer-Verlag 1999.

    Google Scholar 

  5. D. Gelernter and N. Carriero, “Coordination Languages and their Significance”, Communications ACM 35, 2, pp. 97–107, 1992.

    Article  Google Scholar 

  6. S. Katz, “A Superimposition Control Construct for Distributed Systems”, ACM TOPLAS 15(2), 1993, 337–356.

    Article  Google Scholar 

  7. J. Magee and J. Kramer, “Dynamic Structure in Software Architectures”, in 4th Symp. on Foundations of Software Engineering, ACM Press 1996, 3–14.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. ATX Software S. A. and LabMOL, University of Lisbon, Alameda António Sérgio 7—1 C, 2795-023, Linda-a-Velha, Portugal

    José Luiz Fiadeiro

Authors
  1. José Luiz Fiadeiro
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. LORIA - CNRS & INRIA, Campus Scientifique, Bâtiment LORIA, BP 239, 54506, Vandoeuvre-lès-Nancy, France

    Hélène Kirchner

  2. LORIA - INRIA, 615, rue du Jardin Botanique, 54602, Villers-lès-Nancy, France

    Christophe Ringeissen

Rights and permissions

Reprints and permissions

Copyright information

© 2002 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Fiadeiro, J.L. (2002). Algebraic Support for Service-Oriented Architecture. In: Kirchner, H., Ringeissen, C. (eds) Algebraic Methodology and Software Technology. AMAST 2002. Lecture Notes in Computer Science, vol 2422. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-45719-4_6

Download citation

  • DOI: https://doi.org/10.1007/3-540-45719-4_6

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-44144-1

  • Online ISBN: 978-3-540-45719-0

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation