Synthesis of concurrent and distributed adaptors for component-based systems

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

Volumn 4344, Issue , 2006, Pages 17-32

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

^a UNIVERSITY OF L'AQUILA   (Italy)

Author keywords

[No Author keywords available]

Indexed keywords

SPECIFICATIONS;

BEHAVIORAL MODEL; BLACK-BOX COMPONENTS; COMPONENT BASED SYSTEMS; DEADLOCK FREE; DISTRIBUTED ENVIRONMENTS; DISTRIBUTED SYSTEMS; INTERACTION BEHAVIOR; THIRD PARTIES;

SOFTWARE ARCHITECTURE;

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

References (9)

1. Szyperski, C.: Component Software: Beyond Object-Oriented Programming. Addison-Wesley (2004)
2. M. Tivoli, M. Autili: Synthesis: a tool for synthesizing “correct” and protocolenhanced adaptors. RSTI L’Objet journal 12 (2006) 77-103
3. Milner, R.: Communication and Concurrency. Prentice Hall, New York (1989)
4. Ben-Ari, M.: Principles of concurrent and distributed programming. Prentice Hall (1990)
5. Lamport, L.: Time, clocks, and the ordering of events in a distributed system. Commun. ACM 21(7) (1978) 558-565
6. P. Inverardi, L. Mostarda, M. Tivoli, M. Autili: Synthesis of correct and distributed adaptors for component-based systems: an automatic approach. In: Proc. of 20th IEEE/ACM International Conference on Automated Software Engineering (ASE)-Long Beach, CA, USA. (2005)
7. Passerone, R., de Alfaro, L., Heinzinger, T., Sangiovanni-Vincentelli, A.L.: Convertibility verification and converter synthesis: Two faces of the same coin. In: Proc. of International Conference on Computer Aided Design (ICCAD)-San Jose, CA, USA. (2002)
8. Yellin, D., Strom, R.: Protocol specifications and component adaptors. ACM Trans. on Programming Languages and Systems 19(2) (1997) 292-333
9. Sen, K., Vardhan, A., Agha, G., Rosu, G.: Efficient decentralized monitoring of safety in distributed systems. In: Proc. of International Conference on Software Engineering (ICSE)-Edinburgh-UK. (2004).