SYNTHESIS: A tool for automatically assembling correct and distributed component-based systems

Proceedings - International Conference on Software Engineering

Volumn , Issue , 2007, Pages 784-787

  Autili, Marco ^a   Inverardi, Paola ^a   Navarra, Alfredo ^a   Tivoli, Massimo ^a  

^a UNIVERSITY OF L'AQUILA   (Italy)

Author keywords

[No Author keywords available]

Indexed keywords

AUTOMATION; COMPUTER SYSTEM RECOVERY; DISTRIBUTED COMPUTER SYSTEMS; JAVA PROGRAMMING LANGUAGE;

COMPONENT INTERACTIONS; COMPONENT-BASED SYSTEMS;

SOFTWARE ENGINEERING;

EID: 34548764370     PISSN: 02705257     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/ICSE.2007.84     Document Type: Conference Paper

References (15)

1. M. Autili, M. Flammini, P. Inverardi, A. Navarra, and M. Tivoli. Synthesis of concurrent and distributed adaptors for component-based systems. In European Workshop on Software Architecture, volume LNCS 4344. 2006.
2. M. Autili, P. Inverardi, M. Tivoli, and D. Garlan. Synthesis of correct adaptors for protocol enhancement in component based systems. In Specification and Verification of Component-Based Systems (SAVCBS2004).
3. A. Brogi, C. Canal, and E. Pimentel. Behavioural types and component adaptation. 10th International Conference on Algebraic Methodology And Software Technology (AMAST2004).
4. C. Canal, P. Poizat, and G. Salaün. Synchronizing Behavioural Mismatch in Software Composition. In International Conference on Formal Methods for Open Object-Based Distributed Systems, volume LNCS 4037. 2006.
5. I. Crnkovic and M. Larsson. Building reliable component-based Software Systems. Artech House, 2002.
6. P. Inverardi, H. Muccini, and P. Pelliccione. CHARMY: An Extensible Tool for Architectural Analysis. In 5th ESEC/FSE - Research Tool Demos, 2005.
7. P. Inverardi and M. Tivoli. Deadlock-free software architectures for com/dcom applications. Elsevier Journal of Systems and Software, 65(3)(7346):173-183, 2003.
8. P. Inverardi and M. Tivoli. Software Architecture for Correct Components Assembly, volume LNCS 2804. 2003.
9. P. Inverardi, M. Tivoli, and A. Bucchiarone. Automatic synthesis of coordinators of COTS group-ware applications: an example. In 12th IEEE International Workshops on Enabling Technologies (WETICE2003).
10. R. Passerone, L. de Alfaro, T. Henzinger, and A. L. Sangiovanni- Vincentelli. Convertibility Verification and Converter Synthesis: Two Faces of the Same Coin. In International conference on computer-aided design (ICCAD'02).
11. C. Szyperski. Component Software: Beyond Object-Oriented Programming. Addison-Wesley, 2004.
12. M. Tivoli and M. Autili. SYNTHESIS: a tool for synthesizing correct and protocol-enhanced adaptors. RSTI L'Objet journal, 12(1):77-103, 2006.
13. M. Tivoli, P. Inverardi, V. Presutti, A. Forghieri, and M. Sebastianis. Correct components assembly for a Product Data Management cooperative system, volume LNCS 3054, 2004.
14. S. Uchitel, J. Kramer, and J. Magee. Detecting implied scenarios in message sequence chart specifications. In 1st ESEC/FSE, 2001.
15. D. Yellin and R. Strom. Protocol specifications and component adaptors. ACM Trans. on Programming Languages and Systems, 19(2):292-333, 1997.