Abstract
Conventionally, interfaces of objects export a set of messages with their types; and suggest nothing about the order in which these services may be accessed. This leaves room for a large number of run-time errors or misbehaviours in type correct designs. To mend this, we introduce the notion of protocol, expressing offered and expected orderings of messages, along with a notion of protocol correctness. We do this by defining the Protocol Assuring Universal Language Paul, which describes protocol aspects of classes, and a semantics of in terms of CSP.
Chapter PDF
Similar content being viewed by others
References
W.M.P. van der Aalst and T. Basten. Life-cycle inheritance: A Petri-net-based approach. In P. Azaecutema and G. Balbo, editors, Application and Theory of Petri Nets, volume 18, pages 62–81. Springer-Verlag, June 1997.
J.C.M. Baeten and W.P. Weijland. Process Algebra. Cambridge University Press, 1990.
T. Basten and W.M.P. van der Aalst. A process-algebraic approach to life-cycle inheritance: Inheritance = encapsulation + abstraction. Computing Science Report 96/05, Eindhoven University of Technology, Department of Mathematics and Computing Science, Eindhoven, The Netherlands, March 1996.
T. Bolognesi and E. Brinksma. Introduction to the ISO specification language LOTOS. Computer Networks and ISDN Systems, 14 (1): 25–29, 1988.
D. D’Souza and A. Wills. Catalysis: Practical Rigor and Refinement. Addison-Wesley, 1998.
P.H.J. van Eijk, C.A. Vissers, and M. Diaz, editors. The formal description technique LOTOS. Elsevier Science Publishers B.V., 1989.
E. Gamma, R. Helm, R. Johnson, and J. Vlissides. Design Patterns: Elements of Reusable Object-oriented Software. Addison Wesley, Reading, 1996.
R.J. van Glabbeek. Notes on the methodology of CCS and CSP. Technical report, Centre for Mathematics and Computer Science, PO Box 4079, 1009 AB Amsterdam, the Netherlands, Aug 1986.
I. Graham, J. Bischof, and B. Henderson-Sellers. Associations considered a bad thing. Journal of Object-Oriented Programming, pages 41–48, Feb 1997.
D. Harel. Statecharts: A visual formalism for complex systems. Science of Computer Programming, 8: 231–274, 1987.
W. Harrison and H. Ossher. Subject-oriented programming (a critique of pure objects). OOPSLA, pages 411–428, 1993.
C.A.R. Hoare. Communicating Sequential Processes. Prentice Hall, 1985.
G. Kristen. Object Orientation: The KISS Method: From Information Architecture to Information System. Addison-Wesley, 1994.
B.B. Kristensen and K. (psterbye. Roles: Conceptual abstraction theory and practical language issues. Theory and Practice of Object Systems, 2 (3): 143–160, 1996.
D. Lea and J. Marlowe. Interface-based protocol specification of open systems using PSL. Lecture Notes in Computer Science, 952: 374–398, 1995.
K.J. Lieberherr and I.M. Holland. Assuring good style for object-oriented programs. IEEE software, pages 38–48, Sep 1989.
B. McCarthy. Associaten inheritance and composition. Journal of Object-Oriented Programming, pages 69–72,74–77,80–81, Jul/Aug 1997.
O. Nierstrasz. Regular types for active objects. In Proceedings OOPSLA’93, volume 28 of ACM SIGPLAN Notices, pages 1–15. ACM Press, October 1993.
O. Nierstrasz. Regular types for active objects. In O. Nierstrasz and D. Tsichritzis, editors, Object-Oriented Software Composition, chapter 4, pages 99–121. Prentice Hall, 1995.
OMG, editor. The Common Object Request Broker: Architecture and Specification Object Management Group, 1995.
Rational Software Corporation. UML Semantics Rational Software Corporation, 1997.
R. van Rein. Life cycles in Quantum. Technical report, University of Twente, Faculty of Computer Science, 1997. Internal report.
B. Selic, G. Geullekson, and P.T. Ward. Real-time Object-Oriented Modeling. John Wiley & Sons, Inc., 1994.
C. Tanzer. Remarks on object-oriented modeling of associations. Journal of Object-Oriented Programming, pages 43–46, Feb 1995.
WWW. The CSP archive. The WWW page on the Internet:
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1999 Springer Science+Business Media New York
About this paper
Cite this paper
van Rein, R., Fokkinga, M.M. (1999). Protocol Assuring Universal Language. In: Ciancarini, P., Fantechi, A., Gorrieri, R. (eds) Formal Methods for Open Object-Based Distributed Systems. FMOODS 1999. IFIP — The International Federation for Information Processing, vol 10. Springer, Boston, MA. https://doi.org/10.1007/978-0-387-35562-7_19
Download citation
DOI: https://doi.org/10.1007/978-0-387-35562-7_19
Publisher Name: Springer, Boston, MA
Print ISBN: 978-1-4757-5266-3
Online ISBN: 978-0-387-35562-7
eBook Packages: Springer Book Archive