Behavior protocols for software components

IEEE Transactions on Software Engineering

Volumn 28, Issue 11, 2002, Pages 1056-1076

  Plasil, Frantisek ^a   Visnovsky, Stanislav ^a  

^a CHARLES UNIVERSITY   (Czech Republic)

Author keywords

Behavior protocols; Component based programming; Software architecture

Indexed keywords

COMPUTER ARCHITECTURE; COMPUTER PROGRAMMING LANGUAGES; COMPUTER SOFTWARE; INTERFACES (COMPUTER);

BEHAVIOR PROTOCOLS;

NETWORK PROTOCOLS;

EID: 0036859290     PISSN: 00985589     EISSN: None     Source Type: Journal    
DOI: 10.1109/TSE.2002.1049404     Document Type: Article

References (33)

1. R.J. Allen, "A Formal Approach to Software Architecture," doctoral dissertation, School of Computer Science, Carnegie Mellon Univ., Pittsburgh, 1997.
2. R.J. Allen and D. Garlan, "A Formal Basis For Architectural Connection," ACM Trans. Software Eng. and Methodology, July 1997.
3. J. van den Bos and C. Laffra, "PROCOL: A Concurrent Object-Oriented Language with Protocols Delegation and Constraints," Acta Informatica, pp. 511-538, 1991.
4. M. Broy, "A Logical Basis for Modular Software and System Engineering," Proc. 26th Int'l Seminar Current Trends in Theory and Practice of Informatics, (SOFSEM '99), Nov. 1998.
5. R.H. Campbell and A.N. Habermann, "The Specification of Process Synchronization by Path Expressions," pp. 89-102, 1974.
6. C. Canal, E. Pimentel, and J.M. Troya, "Compatibility and Inheritance in Software Architectures," Science of Computer Programming, vol. 41, pp 105-138, 2001.
7. G. Florijn, "Object Protocols as Functional Parsers," Proc. European Conf. Object-Oriented Programming (ECOOP '95), 1995.
8. D. Giannakopoulou, "Model Checking for Concurrent Software Architectures," doctoral dissertation, Imperial College, Univ. of London, Jan. 1999.
9. D. Giannakopoulou, J. Kramer, and S.C. Cheung, "Analysing the Behaviour of Distributed Systems using Tracta," J. Automated Software Eng., vol. 6, no. 1, Jan. 1999.
10. R.J. van Glabbeek, "Linear Time-Branching Time Spectrum," Proc. CONCUR '90: Theories of Concurrency: Unification and Extension, pp. 278-297, 1990.
11. Formal Models and Semantics, Handbook of Theoretical CS. J. van Leeuwen ed., MIT Press, 1990.
12. D.C. Luckham, J.J. Kenney, L.M. Augustin, J. Vera, D. Bryan, and W. Mann, "Specification and Analysis of System Architecture Using Rapide," IEEE Trans. Software Eng., vol. 21, no. 4, Apr. 1995.
13. N. Medvedovic and R.N. Taylor, "A Classification and Comparison Framework for Software Architecture Description Languages," Technical Report UCI-ICS-97-02, Dept. of Information and Computer Science, Univ. of California, Irvine, Feb. 1997.
14. R. Milner, A Calculus of Communicating Systems. Springer, 1980.
15. O. Nierstrasz, "Regular Types for Active Objects," Proc. 11th Ann. ACM Conf. Object-Oriented Programming Systems, Languages, and Applications (OOPSLA '93), 1993.
16. O. Nierstrasz and T.D. Meijler, "Requirements for a Composition Language," Proc. European Conf. Object-Oriented Programming (ECOOP '94), pp. 147-161, 1995.
17. CORBA/IIOP Specification.Revision 2.4.2, OMG 01-02-01, 2001.
18. F. Plasil, D. Balek, and R. Janecek, "SOFA/DCUP Architecture for Component Trading and Dynamic Updating," Proc. Fourth Int'l Conf. Configurable Distributed Systems, (ICCDS '98), pp. 43-52, 1998.
19. F. Plasil and D. Mikusik, "Inheriting Synchronization Protocols via Sound Enrichment Rules," Proc. Joint Modular Programming Languages Conf., Mar. 1997.
20. F. Plasil, S. Visnovsky, and M. Besta, "Bounding Behavior via Protocols," Proc. TOOLS USA '99, 1999.
21. F. Plasil, S. Visnovsky, and M. Besta, "Behavior Protocols," Technical Report 2000/7, Dept. of Software Eng., Charles Univ., Prague, Oct. 2000.
22. R. Reussner, "Enhanced Component Interfaces to Support Dynamic Adaption and Extension," Proc. Hawaii Int'l Conf. System Sciences (HICSS-34), Jan. 2001.
23. A.W. Roscoe, The Theory and Practice of Concurrency. Prentice Hall, 1998.
24. B. Selic, "Protocols and Ports: Reusable Inter-Object Behavior Patterns," ObjecTime Limited, 1998.
25. SOFA project, http://nenya.ms.mff.cuni.cz/thegroup/SOFA/sofa.html, 2000.
26. P. Steyaert et al., "Reuse Contracts: Managing the Evolution of Reusable Assets," Proc. 14th Ann. ACM Conf. Object-Oriented Programming Systems, Languages, and Applications (OOPSLA '96), pp. 268-285, Oct. 1996.
27. C. Szyperski, Component Software, Beyond Object-Oriented Programming. Addison-Wesley, 1997.
28. D.M. Yellin and R.E. Strom, "Protocol Specifications and Component Adaptors," ACM Trans. Programming Languages and Systems, vol 19, no. 2, pp 292-333, Mar. 1997.
29. H.E. Eriksson and M. Penker, UML Toolkit. John Wiley & Sons, 1998.
30. J.E. Hopcroft and J.D. Ullman, Introduction to Automata Theory, Languages, and Computation. Addison, 1979.
31. L. de Alfaro and T.A. Henziger, "Interface Automata," Proc. Joint Eighth European Software Eng. Conf. and Ninth ACM SIGSOFT Symp. Foundations of Software Eng. (ESEC/FSE '01), 2001.
32. A. Vallecillo and J. Hernandez, "Object Interoperability," Proc. European Conf. Object-Oriented Programming (ECOOP '00), 2000.
33. H.W. Schmidt and R.H. Reussner, "Generating Adapters for Concurrent Component Protocol Synchronization," Proc. Fifth Int'l Federation for Information Processing Conf., Mar. 2002.