Skip to main content
SpringerLink
Log in
Book cover

OOIS 2000 pp 15–30Cite as

Behavioral compatibility in Concurrent Object Constructions

  • Conference paper

  • 80 Accesses

Abstract

A formal approach using “traces” characterization is presented in order to clarify relationship between objects belonging to classes related by aggregation or inheritance.

It is well known that objects’ behavior may induce anomalies if objects are related by a structural relationship mechanisms (inheritance, aggregation). A lot of studies have been done in order to explain and solve the “inheritance anomaly” problem [MTY93]. In [CSS94] J. F. Costa, A. Sernadas and C. Sernadas present a categorical semantic domain for objects in order to clarify both aggregation and specialization. In the framework of active objects, one idea is to characterize an objects behavior as a regular process [NT95].

We give a formal definition of behavioral compatibility in the context of structurally dependent objects. Reactive programming used as a mechanism to control objects’ behavior, gives a practical technique to check compatibility. Verification takes also advantage of expression of the behavior is fully separate of expression of transformations done by methods.

This is a preview of subscription content, 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

Learn about institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. A. Arnold and A. Dicky. An algebraic characterisation of transition system equivalences. Information and Computation, 82:198–229, 1989.

    Article  MathSciNet  MATH  Google Scholar 

  2. A. Arnold. Finite transition systems. Semantics of communicating sytems. Prentice-Hall, 1994.

    Google Scholar 

  3. F. Bertrand and M. Augeraud. Bdl: A specialized language for per-object reactive control. In IEEE Software Engineering, pages pp 347–362, May/June 1999.

    Google Scholar 

  4. G. Berry, P. Couronné, and G. Gonthier. Synchronous programming of reactive systems. France-Japan Artificial Intelligence and Computer Science Symposium, 86, 1986.

    Google Scholar 

  5. F. Bertrand. Un Modèle de Contrôle Reactif pour les langages à Objets Concurrents. PhD thesis, Université de La Rochelle, Janvier 1996.

    Google Scholar 

  6. G. Berry and G. Gonthier. The esterel synchronous programming language: design, semantics, implementation. Science of Computer Programming, 19(2):87–152, 1992.

    Article  MATH  Google Scholar 

  7. J.P. Briot and R. Guerraoui. Objets, parallélisme et répartition. Technique et science informatique, 15(6):765–800, 1996.

    Google Scholar 

  8. S.D. Brookes, C.A.R. Hoare, and A.W. Roscoe. A theory of communicating sequential processes. Number 31, pages 560–599, 1984.

    Google Scholar 

  9. A. Bouali, A. Ressouche, V. Roy, and R de Simonne. The fctools user manual. Technical Report 191, INRIA, Avril 1996.

    Google Scholar 

  10. M.-M Corsini and A. Rauzy. Symbolic model checking and constraint logic programming: a cross-fertilization. Proc. of the European Symposium on Programming ESOP’94, 1994.

    Google Scholar 

  11. J. F. Costa, A. Sernadas, and C. Sernadas. Object inheritance beyond subtyping. Acta Informatica, 31:5–26, 1994.

    Article  MathSciNet  MATH  Google Scholar 

  12. D. Harel. Statecharts: A visual formalism for complex systems. Science of Computer Programming, 8:231–274, 1987.

    Article  MathSciNet  MATH  Google Scholar 

  13. N. Halbwachs, P. Caspi, P. Raymond, and D. Pilaud. The synchronous dataflow programming language lustre. Proceedings of IEEE, 79(9):1305–1320, 1991.

    Google Scholar 

  14. T. Hartmann, R. Jungclaus, and G. Saake. Aggregation in a Behavior Oriented Object Model. In O. L. Madsen, editor, Proceedings of ECOOP’92, volume 615 of Lecture Notes in Computer Science, pages 57–77. Springer Verlag, 1992.

    Google Scholar 

  15. N. Halbwachs, F. Lagnier, and P. Raymond. Synchronous observers and the verification of reactive systems. In M. Nivat, C. Rattray, T. Rus, and G. Scollo, editors, Third Int. Conf. on Algebraic Methodology and Software Technology, AMAST’93, Twente, June 1993. Workshops in Computing, Springer Verlag.

    Google Scholar 

  16. D. Harel and A. Pnueli. On the development of reactive systems: logic and models of concurrent systems. Proceedings of NATO Advanced Study Institute on Logic and Models for Verification and Specification of Concurrent Systems, 13:477–498, 1985.

    MathSciNet  Google Scholar 

  17. Laurent Hazard, Jean-Ferdinand Susini, and Frédéric Boussinot. The junior reactive kernel. Rapport de recherche, INRIA, Juillet 1999. http://www.inria.fr/meije/rc/RRInria-3732.ps.

    Google Scholar 

  18. D.G. Kafura and K.H. Lee. Inheritance in actor based concurrent object-oriented languages. In S. Cook, editor, Proceedings of ECOOP’89, pages 131–145, 1989.

    Google Scholar 

  19. Ciaran McHale. Synchronisation in Concurrent Object-Oriented Languages: Expressive Power, Genericity and Inheritance. PhD thesis, University of Dublin, Trinity College, 1994. http://www.dsg.cs.tcd.ie.

    Google Scholar 

  20. S. Matsuoka, K. Taura, and A. Yonezawa. Highly efficient and encapsulated re-use of synchronization code in concurrent object-oriented languages. In Proceedings of OOPSLA’93, pages 109–126, 1993.

    Google Scholar 

  21. S. Matsuoka and A. Yonezawa. Analysis of inheritance anomaly in object-oriented concurrent programming languages. In P. Wegner et A. Yonezawa G. Agha, editor, Research Directions in Concurrent Object-Oriented programming, pages 107–150, 1993.

    Google Scholar 

  22. O. Nierstrasz and D. Tsichritzis. Object-oriented software composition, 1995.

    MATH  Google Scholar 

  23. E.R. Olderog and C.A.R. Hoare. Specification-oriented semantics for communication processes. In J. Diaz, editor, Automata, Languages and Programming, number 154, pages 561–572, 1983.

    Google Scholar 

  24. O. Roux and F. Cassez. Compilation of electre reactive language into finite transition systems. Theorical Computer Science, (142):109–143, 1995.

    MathSciNet  Google Scholar 

  25. O. Roux, D. Creusot, F. Cassez, and J.P. Elloy. Le langage réactif asynchrone electre. Technique et Science Informatiques, 11(5), 1992.

    Google Scholar 

  26. C. Tomlison and V. Singh. Inheritance and synchronisation with enabled sets. In Proceedings of the OOPSLA’89, volume 24 of SIGPLAN Notices, pages 103–112, 1989.

    Article  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Laboratoire L3I, Université de La Rochelle, L3i — UPRES EA 2118 Avenue Michel Crépeau, F 17042, La Rochelle Cedex 1, France

    Michel Augeraud

Authors
  1. Michel Augeraud
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. School of Computing, Information Systems and Mathematics, South Bank University, 103 Borough Road, London, UK

    Dilip Patel  & Shushma Patel  & 

  2. School of Computing, London Guildhall University, 100 Minories, London, UK

    Islam Choudhury

  3. Department of Information Systems and Computing, Brunel University, Uxbridge, London, UK

    Sergio de Cesare

Rights and permissions

Reprints and permissions

Copyright information

© 2001 Springer-Verlag London Limited

About this paper

Cite this paper

Augeraud, M. (2001). Behavioral compatibility in Concurrent Object Constructions. In: Patel, D., Choudhury, I., Patel, S., de Cesare, S. (eds) OOIS 2000. Springer, London. https://doi.org/10.1007/978-1-4471-0299-1_2

Download citation

  • DOI: https://doi.org/10.1007/978-1-4471-0299-1_2

  • Publisher Name: Springer, London

  • Print ISBN: 978-1-85233-420-8

  • Online ISBN: 978-1-4471-0299-1

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation