Partial bindings of components - Any harm?

Proceedings - Asia-Pacific Software Engineering Conference, APSEC

Volumn , Issue , 2004, Pages 632-639

  Adamek, Jiri ^a   Plasil, Frantisek ^a,b  

^a CHARLES UNIVERSITY   (Czech Republic)

^b INSTITUTE OF COMPUTER SCIENCE   (Czech Republic)

Author keywords

[No Author keywords available]

Indexed keywords

COMPONENT BASED DISTRIBUTED APPLICATIONS; COMPONENT MODELS; SOFTWARE ARCHITECTURES; VERIFICATION TOOLS;

CODES (SYMBOLS); COMPUTER PROGRAMMING LANGUAGES; COMPUTER SOFTWARE REUSABILITY; DISTRIBUTED COMPUTER SYSTEMS; INTERFACES (COMPUTER); NETWORK PROTOCOLS;

SOFTWARE ENGINEERING;

EID: 18944391678     PISSN: 15301362     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/APSEC.2004.70     Document Type: Conference Paper

References (27)

1. Adamek, J., Plasil, F., "Component Composition Errors and Update Atomicity: Static Analysis", accepted for publication in the Journal of Software Maintenance and Evolution: Research and Practice, 2004 (also http://nenya.ms.mff.cuni.cz)
2. Adamek, J., Plasil, F., "Static Checking for Missing Bindings of Components", Tech. Report No. 2004/3, Department of Software Engineering, Charles University, Prague, March 2004, http://nenya.ms.mff.cuni.cz
3. Adamek, J., "Static Analysis of Component Systems Using Behavior Protocols", OOPSLA 2003 Companion, Anaheim, CA, USA, Oct 2003
4. Alfaro, L., Henzinger, T. A., "Interface Automata", Proceedings of the Ninth Annual Symposium on Foundations of Software Engineering (FSE), ACM Press, 2001, pp. 109-120
5. Allen R. J, Garlan D, "A Formal Basis For Architectural Connection", ACM Transactions on Software Engineering and Methodology, Jul. 1997.
6. Barnett, M. et. al., "Serious Specification for Composing components", proceedings of the 6-th ICSE Workshop on Component-Based Software Engineering, Portland, OR, USA. Carnegie-Mellon and Monash University, 2003, http://www.csse.monash.edu.au/~hws/cgi-bin/CBSE6/Proc eedings/proceedings. cgi
7. E. Bruneton, T. Coupaye, and J.B. Stefani, "Recursive and Dynamic Software Composition with Sharing", Seventh International Workshop on Component-Oriented Programming (WCOP02), at ECOOP 2002, Malaga, Spain
8. Chatley, R., Eisenbach, S., Magee, J., "Modeling a Framework for Plugins", Proceedings of the SAVCBS 2003 Workshop, Helsinki, Finland (http://www.cs.iastate.edu/SAVCBS/)
9. "Deployment and configuration of Component-based distributed Applications Specification", OMG Adopted specification, ptc/03-07-08, July 2003
10. DePrince, W. Jr., Hofmeister, C., "Usage Policies for Components", Proceedings of the 6-th ICSE Workshop on Component-Based Sfotware Engineering, Portland, OR, USA. Carnegie-Mellon and Monash University, 2003
11. Giannakopoulou, D., Kramer, J., Cheung, S.C., "Analysing the Behaviour of Distributed Systems using Tracta", Journal of Automated Software Engineering, special issue on Automated Analysis of Software, vol. 6(1), pp. 7-35, January 1999.
12. Giannakopoulou, D., Pasareanu, C. S., Barringer, H., "Assumption Generation for Software Component Verification", in Proceedings of the 17th IEEE International Conference on Automated Software Engineering, 2002
13. Hopcroft, J.E., Motwani R., Ullman J.D., Rotwani, Introduction to Automata Theory, Languages, and Computation, Addison-Wesley, 2000
14. The Kilim project (http://kilim.objectweb.org/)
15. Mach, M., Plasil, F., "Addressing State Explosion in Behavior Protocol Verification", Proceedings of SNPD'04, Beijing, China, Jun 2004
16. Magee, J., Dulay, N., Eisenbach, S., Kramer, J., "Specifying Distributed Software Architectures", Proceedings of the 5th European SW Eng. Conference, Barcelona, Spain, 1995.
17. Milner, R., A Calculus of Communicating Systems, LNCS 92, Springer-Verlag.
18. OMG Corba Component Model (http://www.omg.org/technology/documents/ formal/components.htm)
19. Plasil, F., Visnovsky, S., "Behavior Protocols for Software Components", IEEE Transactions on Software Engineering, vol. 28, no. 11, Nov 2002
20. Plasil, F.,Visnovsky, S., Besta, M., "Behavior Protocols", Tech. Report 2000/7, Department of Software Engineering, Charles University, Prague, Oct. 2000, http://nenya.ms.mff.cuni.cz
21. Reussner, R.H., Poernomo, I.H., Schmidt, H.W., "Reasoning about Software Architectures with Contractually Specified Components", Component-Based Software Quality: Methods and Techniques, LNCS 2693, Springer 2003
22. Reussner, R.H., "Counter-constraint finite state machines: a new model of resource-bounded component protocols", in: Grosky, W., Plasil, F. (Eds.): Proceedings of SOFSEM, LNCS 2540, Springer, 2002
23. Roscoe A. W., The Theory and Practice of Concurrency, Prentice-Hall, 1998.
24. The SOFA project, http://sofa.forge.objectweb.org/
25. Stafford, J.A., Wolf, A.L., "Architecture-level Dependence Analysis for Software Systems", Int. Journal of SW Eng. and Knowledge Engineering, 2000
26. The OSMOSE project, http://www.itea-osmose.org/
27. Wallnau, K.C., "A Technology for Predictable Assembly from Certifiable Components", CMU/SEI-2003-TR-009