Skip to main content

Service-Oriented Business and System Specification: Beyond Object-Orientation

  • Chapter
Practical Foundations of Business System Specifications

Abstract

Quoting directly from [M1992], “There are only two ways to use a class [...]. One is to inherit from it; [...]. The other one is to become a client of [it].” Indeed, it is generally accepted that, in object-oriented software construction, there are two basic techniques for structuring systems. Inheritance allows us to reuse the behaviour of a class in the definition of new classes. Clientship, i.e. the ability to establish client/supplier relations between objects, provides, through feature calling, the basic mechanism of object-oriented computation.

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

Access this chapter

Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 129.00
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 169.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info
Hardcover Book
USD 169.99
Price excludes VAT (USA)
  • Durable hardcover 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 TO-SEM, 6 (3), 1997, 213–249.

    Google Scholar 

  2. AF 1999] 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. L.F.Andrade and J.L.Fiadeiro, “Coordination: the Evolutionary Dimension”, in Technology of Object-Oriented Languages and Systems — TOOLS 38, W.Pree (ed), IEEE Computer Society Press 2001, 136–147.

    Chapter  Google Scholar 

  4. R.Back and R.Kurki-Suonio, “Distributed Cooperation with Action Systems”, ACM TOPLAS 10 (4), 1988, 513–554.

    Article  MATH  Google Scholar 

  5. RJ.Back, L.Petre and I.Paltor, “Analysing UML Use Cases as Contracts”, in UML’99 — Beyond the Standard, R.France and B.Rumpe (eds), L.CS 1723, Springer Verlag 1999, 518–533.

    Google Scholar 

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

    Google Scholar 

  7. F 1996] J.L.Fiadeiro, “On the Emergence of Properties in Component-Based Systems”, in Proc. AMAST’96,M.Wirsing and M.Nivat (eds), LNCS 1101, Springer-Verlag 1996, 421–443.

    Google Scholar 

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

    Google Scholar 

  9. J.L.Fiadeiro, N.Mart-Oliet, T.Maibaum, J.Meseguer and I. Pita, “Towards a Verification Logic for Rewriting Logic”, in Recent Trends in Algebraic Development Techniques, D.Bert and C.Choppy (eds), LNCS 1827, pp. 438–458, Springer-Verlag 2000

    Google Scholar 

  10. E.Gamma, R.Helm, R.Johnson and J.Vlissides, Design Patterns: Elements of Reusable Object Oriented Software, Addison-Wesley 1995

    Google Scholar 

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

    Article  Google Scholar 

  12. J.Gouveia, G.Koutsoukos, L.Andrade and J.Fiadeiro, “Tool Support for Coordination-Based Software Evolution”, in Technology of Object-Oriented Languages and Systems — TOOLS 38, W.Pree (ed), IEEE Computer Society Press 2001, 184–196.

    Google Scholar 

  13. R.Helm, I.Holland and D.Gangopadhyay, “Contracts: Specifying Behavioral Compositions in Object-Oriented Systems”, in Proc. OOPSLA’90/ECOOP’90, ACM Press 1990, 169–180

    Google Scholar 

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

    Article  Google Scholar 

  15. W.Kent, “Participants and Performers: A Basis for Classifying Object Models”, in

    Google Scholar 

  16. Proc. OOPSLA 1993 Workshop on Specification of Behavioral Semantics in Object-Oriented Information Modeling,1993

    Google Scholar 

  17. H.Kilov, Business Models,Prentice-Hall 2002.

    Google Scholar 

  18. H.Kilov and J.Ross, Information Modeling: an Object-oriented Approach,Prentice-Hall 1994.

    Google Scholar 

  19. G.Koutsoukos, J.Gouveia, L.Andrade and J.L.Fiadeiro, “Managing Evolution in Telecommunications Systems”, in Proc. IFIP Working Conference on Distributed Applications and Interoperable Systems, Kluwer 2001, 133–139.

    Google Scholar 

  20. G.Koutsoukos, T.Kotridis, L.Andrade, J.L.Fiadeiro, J.Gouveia and M.Wermelinger, “Coordination Technologies for Business Strategy Support: a case study in Stock Trading”, accessible from www.atxsoftware.com

  21. Kr 1994] J.Kramer, “Exoskeletal Software”, in Proc. 16th ICSE,1994, 366.

    Google Scholar 

  22. K.Lano, J.Fiadeiro and L.Andrade, Software Design in Java 2, Palgrave-Macmillan, 2002.

    Google Scholar 

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

  24. T.Mens T. and T.D’Hondt, “Automating Support for Software Evolution in UML”, Automated Software Engineering Journal 7, Kluwer Academic Publishers, 2000, 3959.

    Google Scholar 

  25. B.Meyer, “ApplyingDesignbyContract”,IEEE Computer, Oct. 1992,40–51.

    Google Scholar 

  26. B.Meyer,Object-Oriented Software Construction,Addison-Wesley 1992.

    Google Scholar 

  27. N.Minsky and V.Ungureanu, “Law-Governed Interaction: A Coordination and Control Mechanism for Heterogeneous Distributed Systems” in ACM TOSEM 9(3), 2000, 273–305.

    Google Scholar 

  28. D.Notkin, D.Garlan, W.Griswold and K.Sullivan, “Adding Implicit Invocation to Languages: Three Approaches”, in Object Technologies for Advanced Software, S.Nishio and A.Yonezawa (editors), LNCS 742, Springer-Verlag 1993, 489–510.

    Google Scholar 

  29. M.Shaw, “Procedure Calls are the Assembly Language of Software Interconnection: Connectors Deserve First-Class Status”, in D.A. Lamb (Ed.), Studies of Software Design, LNCS 1078, Springer-Verlag 1996.

    Google Scholar 

  30. M.Snoeck, G.Dedene, M.Verhels and A-M.Depuydt, Object-oriented Enterprise Modelling with MERODE, Leuvense Universitaire Press, 1999.

    Google Scholar 

  31. C. Szyperski, Component Software: Beyond Object-Oriented Programming, Addison Wesley 1998.

    Google Scholar 

  32. M.Wermelinger and J.L.Fiadeiro, “A Graph Transformation Approach to Software Architecture Reconfiguration”, Science of Computer Programming,44, 2002, 133155.

    Google Scholar 

  33. Web Services architecture overview — the next stage of evolution for e-business, September 2000, http://www-106.ibm.com/developerswork/web/library

Download references

Author information

Authors and Affiliations

Authors

Editor information

Editors and Affiliations

Rights and permissions

Reprints and permissions

Copyright information

© 2003 Springer Science+Business Media Dordrecht

About this chapter

Cite this chapter

Andrade, L.F., Fiadeiro, J.L. (2003). Service-Oriented Business and System Specification: Beyond Object-Orientation. In: Kilov, H., Baclawski, K. (eds) Practical Foundations of Business System Specifications. Springer, Dordrecht. https://doi.org/10.1007/978-94-017-2740-2_1

Download citation

  • DOI: https://doi.org/10.1007/978-94-017-2740-2_1

  • Publisher Name: Springer, Dordrecht

  • Print ISBN: 978-90-481-6367-0

  • Online ISBN: 978-94-017-2740-2

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics