Automating the building of software component architectures

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 4344, Issue , 2006, Pages 228-235

  Desnos, Nicolas ^a   Vauttier, Sylvain ^a   Urtado, Christelle ^a   Huchard, Marianne ^b  

^a ECOLE DES MINES D ALÈS   (France)

^b LIRMM   (France)

Author keywords

[No Author keywords available]

Indexed keywords

BUILDING PROCESS; COMBINATORIAL COMPLEXITY; COMPOSITE PORTS; DESIGN TIME; FRACTAL COMPONENT MODELS; OPTIMIZATION HEURISTICS; RUNTIMES; SOFTWARE COMPONENT;

SOFTWARE ARCHITECTURE;

EID: 84947706165     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/11966104_18     Document Type: Conference Paper

References (17)

1. Crnkovic, I.: Component-based software engineering-new challenges in software development. Software Focus (2001)
2. Garlan, D.: Software Architecture: a Roadmap. In: The Future of Software Engineering. ACM Press (2000) 91-101
3. Brown, A.W., Wallnau, K.C.: The current state of CBSE. IEEE Software 15(5) (1998) 37-46
4. OMG: Unified modeling language: Superstructure, version 2.0 (2002) http://www.omg.org/uml/.
5. OMG: Corba components, version 3.0, http://www.omg.org/docs/formal/02-06-65.pdf(2002)
6. Traverson, B.: Abstract model of contract-based component assembly (2003) ACCORD RNTL project number 4 deliverable (in french).
7. Bruneton, E., Coupaye, T., Stefani, J.: Fractal specification-v 2.0.3 (2004) http://fractal.objectweb.org/specification/index.html.
8. Plásil, F., Balek, D., Janecek, R.: SOFA/DCUP: Architecture for component trading and dynamic updating. In: Proceedings of the Int. Conf. on Configurable Distributed Systems, Washington, DC, USA, IEEE Computer Society (1998) 43-52
9. Plásil, F., Visnovsky, S.: Behavior protocols for software components. IEEE Trans. Softw. Eng. 28(11) (2002) 1056-1076
10. Hacklinger, F.: Java/A-Taking Components into Java. In: IASSE. (2004) 163-168
11. Farías, A., Sudholt, M.: On components with explicit protocols satisfying a notion of correctness by construction. In Meersman, R., Tari, Z., et al., eds.: On the Move to Meaningful Internet Systems: Int. Conf. CoopIS, DOA, and ODBASE Proc. Volume 2519 of LNCS., Springer (2002) 995-1012
12. de Boer, F.S., Jacob, J.F., Bonsangue, M.M.: The OMEGA component model. Deliverable of the IST-2001-33522 OMEGA project (2002)
13. Inverardi, P., Wolf, A.L., Yankelevich, D.: Static checking of system behaviors using derived component assumptions. ACM Trans. Softw. Eng. Methodol. 9(3) (2000) 239-272
14. Aldrich, J., Chambers, C., Notkin, D.: Archjava: connecting software architecture to implementation. In: Proceedings of ICSE, Orlando, Florida, USA, ACM Press (2002) 187-197
15. Dijkman, R.M., Almeida, J.P.A., Quartel, D.A.: Verifying the correctness of component-based applications that support business processes. In Crnkovic, I., Schmidt, H., Stafford, J., Wallnau, K., eds.: Proc. of the 6th Workshop on CBSE: Automated Reasoning and Prediction, Portland, Oregon, USA (2003) 43-48
16. Inverardi, P., Tivoli, M.: Software Architecture for Correct Components Assembly. In: Formal Methods for the Design of Computer, Communication and Software Systems: Software Architecture. Volume 2804 of LNCS. Springer (2003) 92-121
17. Cechich, A., Piattini, M., Vallecillo, A., eds.: Component-Based Software Quality: Methods and Techniques. Volume 2693 of LNCS. Springer (2003)