Constructs, concepts and criteria for reuse in concurrent object-oriented languages

  • Ulrike Lechner
Contributed Papers
Part of the Lecture Notes in Computer Science book series (LNCS, volume 1382)


For reuse in concurrent object-oriented languages we present a set of reuse constructs. We give criteria for relations between classes that can be implemented by those reuse constructs, characterize the properties inherited via the constructs and explore that we have not only constructs but concepts for reuse.

We demonstrate the concepts and constructs with the object-oriented concurrent language Maude. We employ the Μ-calculus to reason about these specifications and (bi)simulation relations parameterized with Galois connections to model reuse.


Reuse Object orientation Concurrency Rewriting Maude Μ-calculus Abstract Interpretation Inheritance Anomaly 


  1. [AB91]
    S. Abiteboul and A. Bonner. Objects and views. In Proc. ACM SIGMOD Conference on the Management of Data, pages 238–247. ACM, 1991.Google Scholar
  2. [ABGO93]
    A. Albano, R. Bergamini, G. Ghelli, and R. Orsini. An object data model with roles. In Proc. 19th International Conference on Very Large Databases (VLDB'93), pages 39–51, Dublin, Ireland, 1993.Google Scholar
  3. [Ame90]
    P. America. Designing an object-oriented programming language with behavioural subtyping. In J.W. de Bakker, W.P. de Roever, and G. Rozenberg, editors, Proc. REX/FOOLS Workshop, Lecture Notes in Computer Science 489, pages 60–90. Springer-Verlag, 1990.Google Scholar
  4. [BJR98]
    G. Booch, I. Jacobson, and J. Rumbaugh. Unified Modeling Language User Guide. Addison-Wesley, 1998.Google Scholar
  5. [Bra92]
    J.C. Bradfield. Verifying Temporal Properties of Systems. BirkhÄuser, 1992.Google Scholar
  6. [Bru93]
    G. Bruns. A practical technique for process abstraction. In E. Best, editor, 4th Int. Conf. on Concurrency Theory (CONCUR'93), Lecture Notes in Computer Science 715, pages 37–49. Springer-Verlag, 1993.Google Scholar
  7. [CC78]
    P. Cousot and R. Cousot. Static determination of dynamic properties of recursive procedures. In E.J. Neuhold, editor, Proc. 2nd IFIP TC-2 Working Conf. on Formal Description of Programming Concepts, pages 237–277. North-Holland, August 1978.Google Scholar
  8. [DH97]
    G. Denker and P. Hartel. TROLL — An Object Oriented Formal Method for Distributed Information System Design: Syntax and Pragmatics (Version 3.0). Technical Report Informatik-Bericht 97–03, TU Braunschweig, 1997.Google Scholar
  9. [FN96]
    K. Futatsugi and A. Nakagawa. An overview of Cafe project. In First CafeOBJ workshop, Yokohama, Japan, 1996. Available at: Scholar
  10. [FrØ92]
    S. FrØlund. Inheritance of synchronisation constraints in concurrent objectoriented programming languages. In O. Lehrmann Madsen, editor, European Conf. on Object-Oriented Programming (ECOOP'92), Lecture Notes in Computer Science 615, pages 185–196. Springer-Verlag, 1992.Google Scholar
  11. [HN96]
    A.E. Haxthausen and F. Nickl. Pushouts of order-sorted algebraic specifications. In M. Wirsing and M. Nivat, editors, Algebraic Methodology and Software Technology (AMAST 96), Lecture Notes in Computer Science 1101, pages 132–147. Springer-Verlag, 1996.Google Scholar
  12. [HP92]
    M. Hofmann and B.C. Pierce. An abstract view of objects and subtyping. Technical Report ECS-LFCS-92-226, August, 1992.Google Scholar
  13. [Jac96]
    B. Jacobs. Inheritance and cofree constructions. In P. Cointe, editor, European Conf. on Object-Oriented Programming (ECOOP'96), Lecture Notes in Computer Science 1098, pages 210–231. Springer-Verlag, 1996.Google Scholar
  14. [Jon93]
    C.B. Jones. Reasoning about Interference in an Object-Based Design Method. In J.C.P. Woodcock and P.G. Larsen, editors, Industrial-Strength Formal Methods (FME'93), Lecture Notes in Computer Science 670, pages 1–18. Springer-Verlag, 1993.Google Scholar
  15. [Koz83]
    D. Kozen. Results on the propositional mu-calculus. Theoretical Computer Science, 27:333–354, 1983.MATHMathSciNetCrossRefGoogle Scholar
  16. [Lec97]
    U. Lechner. Object-Oriented Specification of Distributed Systems. PhD thesis, University of Passau, 1997. Technical Report: MIP-9717. Available at: or Scholar
  17. [LGS+95]
    C. Loiseaux, A. Graf, J. Sifakis, A. Bouajjani, and S. Bensalem. Property preserving abstraction for the verification of concurrent systems. Formal Methods in System Design, 6(1):11–45, 1995.CrossRefGoogle Scholar
  18. [LLNW96]
    U. Lechner, C. Lengauer, F. Nickl, and M. Wirsing. (Objects + Concurrency) & Reusability — A Proposal to Circumvent the Inheritance Anomaly. In European Conf. on Object-Oriented Programming (ECOOP'96), Lecture Notes in Computer Science 1098, pages 232–248. Springer-Verlag, 1996.Google Scholar
  19. [Mes92]
    J. Meseguer. Conditional rewriting as a unified model of concurrency. Theoretical Computer Science, 96(1):73–155, 1992.MATHMathSciNetCrossRefGoogle Scholar
  20. [Mes96]
    J. Meseguer. Rewriting logic as a semantic framework for concurrency: a progress report. In U. Montanari and V. Sassone, editors, 7th Int. Conf. on Concurrency Theory (CONCUR'96), Lecture Notes in Computer Science 1119, pages 331–372. Springer-Verlag, 1996.Google Scholar
  21. [MPW93]
    R. Milner, J. Parrow, and D. Walker. Modal logics for mobile processes. Theoretical Computer Science, 25:267–310, 1993.MathSciNetCrossRefGoogle Scholar
  22. [MY93]
    S. Matsuoka and A. Yonezawa. Analysis of inheritance anomaly in concurrent object-oriented languages. In G. Agha, P. Wegner, and A. Yonezawa, editors, Research Directions in Concurrent Object-Oriented Programming, pages 107–150. MIT Press, 1993.Google Scholar
  23. [PS94]
    J. Palsberg and M.I. Schwartzbach. Object-Oriented Type Systems. Wiley, 1994.Google Scholar
  24. [SMC96]
    B. Steffen, T. Margaria, and A. Cla\en. Heterogeneous analysis and verification for distributed systems. SOFTWARE: Concepts and Tools, 17:13–25, 1996.Google Scholar
  25. [Vas94]
    V.T. Vasconcelos. Typed concurrent objects. In M. Tokoro and R. Pareschi, editors, European Conf. on Object Oriented Programming (ECOOP'94), Lecture Notes in Computer Science 821, pages 100–117. Springer-Verlag, 1994.Google Scholar
  26. [WK96]
    M. Wirsing and A. Knapp. A formal approach to object-oriented software engineering. Electronic Notes in Theoretical Computer Science, 4:321–359, 1996. Proc. First International Workshop on Rewriting Logic and its Applications.CrossRefGoogle Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1998

Authors and Affiliations

  • Ulrike Lechner
    • 1
  1. 1.Institute for Media and Communications ManagementUniversity of St. GallenSt. GallenSwitzerland

Personalised recommendations