Erroneous architecture is a relative concept

Proceedings of the Eigtht IASTED International Conference on Software Engineering and Applications

Volumn , Issue , 2004, Pages 715-720

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

^a CHARLES UNIVERSITY   (Czech Republic)

^b INSTITUTE OF COMPUTER SCIENCE   (Czech Republic)

Author keywords

Component behavior; Faulty software architecture; Framework

Indexed keywords

COMPONENT BEHAVIOR; ERRONEOUS ARCHITECTURE; FAULTY SOFTWARE ARCHITECTURE; FRAMEWORK;

ABSTRACTING; COMPUTER SIMULATION; INTERFACES (COMPUTER); JAVA PROGRAMMING LANGUAGE; KNOWLEDGE ACQUISITION; PARAMETER ESTIMATION;

SOFTWARE ENGINEERING;

EID: 11144238914     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (18)

1. Sun Enterprise Java Beans, http://java.sun.com/products/ejb
2. Microsoft COM Technology, http://www.microsoft.com/com
3. E. Bruneton, T. Coupaye, J.B. Stefani, Recursive and Dynamic Software Composition with Sharing, Proc. of Seventh International Workshop on Component-Oriented Programming (WCOP02), at ECOOP 2002, Malaga, Spain
4. OMG Corba Component Model Speci.cation, http://www.omg,org/technology/ documents/formal/components.htm
5. The SOFA project, http://sofa.forge.objectweb.org/
6. J. Magee, N. Dulay, S. Eisenbach, J. Kramer, Specifying Distributed Software Architectures, 5th European Software Engineering Conference, Barcelona, Spain, 1995.
7. F. Plasil, S. Visnovsky, Behavior Protocols for Software Components, IEEE Transactions on Software Engineering, 25(11), 2002
8. J. Adamek, F. Plasil, Component Composition Errors and Update Atomicity: Static Analysis, Accepted for publication in the Journal of Software Maintenance and Evolution: Research and Practice, 2004 (also preliminary version available at http://nenya.ms.mff.cuni.cz)
9. J. Adamek, Static Analysis of Component Systems Using Behavior Protocols, OOPSLA 2003 Companion, Anaheim, CA, USA, 2003
10. R. Milner, A Calculus of Communicating Systems (LNCS, Springer-Verlag., 1992)
11. J. Adamek, F. Plasil, Static Checking for Missing Bindings of Components, Tech. Report No. 2004/3, Dep. of SW Engineering, Charles University, Prague, Mar 2004, http://nenya.ms.mff.cuni.cz
12. D. Giannakopoulou, C. S. Pasareanu, H. Barringer, Assumption Generation for Software Component Verification, Proceedings of the 17th IEEE International Conference on Automated Software Engineering, 2002
13. L. Alfaro, T. A. Henzinger, Interface Automata, Proceedings of the Ninth Annual Symposium on Foundations of Software Engineering (FSE), ACM Press, 2001, pp. 109-120
14. W. DePrince Jr., C. Hofmeister, Enforcing a lips Usage Policy for CORBA components, Porceedings of EUROMICRO'03, IEEE CS Press, 2003
15. M. Barnett and all, 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/Proceedings/proceedings.cgi
16. R. Chatley, S. Eisenbach, J. Magee, Modeling a Framework for Plugins, Proceedings of the SAVCBS 2003 Workshop, Helsinki, Finland (http://www.cs. iastate.edu/SAVCBS/)
17. K. C. Wallnau, Volume III: A Technology for Predictable Assembly from Certifiable Components, CMU/SEI-2003-TR-009
18. A. W. Roscoe, The Theory and Practice of Concurrency (Prentice-Hall, 1998)