Skip to main content
SpringerLink
Log in

A unique formalism for specifying and designing objects in a parallel environment

  • Conference paper
  • First Online:
Formal Methods in Programming and Their Applications

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

  • 135 Accesses

Abstract

When objects are put in a parallel environment, new problems appear. Constraints on methods may change, the composition and extension of objects is more difficult. We introduce a concurrent object concept to implement solutions of these problems in object-oriented languages. A formalization of this concept and proofs of properties are built up in a Multimodal Logic of Actions. We terminate this paper by a discussion about the proof of inheritance properties in a parallel environment.

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

Access this chapter

Log in via an institution

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. G. Agha and C. Hewitt Concurrent Programming Using Actors, In Object-Oriented Concurrent Programming, (ed) A. Yonezawa and M. Tokoro, MIT Press, 1987, 37–53.

    Google Scholar 

  2. P. America, F. Vander Linden A Parallel Object Oriented Language with Inheritance and Subtyping”, Proc. ECOOP'90. pp161–168.

    Google Scholar 

  3. J. P. Bahsoun, L. Feraud, C. Btourn “A two degrees of freedom approach for parallel programming”, Proc. IEEE International Conference on Computer Languages.March 12–15 1990.New Orleans.pp261–270.

    Google Scholar 

  4. P. Cointe “Meta-classes are first class: the ObjVlisp model”, Proc. 2nd OOPSLA Orlando Florida, pp 156–167.

    Google Scholar 

  5. O. J. Dahl, K. Nygaard “SIMULA — an ALGOL based simulation language”, CACM 9(9) 1966 pp 671–678.

    Google Scholar 

  6. E.W. Dijkstra. Hierarchical ordering of sequential processes. Acta Informatica. 1 — 1971.

    Google Scholar 

  7. E.W. Dijkstra. A Discipline of Programming. Prentice Hall, Englwood Cliffs, New Jersey, 1976.

    Google Scholar 

  8. L. Farias del Cerro, A. Herzig “An Automated Modal Logic of Elementary Changes”, in “Non-standard Logics for Automated Reasoning”, Mandani, Smets, Dubois and Prade Eds, Academic Press, 1988.

    Google Scholar 

  9. R.W. FLOYD Assigning meanings to programs. Proc Symp in AMS vol 19 Provinceton RI 1967.

    Google Scholar 

  10. A. Golberg, A. Robson “SMALLTALK: the language and its implentation”, Addison-Wesley 1980.

    Google Scholar 

  11. S. Hanks, D. Mac Dermott Default Reasoning, Nonmonotonic Logic and the Frame Problem, Proc. of AAAI, 1986.

    Google Scholar 

  12. D. Harel, “Dynamic Logic”, Handbook of Philosophical Logic, D. Gabbay and F. Guenthner Eds., D. Reidel, 1984.

    Google Scholar 

  13. C. Hewitt, R. Atkinson “Specification and proof technique for serializers”, IEEE Trans. Soft. Eng. 1979 pp 10–13.

    Google Scholar 

  14. C.A.R. Hoare An axiomatic basis for computer programming. CACM 12 1969.

    Google Scholar 

  15. D. Kafura, K. Lee “Inheritance in actor based concurrent object-oriented languages”, TR 88-53 Virginia Polytechnic Institue and state university. 1988.

    Google Scholar 

  16. K. Kahn, E. D. Tribble, M. Smiller, D. G. Bobrow “VULCAN: logical concurrent objects”. In Research directions in object oriented programming.B.Shriver,P.Wegner Editors 112 MIT Press 1987.

    Google Scholar 

  17. S. E. Keene “Object oriented programming in common Lisp” A progammer's guide to CLOS”, Addison Wesley 1989.

    Google Scholar 

  18. S. Krakoviak, M. Meysembourg, H. Nguyen Van, M. Riveill, X. Rousset De Pina “Design and implementation of an object oriented strongly typed language for distributed applications”, JOOP Sept/Oct. 1990 pp 11–22.

    Google Scholar 

  19. L. Lamport Specifying concurrent program modules. ACM Transactions on Programming Languages and systems, 5(2) 190–222 March 1977.

    Google Scholar 

  20. L. Lamport What good is temporal logic? Proceeding of IFIP 9th World Congress September 1983.

    Google Scholar 

  21. L. Lamport The Temporal Logic of Actions SRC DEC December 1991.

    Google Scholar 

  22. B. Liskov, J. Guttag “Abstraction and specification in program developments”, MIT Press/McGraw Hill 1986.

    Google Scholar 

  23. Z. Manna and A. Pnueli The temporal logic of reactive and concurrent systems, Springer Verlag, 1992

    Google Scholar 

  24. B. Meyer “Object oriented software construction”, Prentice Hall 1988.

    Google Scholar 

  25. R. Milner “Operational and Algebraic Semantics of Concurrent Processes”, Handbook of Theorical Computer Science, J. van Leeuwen Ed., Elsevier Science, 1990.

    Google Scholar 

  26. S. Owicki, D. Gries An Axiomatic proof technique for parallel programs. Acta Informatica. Vol 19 May 1976.

    Google Scholar 

  27. C. Seguin “De l'action l'intention: vers une caractrisation formelle des agents”, Ph.D. thesis, Universit Paul sabatier, Toulouse, France, 1992.

    Google Scholar 

  28. Y. Shoham Reasoning about Change, MIT Press, 1987, Boston.

    Google Scholar 

  29. A.Snyder “Inheritance and the development of encapsulated software systems”, In Research directions in objetc-oriented programming. A.Shriver, P.Wegner editors MIT Press pp 165–188.

    Google Scholar 

  30. B. Stroustup The C++ programming language Addison & Wesley 1986.

    Google Scholar 

  31. T. Tomlison, V. Singh “Inheritance and synchronization with enabled sets”, Proc. of OOPSLA'89.Oct.1–6.1989 pp 103–112.

    Google Scholar 

  32. P. Wegner Concepts and paradigms of object-oriented programming”, Expansion of Oct. 4 OOPSLA-89 keynote talk. OOPS Messenger. Vol.1 n1 Aug.1990 pp-84.

    Google Scholar 

  33. M. Winslett “Updating Logical Databases”, Cambridge University Press, 1990.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. IRIT, 118 route de Narbonne, 31062, Toulouse cedex, France

    J. P. Bahsoun & C. Servieres

  2. ONERA-CERT, 2 av Edouard Belin, bp 4025, 31055, Toulouse cedex, France

    C. Seguin

Authors
  1. J. P. Bahsoun
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. C. Servieres
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. C. Seguin
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Dines Bjørner Manfred Broy Igor V. Pottosin

Rights and permissions

Reprints and permissions

Copyright information

© 1993 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Bahsoun, J.P., Servieres, C., Seguin, C. (1993). A unique formalism for specifying and designing objects in a parallel environment. In: Bjørner, D., Broy, M., Pottosin, I.V. (eds) Formal Methods in Programming and Their Applications. Lecture Notes in Computer Science, vol 735. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0039714

Download citation

  • DOI: https://doi.org/10.1007/BFb0039714

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-57316-6

  • Online ISBN: 978-3-540-48056-3

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation