Automatic component protocol adaptation with the CoConut/J tool suite

Future Generation Computer Systems

Volumn 19, Issue 5 SPEC, 2003, Pages 627-639

  Reussner, Ralf H ^a  

^a MONASH UNIVERSITY   (Australia)

Author keywords

Automatic protocol adaptation; Component protocol specification; Distributed middleware platforms; Parameterised contracts

Indexed keywords

ALGORITHMS; INTERFACES (COMPUTER); INTEROPERABILITY; MIDDLEWARE; NETWORK PROTOCOLS;

COMPONENT PROTOCOL SPECIFICATION;

DISTRIBUTED COMPUTER SYSTEMS;

EID: 0037911294     PISSN: 0167739X     EISSN: None     Source Type: Journal    
DOI: 10.1016/S0167-739X(02)00173-5     Document Type: Article

References (42)

1. Bochmann G.V., Cerny E., Gagné M., Jarda C., Léveillé A., Lacaille C., Maksud M., Raghunathan K.S., Sarikaya B., Experience with formal specifications using and extended state transition model. IEEE Trans. Commun. 30(12):1982;2506-2511.
2. J. Bosch, Composition through superimposition, in: W. Weck, J. Bosch, C. Szyperski (Eds.), Proceedings of the First International Workshop on Component-Oriented Programming (WCOP'1996), Turku Centre for Computer Science, September 1996.
3. J. Bosch, Design and Use of Software Architectures - Adopting and Evolving a Product-line Approach, Addison-Wesley, Reading, MA, 2000.
4. CCITT, CCITT Recomendation Z.120: Message Sequence Chart (MSC92), Technical Report, CCITT, Geneva, 1992.
5. L. de Alfaro, T.A. Henzinger, Interface automata, in: V. Gruhn (Ed.), Proceedings of the Joint Eighth European Software Engineering Conference and Ninth ACM SIGSOFT Symposium on the Foundation of Software Engineering (ESEC/FSE-01), vol. 26, Five of Software Engineering Notes, ACM Press, New York, September 10-14, 2001, pp. 109-120.
6. Sun Microsystems Corporation, The Enterprise Java Beans homepage. http://java.sun.com/products/ejb/.
7. S. Frolund, J. Koistinen, Quality-of-service specification in distributed object systems, Technical Report HPL-98-159, Hewlett Packard, Software Technology Laboratory, September 1998.
8. E. Gamma, R. Helm, R. Johnson, J. Vlissides, Design Patterns: Elements of Reusable Object-Oriented Software, Addison-Wesley, Reading, MA, 1995.
9. J. Han, Temporal logic based specification of component interaction protocols, in: Proceedings of the Second Workshop on Object Interoperability ECOOP'2000, Cannes, France, June 12-16, 2000.
10. Harel D., Statecharts: a visual approach to complex systems. Sci. Comput. Program. 8(3):1987;231-274.
11. G.J. Holzmann, Design and Validation of Computer Protocols, Prentice Hall, Englewood Cliffs, NJ, USA, 1991.
12. J. Hopcroft, J. Ullman, Introduction to Automata Theory, Languages, and Computation, Addison-Wesley, Reading, MA, USA, 1979.
13. G. Hunzelmann, Generierung von Protokollinformation für Softwarekomponentenschnittstellen aus annotiertem Java-Code, Diplomarbeit, Fakultät für Informatik, Universität Karlsruhe (TH), Germany, April 2001.
14. Kiczales G., Aspect-oriented programming. ACM Comput. Surv. 28(4):1996;154-154.
15. S.C. Kleene, Representation of events in nerve nets and finite automata, in: C. Shannon, J. McCarthy (Eds.), Automata Studies, Annals of Mathematical Studies, vol. 34, Princeton University Press, Princeton, NJ, 1956, pp. 3-40.
16. B. Krämer, Synchronization constraints in object interfaces, in: B. Krämer, M.P. Papazoglou, H.W. Schnmidt (Eds.), Information Systems Interoperability, Research Studies Press, Taunton, England, 1998, pp. 111-141.
17. B. Krämer, H.W. Schnmidt, Types and modules for net specifications, in: K. Voss, H.J. Genrich, G. Rozenberg (Eds.), Concurrency and Nets, Springer, Berlin, 1987, pp. 269-286.
18. Liskov B.H., Wing J.M., A behavioral notion of subtyping. ACM Trans. Programm. Lang. Syst. 16(6):1994;1811-1841.
19. Z. Manna, A. Pnueli, The Temporal Logic of Reactive and Concurrent Systems, Springer, New York, 1992.
20. M.D. McIlroy, Mass produced software components, in: P. Naur, B. Randell (Eds.), Software Engineering, Brussels, 1969, pp. 138-155; Scientific Affairs Division, NATO. Report of a conference sponsored by the NATO Science Committee, Garmisch, Germany, October 7-11, 1968.
21. Meyer B., Applying design by contract. IEEE Comput. 25(10):1992;40-51.
22. B. Meyer, Object-Oriented Software Construction, 2nd ed., Prentice Hall, Englewood Cliffs, NJ, 1997.
23. M. Migliardi, V. Sunderam, PVM emulation in the harness metacomputing system: a plug-in based approach, in: J.J. Dongarra, E. Luque, T. Margalef (Eds.), Recent Advances in Parallel Virtual Machine and Message Passing Interface: Sixth European PVM/MPI Users' Group Meeting, Barcelona, Spain, September 26-29, 1999, vol. 1697, Lecture Notes in Computer Science, Springer, Berlin, 1999, pp. 117-124.
24. R. Milner, A calculus of communicating systems, Lect. Notes Comput. Sci. 92 (1980).
25. Microsoft Corp., The .NET homepage. http://www.microsoft.com/net/default.asp.
26. O. Nierstrasz, Regular types for active objects, in: Proceedings of the Eighth ACM Conference on Object-Oriented Programming Systems, Languages and Applications (OOPSLA-93), vol. 28, 10 of ACM SIGPLAN Notices, October 1993, pp. 1-15.
27. Object Management Group (OMG), The CORBA homepage. http://www.corba.org.
28. C.A. Petri, Fundamentals of a theory of asynchronous information flow, in: Information Processing, vol. 62, IFIP, North-Holland, 1962, pp. 386-391.
29. W. Reisig, Petri Nets: An Introduction, EATCS Monographs on Theoretical Computer Science, Springer, Berlin, 1985.
30. R.H. Reussner, An enhanced model for component interfaces to support automatic and dynamic adaption, in: J. Hernández, A. Vallecillo, J.M. Troya (Eds.), New Issues in Object Interoperability, Proceedings of the ECOOP'2000 Workshop on Object Interoperability, Sophia Anthipolis, Universidad de Extremadura Dpto. Informática, June 12-16, 2000, pp. 33-42.
31. R.H. Reussner, Enhanced component interfaces to support dynamic adaption and extension, in: Proceedings of the 34th Hawaii International Conference on System Sciences, IEEE, January 3-5, 2001.
32. R.H. Reussner, Parametrisierte Verträge zur Protokolladaption bei Software-Komponenten, Logos Verlag, Berlin, 2001.
33. J. Rumbaugh, I. Jacobson, G. Booch, The Unified Modeling Language Reference Manual, Addison-Wesley, Reading, MA, 1999.
34. H.W. Schmidt, R.H. Reussner, Generating Adapters for Concurrent Component Protocol Synchronisation, in: Proceedings of the Fifth IFIP International Conference on Formal Methods for Open Object-Based Distributed Systems, March 2002.
35. Sunderam V.S., PVM: a framework for parallel distributed computing. Concurr. Pract. Experience. 2(4):1990;315-339.
36. C. Szyperski, Component Software: Beyond Object-Oriented Programming, ACM Press/Addison-Wesley, New York/Reading, MA, 1998.
37. A. Vallecillo, J. Hernández, J.M. Troya, Object interoperability, in: A. Moreira, S. Demeyer (Eds.), Proceedings of ECOOP'1999 Reader, No. 1743 in LNCS, Springer, Berlin, 1999, pp. 1-21.
38. A. Vallecillo, J. Hernández, J.M. Troya, Object interoperability, in: Proceedings of ECOOP'2000 Reader, No. 1964 in LNCS, Springer, Berlin, 2000, pp. 256-269.
39. W.M.P. van der Aalst, K.M. van Hee, R.A. van der Toorn, Component-based software architectures: a framework based on inheritance of behavior, BETA Working Paper Series WP 45, Eindhoven University of Technology, 2000.
40. B. Wydaeghe, Component composition based on composition patterns and usage scenarios, Dissertation, Department of Computer Science, Vrije Universiteit Brussel, Belgium, 2001.
41. Yellin D., Strom R., Protocol specifications and component adaptors. ACM Trans. Programm. Lang. Syst. 19(2):1997;292-333.
42. Zaremski A.M., Wing J.M., Specification matching of software components. ACM Trans. Software Eng. Methodol. 6(4):1997;333-369.