Skip to main content
SpringerLink
Log in

Interface-Based Protocol Specification of Open Systems using PSL

  • Conference paper
  • First Online:
ECOOP’95 — Object-Oriented Programming, 9th European Conference, Åarhus, Denmark, August 7–11, 1995 (ECOOP 1995)

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

Included in the following conference series:

Abstract

PSL is a framework for describing dynamic and architectural properties of open systems of components. PSL extends established interface-based tactics for describing the functional properties of open systems to the realm of protocol description. PSL specifications consist of logical and temporal rules relating situations, each of which describes potential states with respect to the roles of components, role attributes, and the issuance and reception of events. A specialized form, PSL/IDL supports protocol description in CORBA systems.

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

Access this chapter

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 74.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever

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. Agha, G., ACTORS: A Model of Concurrent Computation in Distributed Systems, MIT Press, 1986.

    Google Scholar 

  2. Aksit, M., L. Bergmans, & S. Vural, “An Object-Oriented Language-Database Integration Model: The Composition-Filters Approach”, Proceedings, ECOOP’ 92, LNCS 615, Springer-Verlag, 1992.

    Google Scholar 

  3. Alexiev, V., Mutable Object State for Object-Oriented Logic Programming: A Survey, Technical Report TR 93-15, Department of Computing Science, University of Alberta, 1993.

    Google Scholar 

  4. Allen, R., & D. Garlan, “Formal Connectors”, Technical Report CMU-CS-94-115, Carnegie Mellon University, 1994.

    Google Scholar 

  5. America, P., “A Parallel Object-Oriented Language with Inheritance and Subtyping”, Proceedings, OOPSLA’ 90, ACM, 1990.

    Google Scholar 

  6. Arapis, C., Dynamic Evolution of Object Behavior and Object Cooperation, Thesis, University of Geneva, 1992.

    Google Scholar 

  7. Barwise, J., “Constraints, Channels, and the Flow of Information”, in j. Peters (ed.) Situation Theory and its Applications, Volume 3, CSLI Lecture Notes, Stanford University, 1993.

    Google Scholar 

  8. Baumgartner, G., & V. Russo, “Signatures: A C++ Extension for Type Abstraction and Subtype Polymorphism”, Software—Practice and Experience, 1994.

    Google Scholar 

  9. Birman, K., & R. Van Renesse, Reliable Distributed Computing with the Isis Toolkit, IEEE Computer Society Press, 1994.

    Google Scholar 

  10. Booch, G., Object-Oriented Analysis and Design, Benjamin Cummings, 1993.

    Google Scholar 

  11. Borgida, A., J. Mylopoulos, & R. Reiter, “... And nothing else changes: The frame problem in procedure specifications”. Proceedings Fifteenth International Conference on Software Engineering, IEEE, 1993.

    Google Scholar 

  12. Buhr, R. & R. Casselman, “Architecture with Pictures”, Proceedings, OOPSLA’ 92, ACM, 1992.

    Google Scholar 

  13. Campbell, R. H., & A. N. Habermann, “The Specification of Process Synchronization by Path Expressions”. Lecture Notes in Computer Science 16, Springer-Verlag, 1974.

    Google Scholar 

  14. Chandy, K. & J. Misra, Parallel Program Design: A Foundation, Addison-Wesley, 1988.

    Google Scholar 

  15. Davison, A., “A Survey of Logic Programming Based Object-Oriented Languages”, in G. Agha, P. Wegner, & A. Yonezawa (eds.) Research Directions in Concurrent Object-Oriented Programming, MIT Press, 1993.

    Google Scholar 

  16. de Champeaux, D., Verification of Some Parallel Algorithms, Proceedings, 7th Annual Pacific Northwest Software Quality Conference, Portland, OR, 1989.

    Google Scholar 

  17. de Champeaux, D., D. Lea., & P. Faure, Object-Oriented System Development, Addison-Wesley, 1993.

    Google Scholar 

  18. D’Souza, D., & A. Wills, Catalysis-Practical and Rigorous Object Development, Techincal Report, ICON Computing, 1995.

    Google Scholar 

  19. Emerson, E., “Temporal and modal logic”. J. van Leeuwen (ed.), Handbook of Theoretical Computer Science, Volume B, MIT press, 1990.

    Google Scholar 

  20. Gamma, E., R. Helm, R. Johnson, & J. Vlissides. Design Patterns, Addison-Wesley, 1994.

    Google Scholar 

  21. Garlan, D., & M. Shaw, “An Introduction to Software Architecture”. In V. Ambriola and G. Tortora (eds.) Advances in Software and Knowledge Engineering, vol II, World Scientific Publishing, 1993.

    Google Scholar 

  22. Gatziu, S., & K. Dittrich, “Events in an Active Object-Oriented Database System”, Proceedings, 1st International Workshop on Rules in Database Systems, 1993.

    Google Scholar 

  23. Gupta, V., “Concurrent Kripke Structures”, Proceedings of the North American Process Algebra Workshop Cornell CS-TR-93-1369,1993.

    Google Scholar 

  24. Harel, D., “StateCharts: A Visual Formalism for Complex Systems”, Science of Computer Programming, 8, 1987.

    Google Scholar 

  25. Harrison, W., & H. Ossher, “Subject-Oriented Programming”, Proceedings, OOPSLA’ 93, ACM, 1993.

    Google Scholar 

  26. Harrison, W., The Importance of Using Object References as Identifiers of Objects, Document 94.6.12, Object Management Group, 1994.

    Google Scholar 

  27. Helm, R., I. Holland, & D. Gangopadhyay, “Contracts: Specifying Behavioral Compositions in Object-Oriented Systems”, Proceedings, OOPSLA’ 90, ACM, 1990.

    Google Scholar 

  28. Hewitt, C., P. Bishop, & R. Steiger, “A Universal Modular ACTOR Formalism for AI”, Third International Joint Conference on Artificial Intelligence, Stanford University, August 1973.

    Google Scholar 

  29. Hoare, C.A.R., “An Axiomatic Basis for Computer Programming”, Communications of the ACM, 12, 1969.

    Google Scholar 

  30. Hogg, J., D. Lea, R. Holt, A. Wills, & D. de Champeaux, “The Geneva Convention on the Treatment of Object Aliasing”, OOPS Messenger, April 1992.

    Google Scholar 

  31. Hughes, G.E., & Cresswell, M.J. An Introduction to Modal Logic, Methuen, 1971.

    Google Scholar 

  32. Jagadish, H., & O. Shmueli, “Composite Events in a Distributed Object-Oriented Database” Distributed Object Management, Morgan Kaufmann, 1994.

    Google Scholar 

  33. Jarvinen, H., R. Kurki-Suonio, M. Sakkinnen, & K. Systa, “Object-Oriented Specification of Reactive Systems”. Proceedings, International Conference on Software Engineering, IEEE, 1990.

    Google Scholar 

  34. Jarvinen, H. The Design of a Specification Language for Reactive Systems, Technical Report 95, Tampere University of Technology, 1992.

    Google Scholar 

  35. Jones, C., Systematic Software Development Using VDM, Prentice Hall, 1986.

    Google Scholar 

  36. Kiczales, G. Open Implementations, Forthcoming book.

    Google Scholar 

  37. Lamport, L., “Time, Clocks, and the Ordering of Events in Distributed Systems”, Communications of the ACM, 21(7), 1978.

    Google Scholar 

  38. Lamport, L., The Temporal Logic of Actions SRC Research Report 79, Digital Equipment Corp, 1991.

    Google Scholar 

  39. Lea, D., & J. Marlowe, PSL: Protocols and Pragmatics for Open Systems, Technical Report, Sun Microsystems Laboratories, 1994.

    Google Scholar 

  40. Liskov, B., & J. Guttag, Abstraction and Specification in Program Development, MIT Press, 1986.

    Google Scholar 

  41. Luckham, D., L. Augustin, J. Kenney, J. Vera, D. Bryan, & W. Mann, “Specification and Analysis of a System Architecture Using Rapide”, IEEE Transactions on Software Engineering, 1994.

    Google Scholar 

  42. Manna, Z., & A. Pneulli, The Temporal Logic of Reactive and Concurrent Systems, Springer-Verlag, 1991.

    Google Scholar 

  43. McCarthy, J. & P.J. Hayes, “Some Philosophical Problems from the Standpoint of Artificial Intelligence”, in D. Michie and B. Meltzer (eds.), Machine Intelligence 4, Edinburgh University Press, 1969.

    Google Scholar 

  44. McCarthy, J. Elephant 2000: A Programming Language Based on Speech Acts, Unpublished Manuscript, Stanford University, 1994.

    Google Scholar 

  45. Meseguer, J., “A Logical Theory of Concurrent Objects and its Realization in the Maude Language”, in G. Agha, P. Wegner, & A. Yonezawa (eds.) Research Directions in Concurrent Object-Oriented Programming, MIT Press, 1993.

    Google Scholar 

  46. Milner, R., Communication and Concurrency, Prentice Hall International, 1989.

    Google Scholar 

  47. Milner, R., J. Parrow, & D. Walker, “A Calculus of Mobile Processes”, Information and Computation, vol 10, pp1–77,1992.

    Article  MathSciNet  Google Scholar 

  48. Mullender, S. (ed.) Distributed Systems, 2nd ed., Addison-Wesley, 1993.

    Google Scholar 

  49. Nierstrasz, O. “Regular Types for Active Objects”, Proceedings, OOPSLA’ 93, ACM, 1993.

    Google Scholar 

  50. Newmeyer, F. Linguistics: The Cambridge Survey, Cambridge University Press, 1988.

    Google Scholar 

  51. OMG, Common Object Request Broker Architecture and Specification, Document 91.12.1, Object Management Group, 1991.

    Google Scholar 

  52. OMG, Response to the Object Management Group Object Services Task Force Request for Information, Document 91.11.6. Object Management Group, 1992.

    Google Scholar 

  53. OMG, Common Object Services Specification, Document 94.1.1, Object Management Group, 1994.

    Google Scholar 

  54. OMG, IDLC++ Language Mapping Specification, Document 94.8.2, Object Management Group, 1994.

    Google Scholar 

  55. Powell, M., Objects, References, Identifiers and Equality, Document 93.7.5, Object Management Group, 1993.

    Google Scholar 

  56. Pratt, V.R., “Modeling Concurrency with Partial Orders”, International Journal of Parallel Programming, 15(1), 1986.

    Google Scholar 

  57. Pratt, V.R., Chu Spaces: Complementarity and Uncertainty in Rational Mechanics. Technical Report, Stanford University, 1994.

    Google Scholar 

  58. Raj, R., E. Tempero, H. Levy, A. Black, N. Hutchinson, & E. Jul, “Emerald: A General Purpose Programming Language”, Software—Practice and Experience, 1991.

    Google Scholar 

  59. Reenskaug, T. The Object Industry: The Large Scale Provision of Customized Software, Addison-Wesley, forthcoming.

    Google Scholar 

  60. Rumbaugh, J., M. Blaha, W. Premerlani, F. Eddy, & W. Lorensen, Object-Oriented Modeling and Design, Prentice Hall, 1991.

    Google Scholar 

  61. Sankar, S. & R. Hayes “ADL: An Interface Definition Language for Specifying and Testing Software”, in Proceedings of the Workshop on Interface Definition Languages, ACM SIGPLAN Notices, 1994.

    Google Scholar 

  62. Scholl, M., C. Laasch, & M. Tresch, “Updatable Views in Object Oriented Databases”, in C. Delobel, M. Kifer & Y. Masunaga (eds.) Deductive and Object-Oriented Databases, Springer-Verlag, 1991.

    Google Scholar 

  63. Strom, R., D. Bacon, A. Goldberg, A. Lowry, D. Yellin, & S. Yemeni, Hermes: A Language for Distributed Computing, Prentice Hall, 1991.

    Google Scholar 

  64. von Benthem, J. The Logic of Time, Kluwer, 1991.

    Google Scholar 

  65. Wegner, P., “Tradeoffs between Reasoning and Modeling”, in G. Agha, P. Wegner, & A. Yonezawa (eds.) Research Directions in Concurrent Object-Oriented Programming, MIT Press, 1993.

    Google Scholar 

  66. Wieringa, R., & W. de Jonge, “The Identification of Objects and Roles”, Technical Report TR-267, Faculty of Mathematics and Computer Science, Vrije Universiteit, 1993.

    Google Scholar 

  67. Winskel, G., “An Introduction to Event Structures”, REX’88: Linear Time, Branching Time and Partial Order in Logics and Models for Concurrency Lecture notes in Computer Science 354, Springer-Verlag, 1988.

    Google Scholar 

  68. Yellin, D., & R. Strom. “Interfaces, Protocols, and the Semi-Automatic Construction of Software Adaptors”, Proceedings, OOPSLA’ 94, ACM, 1994.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. SUNY at Oswego, Oswego

    Doug Lea

  2. NY CASE Center, USA

    Doug Lea

  3. Sun Microsystems Laboratories, USA

    Jos Marlowe

Authors
  1. Doug Lea
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Jos Marlowe
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Department of Computer Science, Keio University, 3-14-1 Hiyoshi, Kohoku-ku, Yokohama, 223, Japan

    Mario Tokoro

  2. Rank Xerox Research Centre, 6 Chemin de Maupertuis, F-38240, Meylan, France

    Remo Pareschi

Rights and permissions

Reprints and permissions

Copyright information

© 1995 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Lea, D., Marlowe, J. (1995). Interface-Based Protocol Specification of Open Systems using PSL. In: Tokoro, M., Pareschi, R. (eds) ECOOP’95 — Object-Oriented Programming, 9th European Conference, Åarhus, Denmark, August 7–11, 1995. ECOOP 1995. Lecture Notes in Computer Science, vol 952. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-49538-X_18

Download citation

  • DOI: https://doi.org/10.1007/3-540-49538-X_18

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-60160-9

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

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation