Distributed Concurrent Object-Oriented Software

  • Manfred Broy
Part of the Lecture Notes in Computer Science book series (LNCS, volume 2635)

Abstract

In software engineering object-oriented development is today the most popular programming and design approach. However, in contrast to Dahl’s original ideas object-orientation of today does not manage to address the needs of today’s software construction in such a radical and fundamental way as needed in highly distributed interoperating software applications. In the following, we extend object-orientation to asynchrony and distribution for engineering large distributed software systems. We show how object-oriented techniques can be extended to a programming methodology and software engineering for concurrent distributed systems. This is strictly in the spirit of Ole-Johan Dahl.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. [AutoFocus 00]
    Braun, P., Lötzbeyer, H., Schätz, B., Slotosch, O.: Consistent Integration of Formal Methods. In: Schwartzbach, M.I., Graf, S. (eds.) TACAS 2000. LNCS, vol. 1785, p. 48. Springer, Heidelberg (2000)CrossRefGoogle Scholar
  2. [Beeck 94]
    Beeck, M.v.d.: A Comparison of Statecharts Variants. In: Langmaack, H., de Roever, W.-P., Vytopil, J. (eds.) FTRTFT 1994 and ProCoS 1994. LNCS, vol. 863, pp. 128–148. Springer, Heidelberg (1994)Google Scholar
  3. [Booch 91]
    Booch, G.: Object Oriented Design with Applications. Benjamin Cummings, Redwood City (1991)Google Scholar
  4. [Broy 91a]
    Broy, M.: Towards a Formal Foundation of the Specification and Description Language SDL. Formal Aspects of Computing 3, 21–57 (1991)CrossRefGoogle Scholar
  5. [Broy 92]
    Broy, M.: Compositional Refinement of Interactive Systems. Journal of the ACM 44(6), 850–891 (1997); Also in: DIGITAL Systems Research Center, SRC 89 (1992)MATHCrossRefMathSciNetGoogle Scholar
  6. [Broy 93]
    Broy, M. (Inter-)Action Refinement: The Easy Way. In: Broy, M. (ed.) Program Design Calculi. Springer NATO ASI Series, Series F: Computer and System Sciences, vol. 118, pp. 121–158. Springer, Heidelberg (1993)Google Scholar
  7. [Broy 95b]
    Broy, M.: Advanced Component Interface Specification. In: Ito, T., Yonezawa, A. (eds.) TPPP 1994. LNCS, vol. 907. Springer, Heidelberg (1995)CrossRefGoogle Scholar
  8. [Broy 98]
    Broy, M.: Compositional Refinement of Interactive Systems Modeled by Relations. In: de Roever, W.-P., Langmaack, H., Pnueli, A. (eds.) COMPOS 1997. LNCS, vol. 1536, pp. 130–149. Springer, Heidelberg (1998)CrossRefGoogle Scholar
  9. [Dahl et al 72]
    Dahl, O., Dijkstra, E.W., Hoare, C.A.R. (eds.): Structured Programming. Academic Press, London (1971)Google Scholar
  10. [Dahl, Owe 91]
    Dahl, O.-J., Owe, O.: Formal development with ABEL. In: Prehn, S., Toetenel, H. (eds.) VDM 1991. LNCS, vol. 552, pp. 320–362. Springer, Heidelberg (1991)CrossRefGoogle Scholar
  11. [Dahl 92]
    Dahl, O.-J.: Verifiable programming. Prentice Hall International Series in Computer Science. Prentice Hall, New York (1992)MATHGoogle Scholar
  12. [Grapes 90]
    GRAPES-Referenzmanual, DOMINO, Integrierte Verfahrenstechnik. Siemens AG, Bereich Daten- und Informationstechnik (1990)Google Scholar
  13. [Grosu 94]
    Grosu, R.: A Formal Foundation for Concurrent Object-Oriented Programming. Dissertation, Fakultät für Informatik, Technische Universität München (December 1994)Google Scholar
  14. [Harel 87]
    Harel, D.: Statecharts: A Visual Formalism for Complex Systems. Science of Computer Programming 8, 231–274 (1987)MATHCrossRefMathSciNetGoogle Scholar
  15. [Jacobson 92]
    Jacobsen, I.: Object-Oriented Software Engineering. Addison-Wesley, ACM Press (1992)Google Scholar
  16. [Milner et al. 92]
    Milner, R., Parrow, J., Walker, D.: A calculus of mobile processes. Part i + ii, Information and Computation 100(1), 1–40, 41–77 (1992)Google Scholar
  17. [Rumbaugh 91]
    Rumbaugh, J.: Object-Oriented Modelling and Design. Prentice Hall, Englewood Cliffs (1991)Google Scholar
  18. [Philipps, Scholz 95]
    Philipps, J., Scholz, P.: Compositional Specification of Embedded Systems with Statecharts. In: Bidoit, M., Dauchet, M. (eds.) CAAP 1997, FASE 1997, and TAPSOFT 1997. LNCS, vol. 1214. Springer, Heidelberg (1997)CrossRefGoogle Scholar
  19. [Room 94]
    Selic, B., Gullekson, G., Ward, P.T.: Real-time Object Oriented Modeling. Wiley, New York (1994)MATHGoogle Scholar
  20. [SDL 88]
    Specification and Description Language (SDL), Recommendation Z.100. Technical report, CCITT (1988)Google Scholar
  21. [Simula 67]
    Dahl, O.-J., Myrhaug, B., Nygaard, K.: Simula 67 - common base language. Technical Report N. S-22, Norsk Regnesentral (Norwegian Computing Center), OsloGoogle Scholar
  22. [UML 97]
    Booch, G., Rumbaugh, J., Jacobson, I.: The Unified Modeling Language for Object-Oriented Development, Version 1.0, RATIONAL Software CooperationGoogle Scholar
  23. [Wirsing 90]
    Wirsing, M.: Algebraic Specification. Handbook of Theoretical Computer Science, vol. B 14, pp. 675–788. North Holland, Amsterdam (1990)Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2004

Authors and Affiliations

  • Manfred Broy
    • 1
  1. 1.Institut für InformatikTechnische Universität MünchenMünchenGermany

Personalised recommendations