Component composition errors and update atomicity: Static analysis

Journal of Software Maintenance and Evolution

Volumn 17, Issue 5, 2005, Pages 363-377

  Adamek, J ^a   Plasil, F ^a,b,c  

^a CHARLES UNIVERSITY   (Czech Republic)

^b INSTITUTE OF COMPUTER SCIENCE   (Czech Republic)

^c IEEE

Author keywords

Behavior protocols; Dynamic update; Software components

Indexed keywords

COMPONENT COMPOSITION; DYNAMIC UPDATE; SOFTWARE COMPONENTS;

COMMUNICATION SYSTEMS; ERROR ANALYSIS; PROBLEM SOLVING;

COMPUTER SOFTWARE;

EID: 27644432551     PISSN: 1532060X     EISSN: None     Source Type: Journal    
DOI: 10.1002/smr.321     Document Type: Conference Paper

References (25)

1. Microsoft COM Technology. http://www.microsoft.com/com [5 July 2005].
2. Sun Enterprise Java Beans. http://java.sun.com/products/ejb [5 July 2005].
3. Hofmeister CR, Atlee J, Purtilo J. Writing distributed programs in Polylith. Technical Report No. CS-TR-2575, University of Maryland, November 1990.
4. Magee J, Dulay N, Eisenbach S, Kramer J. Specifying distributed software architectures. Proceedings of 5th European Software Engineering Conference. Springer: Berlin, 1995; 137-153.
5. Allen RJ, Garlan D. A formal basis for architectural connection. ACM Transactions on Software Engineering and Methodology 1997; 6(3):213-249.
6. OMG Corba Component Model Specification. http://www.omg.org/technology/ documents/formal/components.htm [5 July 2005].
7. Bruneton E, Coupaye T, Stefani JB. The fractal composition framework. Proposed Final Draft of Interface Specification Version 0.9, The ObjectWeb Consortium, June 2002.
8. Hofmeister C. Dynamic reconfiguration of distributed applications. PhD Thesis, University of Maryland, 1993.
9. Andersson J. A deployment system for pervasive computing. Proceedings International Conference on Software Maintenance. IEEE Computer Society Press: Los Alamitos CA, 2000; 262-270.
10. Malabarba S, Pandey R, Gragg J, Barr E, Barnes JF. Runtime support for type-safe dynamic Java classes. Proceedings of the European Conference on Object-oriented Programming. Springer: Berlin, 2000; 337-361.
11. Redmond B, Cahill V. Supporting unanticipated dynamic adaptation of application behaviour. Proceedings of the European Conference on Object-oriented Programming 2002. Springer: Berlin, 2002; 205-230.
12. Milner R. The polyadic pi-calculus: A tutorial. Logic and Algebra of Specification. Springer: Berlin, 1993; 203-246.
13. Roscoe AW. The Theory and Practice of Concurrency. Prentice-Hall: Englewood Cliffs NJ, 1998.
14. Giannakopoulou D, Kramer J, Cheung SC. Analysing the behaviour of distributed systems using TRACTA. Journal of Automated Software Engineering (Special Issue on Automated Analysis of Software) 1999; 6(1):7-35.
15. UML Resource Page. http://www.omg.org/technology/uml/index.htm [5 July 2005].
16. Leyman F. Web Services Flow Language (WSFL 1.0). IBM Software Group, May 2001.
17. Plasil F, Balek D, Janecek R. SOFA/DCUP architecture for component trading and dynamic updating. Proceedings International Conference on Configurable Distributed Systems 1998. IEEE Computer Society Press: Los Alamitos CA, 1998; 43-52.
18. SOFA project. http://nenya.ms.mff.cuni.cz/thegroup/SOFA/sofa.html [5 July 2005].
19. Kalibera T, Tuma P. Distributed component system based on architecture description: The SOFA experience. On the Move to Meaningful Internet Systems 2002 - DOA/CoopIS/ODBASE 2002. Springer: Berlin, 2003; 981-994.
20. Plasil F, Visnovsky S. Behavior protocols for software components. IEEE Transactions on Software Engineering 2002; 28(11):1056-1076.
21. Plasil F, Visnovsky S, Besta M. Bounding behavior via protocols. Proceedings TOOLS U.S.A. 1999. IEEE Computer Society Press: Los Alamitos CA. 1999: 387-398.
22. Vandewoude Y, Berbers Y. A meta-model driven methodology for state transfer in component-oriented systems. Proceedings of USE 2003, European Joint Conferences on Theory and Practice of Software. University of Warsaw: Warsaw, 2003; 3-8.
23. Visnovsky S. Modeling software components using behavior protocols. PhD Thesis, Department of Software Engineering, Faculty of Mathematics and Physics, Charles University, Prague, 2002.
24. Milner R. Communication and Concurrency. Prentice-Hall: Englewood Cliffs NJ, 1989.
25. Adamek J, Plasil F. Behavior protocols: Tolerating faulty architectures and supporting dynamic updates. Technical Report 02/10, Department of Computer Science, University of New Hampshire, 2002.