Generating adapters for concurrent component protocol synchronisation

IFIP Advances in Information and Communication Technology

Volumn 81, Issue , 2002, Pages 213-219

  Schmidt, Heinz W ^a   Reussner, Ralf H ^b  

^a MONASH UNIVERSITY   (Australia)

^b Distributed Syst Technology Center   (Australia)

Author keywords

Adapter generation; Component interfaces; Finite state machines; Interoperability

Indexed keywords

FINITE AUTOMATA; INTERFACE STATES; INTEROPERABILITY;

ADAPTER GENERATION; COMPONENT ADAPTATION; COMPONENT INTERFACES; COMPONENT PROTOCOLS; CONCURRENT SYSTEMS; INTERFACE MODEL; PROTOCOL INFORMATION;

FORMAL METHODS;

EID: 84891287629     PISSN: 18684238     EISSN: None     Source Type: Book Series    
DOI: 10.1007/978-0-387-35496-5_15     Document Type: Article

References (28)

1. Baiter, R., Bellisard, L., Boyer, R, Riveill, M., and Vian-Dury, J.-Y. (1998). Architecturing and configuring distributed applications with olan. In Proceedings of IFIP International Conference on Distributed Systems Platforms and Open Distributed Processing (Middleware), pages 15-18.
2. Bochmann, G. V., Cerny, E., Gagne, M., Jarda, C., Leveille, A., Lacaille, C, Maksud, M., Raghunathan, K. S., and Sarikaya, B. (1982). Experience with formal specifications using and extended state transition model. IEEE Trans. Communications, 30(12):2506-2511.
3. de Alfaro, L. and Henzinger, T. A. (2001). Interface automata. In Gruhn, V., editor, Proceedings of the Joint 8th European Software Engeneering Conference and 9th ACM SIGSOFT Symposium on the Foundation of Software Engeneering (ESEC/FSE-OI), volume 26, 5 of SOFTWARE ENGINEERING NOTES, pages 109-120, New York. ACM Press.
4. DCOM. Microsoft Corp., The DCOM homepage. http://www.microsoft.com/com/tech/DCOM.asp.
5. DeRemer, R and Kron, H. H. (1976). Programming-in-the-large versus programming-in-the-small. IEEE Transactions on Software Engineering, 2(2):80-86.
6. EJB. Sun Microsystems Corp., The Enterprise Java Beans homepage. http://java.sun.com/products/ejb/.
7. Frick, A., Zimmer, W., and Zimmermann, W. (1996). Konstruktion robuster und flexibler Klassenbibliotheken. Informatik, Forschung und Entwicklung, 11 (4): 168-178.
8. Frolund, S. and Koistinen, J. (1998). Quality-of-service specification in distributed object systems. Technical Report HPL-98-159, Hewlett Packard, Software Technology Laboratory.
9. Harel, D. (1987). Statecharts: a visuel approach to complex systems. Science of Computer Programming, 8(3):231-274.
10. Jazayeri, M., Ran, A., and van der Linden, F. (2000). Software Architecture for Product Families: Principles and Practice. Addison-Wesley, Reading, MA, USA.
11. Kleene, S. C. (1956). Representation of events in nerve nets and finite automata. In Shannon, C. and McCarthy, J., editors, Automata Studies, Annals of Math. Studies 34, pages 3^40. Princeton, New Jersey.
12. Kramer, B. (1998). Synchronization constraints in object interfaces. In: B. Kraemer, M. Pa-pazoglou, H. Schmidt (eds), Information Systems Interoperability, Research Studies Press, Singapore.
13. Kramer, B. and Schnmidt, H. W. (1987). Types and modules for net specifications. In Voss, K., Genrich, H. J., and Rozenberg, G., editors, Concurrency and Nets, pages 269-286. Springer-Verlag, Berlin.
14. Ling, S., Schmidt, H., and Fletcher, R. (1999). Constructing interoperable components in distributed systems. In IEEE Proceedings of TOOLS Pacific '99, Melbourne, pages 274-284. IEEE Computer Society Press.
15. Magee, J., Dulay, N., Eisenbach, S., and Kramer, J. (1995). Specifying distributed software architectures. Lecture Notes in Computer Science, 989:137-155.
16. Milner, R. (1980). A calculus of communicating systems, number 92 of Lecture Notes in Computer Science, Springer-Verlag, Berlin.
17. Nierstrasz, O. (1993). Regular types for active objects. In Proceedings of the 8th ACM Conference on Object-Oriented Programming Systems, Languages and Applications (OOPSLA-93), volume 28, 10 of ACM SIGPLAN Notices, pages 1-15.
18. M. Radestock, S. Eisenbach (1996). Formalizing System Structure, In Proc. Int. Workshop on Software Specification and Design, IEEE, pp. 95-104.
19. M. Radestock, S. Eisenbach (1996). Semantics of a Higher-Order Coordination Language, In Proc. Conf. Coordination Languages and Models, Springer-Verlag, Berlin.
20. Reussner, R. H. (2001). The use of parameterised contracts for architecting systems with software components. In Week, W., Bosch, J., and Szyperski, C, editors, Proceedings of the Sixth International Workshop on Component-Oriented Programming (W COP'01).
21. Rumbaugh, J., Jacobson, I., and Booch, G. (1999). The Unified Modeling Language Reference Manual. Addison-Wesley, Reading, MA, USA.
22. Schmidt, H. W. and Chen J. (1995). Reasoning About Concurrent Objects, In IEEE Proc. Asia-Pacific Software Engineering Conf. (APSEC '95), Brisbane, pp. 86-95, 1995.
23. Schmidt, H. W. (1998). Compatibility of interoperable objects, In: B. Kraemer, M. Papazoglou, H. Schmidt (eds), Information Systems Interoperability, Research Studies Press, Singapore.
24. Schmidt, H. W. and Reussner, R. H. (2000). Automatic Component Adaptation By Concurrent State Machine Retrofitting. Technical Report No. 2000/81 of the School of Computer Science and Software Engineering, Monash University, Melbourne.
25. Shaw, A. C. (1978). Software descriptions with flow expressions. IEEE Transactions on Software Engineering, 4(3):242-254.
26. Szyperski, C. (1998). Component Software: Beyond Object-Oriented Programming. ACM Press, Addison-Wesley, Reading, MA, USA.
27. Vallecillo, A., Hernandez, J., and Troya, J. (1999). Object interoperability. In Moreira, A. and Demeyer, S., editors, ECOOP '99 Reader, number 1743 in LNCS, pages 1-21. Springer-Verlag, Berlin.
28. Yellin, D. and Strom, R. (1997). Protocol Specifications and Component Adaptors. ACM Transactions on Programming Languages and Systems, 19(2):292-333.