Software architecture for correct components assembly

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

Volumn 2804, Issue , 2003, Pages 92-121

  Inverardi, Paola ^a   Tivoli, Massimo ^a  

^a UNIVERSITY OF L'AQUILA   (Italy)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER SOFTWARE REUSABILITY; FORMAL METHODS;

ARCHITECTURAL MISMATCHES; AUTOMATIC ASSEMBLY; COMMERCIAL OFF THE SHELVES; COMPONENT ASSEMBLING; DYNAMIC INTERACTION; INTERACTION BEHAVIOR; REUSABLE SOFTWARE COMPONENTS; SOFTWARE COMPONENT;

SOFTWARE ARCHITECTURE;

EID: 34548773547     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-39800-4_6     Document Type: Article

References (29)

1. Itu telecommunication standardisation sector, itu-t reccomendation z.120. message sequence charts, (msc'96). Geneva 1996.
2. R. Allen and D. Garlan. A formal basis for architectural connection. ACM Transactions On Software Engineering and Methodology, Vol. 6, No. 3, pp. 213-249, 6(3):213-249, July 1997.
3. S. Balemi, G. J. Hoffmann, P. Gyugyi, H. Wong-Toi, and G. F. Franklin. Supervisory control of a rapid thermal multiprocessor. IEEE Transactions on Automatic Control, 38(7):1040-1059, July 1993.
4. B. A. Brandin and W. M. Wonham. Supervisory control of timed discrete-event systems. IEEE Transactions on Automatic Control, 39(2), February 1994.
5. L. de Alfaro and T. Heinzinger. Interface automata. In ACM Proc. of the joint 8th ESEC and 9th FSE, ACM Press, Sep 2001.
6. L. de Alfaro and T. Heinzinger. Interface theories for component-based design. In In Proc. of EMSOFT'01: Embedded Software, LNCS 2211, pp. 148-165. Springer-Verlang, 2001.
7. O. G. Edmund M. Clarke, Jr. and D. A. Peled. Model Checking. The MIT Press, Cambridge, Massachusetts, London, England, 2001.
8. C. A. Ellis and S. J. Gibbs. Concurrency control in groupware systems. In Proceedings of the 1989 ACM SIGMOD international conference on Management of data, pages 399-407, 1989.
9. D. Garlan, R. Allen, and J. Ockerbloom. Architectural mismatch: Why reuse is so hard. IEEE Software, 12(6), November, 1995.
10. D. Garlan and D. E. Perry. Introduction to the Special Issue on Software Architecture, Vol. 21. Num. 4. pp. 269-274, April 1995.
11. D. Giannakopoulou, J. Kramer, and S. Cheung. Behaviour analysis of distributed systems using the tracta approach. Journal of Automated Software Engineering, special issue on Automated Analysis of Software, 6(1):7-35, January 1999.
12. D. Giannakopoulou, C. S. Pasareanu, and H. Barringer. Assumption generation for software component verification. Proc. 17th IEEE Int. Conf. Automated Software Engineering 2002, September 2002.
13. P. Inverardi and M. Tivoli. Failure-free connector synthesis for correct components assembly. Specification and Verification of Component-Based Systems (SAVCBS'03) - Workshop at ESEC/FSE 2003. September 1-2, 2003. Helsinki, Finland.
14. P. Inverardi and M. Tivoli. Automatic synthesis of deadlock free connectors for com/dcom applications. In ACM Proceedings of the joint 8th ESEC and 9th FSE, ACM Press, Vienna, Sep 2001.
15. P. Inverardi and M. Tivoli. Connectors synthesis for failures-free component based architectures. Technical Report, University of L'Aquila, Department of Computer Science, http://sahara.di.univaq.it/tech.php?id.tech=7 or http://www.di.univaq.it/~tivoli/ffsynthesis.pdf, ITALY, January 2003.
16. P. Inverardi, M. Tivoli, and A. Bucchiarone. Automatic synthesis of coordinators of cots group-ware applications: an example. In International Workshop on Distributed and Mobile Collaboration (DMC 2003). To be published by the IEEE Computer Society Press in the post-proceedings of the 12th IEEE International Workshops on Enabling Technologies: Infrastructure for Collaborative Enterprises (WETICE 2003), 9-11 June, Linz, Austria 2003.
17. P. Inverardi, M. Tivoli, and A. Bucchiarone. Coordinators synthesis for cots group-ware systems: an example. Technical Report, University of L'Aquila, Department of Computer Science, http://www.di.univaq.it/tivoli/cscw-techrep.pdf, ITALY, March 2003.
18. P. Inverardi, M. Tivoli, and A. Bucchiarone. Failures-free connector synthesis for correct components assembly. Technical Report, University of L'Aquila, Department of Computer Science, http://www.di.univaq.it/tivoli/ffs.techrep.pdf, ITALY, March 2003.
19. M. Koch. Design issues and model for a distributed multi-user editor. Computer Supported Cooperative Work, International Journal, 5(1), 1996.
20. M. Koch and J. Kock. Using component technology for group editors - the iris group editor environment. In In Proc. Workshop on Object Oriented Groupware Platforms, pages 44-49, Sep 1997.
21. B. G. Lee, K. H. Chang, and N. H. Narayanan. A model for semi-(a)synchronous collaborative editing. In Proceedings of the Third European Conference on Computer Supported Cooperative Work, ECSCW 93, pages 219-231, September 1993.
22. N. Medvidovic, P. Oreizy, and R. N. Taylor. Reuse of off-the-shelf components in c2-style architectures. In In Proceedings of the 1997 Symposium on Software Reusability and Proceedings of the 1997 International Conference on Software Engineering, May 1997.
23. R. Milner. Communication and Concurrency. Prentice Hall, New York, 1989.
24. R. D. Nicola and F. Vaandrager. Three logics for branching bisimulation. Journal of the ACM, 42(2):458-487, 1995.
25. P. Inverardi and M.Tivoli. Automatic failures-free connector synthesis: An example. Technical Report, published on the Monterey 2002 Workshop Proceedings: Radical Innovations of Software and Systems Engineering in the Future, Universita' Ca' Foscari di Venezia, Dip. di Informatica, Technical Report CS-2002-10, September 2002.
26. C. Szyperski. Component Software. Beyond Object Oriented Programming. Addison Wesley, Harlow, England, 1998.
27. D. Taubner. Finite representations of ces and tcsp programs by automata and petri nets. LNCS 369, 1989.
28. E. Tronci. Automatic synthesis of controllers from formal specifications. Proc. of 2nd IEEE Int. Conf., on Formal Engineering Methods, December 1998.
29. S. Uchitel, J. Kramer, and J. Magee. Detecting implied scenarios in message sequence chart specifications. In ACM Proceedings of the joint 8th ESEC and 9th FSE, Vienna, Sep 2001.