Synthesis of decentralized and concurrent adaptors for correctly assembling distributed component-based systems

Journal of Systems and Software

Volumn 81, Issue 12, 2008, Pages 2210-2236

  Autili, Marco ^a   Mostarda, Leonardo ^c   Navarra, Alfredo ^b   Tivoli, Massimo ^a  

^a UNIVERSITY OF L'AQUILA   (Italy)

^b UNIVERSITY OF PERUGIA   (Italy)

^c IMPERIAL COLLEGE LONDON   (United Kingdom)

Author keywords

Component adaptation; Component assembly; Component based software engineering; Software architecture

Indexed keywords

SPECIFICATIONS;

COMPONENT ADAPTATION; COMPONENT ASSEMBLY; COMPONENT-BASED SOFTWARE ENGINEERING; SOFTWARE ARCHITECTURE;

FLOW INTERACTIONS;

EID: 44249100506     PISSN: 01641212     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.jss.2008.04.006     Document Type: Article

References (41)

1. Arbab, F., 2002. A channel-based coordination model for component composition. Technical Report SEN-R0203, Centrum voor Wiskunde en Informatica, Kruislaan 413, 1098 SJ Amsterdam, The Netherlands, February.
2. Arbab F. Reo: a channel-based coordination model for component composition. Mathematical Structures in Computer Science 14 3 (2003) 1-38
3. Arbab, F., 2005. Composition by Interaction. Inaugural Lecture, Leiden University, October.
4. Arbab F. Abstract behavior types: a foundation model for components and their composition. Science of Computer Programming 55 (2005) 3-52
5. Arbab F. A behavioral model for composition of software components. RSTI - L'objet, Coordination and Adaptation Techniques 12 1 (2006) 33-76
6. Arbab F., Baier C., Sirjani M., and Rutten J.J.M.M. Modeling component connectors in reo by constraint automata. Science of Computer Programming 61 2 (2006) 75-113
7. Autili, M., Inverardi, P., Tivoli, M., Garlan, D., 2004. Synthesis of 'correct' adaptors for protocol enhancement in component-based systems. In: Proceedings of SAVCBS'04 at FSE, pp. 79-86.
8. Autili, M., Flammini, M., Inverardi, P., Navarra A., Tivoli, M., 2006. Synthesis of concurrent and distributed adaptors for component-based systems. In: Proceedings of the European Workshop on Software Architecture (EWSA). LNCS, vol. 4344, Springer-Verlag, Berlin/Heidelberg. pp. 17-32.
9. Autili, M., Inverardi, P., Navarra, A., Tivoli, M., 2007. SYNTHESIS: a tool for automatically assembling correct and distributed component-based systems. In: Proceedings of the 29th International Conference on Software Engineering (ICSE'07), Minneapolis, MN, USA, pp. 784-787.
10. Becker, S., Overhage, S., Reussner, R., 2004. Classifying software component interoperability errors to support component adaption. In: Crnkovic, I., Stafford, J.A., Schmidt, H.W., Wallnau, K.C. (Eds.), Component-based Software Engineering, Proceedings of the 7th International Symposium, CBSE 2004, Edinburgh, UK, May 24-25, Lecture Notes in Computer Science, vol. 3054, Springer, pp. 68-83.
11. Becker, S., Brogi, A., Gorton, I., Overhage, S. Romanovsky, A., Tivoli, M. 2006., Towards an engineering approach to component adaptation. Chapter in Dagstuhl Seminar 04511: Architecting Systems with Trustworthy Components. LNCS, vol. 3938, Springer-Verlang, Berlin/Heidelberg. pp. 193-215.
12. Ben-Ari M. Principles of Concurrent and Distributed Programming (1990), Prentice Hall
13. Brand D., and Zafiropulo P. On communicating finite-state machines. Journal of the ACM 30 2 (1983)
14. Brandin B.A., and Wonham W.M. Supervisory control of timed discrete-event systems. IEEE Transactions on Automatic Control 39 2 (1994)
15. Brogi, A., Canal, C., Pimentel, E., 2004. Behavioral types and component adaptation. In: Proceedings of the 10th International Conference on Algebraic Methodology And Software Technology (AMAST2004).
16. Canal, C., Poizat, P., Salaün, G., 2006. Synchronizing behavioral mismatch in software composition. In: Proceedings of the International Conference on Formal Methods for Open Object-based Distributed Systems. LNCS, vol. 4037.
17. Compare D., Inverardi P., and Wolf A.L. Uncovering architectural mismatch in component behavior. Science of Computer Programming 33 (1999) 101-131
18. Crnkovic I., and Larsson M. Building Reliable Component-based Software Systems (2002), Artech House Boston, London
19. European Commission 6th Framework Program - 2nd Call Galileo Joint Undertaking: Cultural Heritage Space Identification System (CUSPIS). .
20. Hopcroft J., and Ullman J. Introduction to Automata Theory, Languages, and Computation (1979), Addison-Wesley
21. Horwich P. Wittgenstein and kripke on the nature of meaning. Mind and Language 5 (1990) 105-121
22. Inverardi P., and Tivoli M. Software architecture for correct components assembly. Formal Methods for the Design of Computer, Communication and Software Systems: Software Architecture. LNCS vol. 2804 (2003), Springer
23. Inverardi, P., Mostarda, L., Tivoli, M., Autili, M., 2005. Synthesis of correct and distributed adaptors for component-based systems: an automatic approach. In: Proceedings of 20th IEEE/ACM International Conference on Automated Software Engineering (ASE)- Long Beach, CA, USA.
24. ITU-T: The X500 naming service: ISO/IEC 9594-1. .
25. ITU Telecommunication Standardisation Sector, 1996. ITU-T Reccomendation Z.120. Message Sequence Charts. (MSC'96), Geneva.
26. Keller R. Formal verification of parallel programs. Communications of the ACM 19 7 (1976) 371-384
27. Lamport L. Time, clocks, and the ordering of events in a distributed system. Communications of the ACM 21 7 (1978) 558-565
28. Milner R. Communication and Concurrency (1989), Prentice Hall, New York
29. Nicola R.D., and Vaandrager F. Three logics for branching bisimulation. Journal of the ACM 42 2 (1995) 458487
30. Passerone R., de Alfaro L., Heinzinger T., and Sangiovanni-Vincentelli A.L. Convertibility verification and converter synthesis: two faces of the same coin. Proceedings of the International Conference on Computer Aided Design (ICCAD) (2002), San Jose, CA, USA
31. Ramadge P.J., and Wonham W.M. Supervisory control of a class of discrete event processes. SIAM Journal of Control and Optimization 25 1 (1987)
32. Schmidt, H.W., Reussner, R.H., 2002. Generating adapters for concurrent component protocol synchronisation. In: Proceedings of the Fifth IFIP International Conference on Formal Methods for Open Object-based Distributed Systems.
33. Sen, K., Vardhan, A., Agha, G., Rosu, G., 2004. Efficient decentralized monitoring of safety in distributed systems. In: Proceedings of the International Conference on Software Engineering (ICSE), Edinburgh, UK.
34. Szyperski C. Component Software: Beyond Object-oriented Programming (2004), Addison-Wesley
35. Taubner, D., 1989. Finite representations of CCS and TCSP programs by automata and petri nets. LNCS, vol. 369.
36. Tivoli M., and Autili M. SYNTHESIS: a tool for synthesizing "correct" and protocol-enhanced adaptors. RSTI L'Objet Journal 12 1 (2006) 77-103
37. Tivoli M., Fradet P., Girault A., and Goessler G. Adaptor synthesis for real-time components. Proceedings of the International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2007), Member of ETAPS 2007, Braga, Portugal. LNCS vol. 4424 (2007), Springer-Verlang, Berlin/Heidelberg. 978-3-540-71208-4 185-200
38. Uchitel S., Kramer J., and Magee J. Incremental elaboration of scenario-based specifications and behavior models using implied scenarios. ACM Transactions on Software Engineering and Methodology (TOSEM) 13 1 (2004) 37-85
39. Yakimovich, D., Travassos, G., Basili, V., 1999. A classification of software components incompatibilities for COTS integration. Technical Report, Software Engineering Laboratory Workshop, NASA/Goddard Space Flight Center, Greenbelt, Maryland.
40. Yellin D., and Strom R. Protocol specifications and component adaptors. ACM Transactions on Programming Languages and Systems 19 2 (1997) 292-333
41. Zaremski A., and Wing J. Signature matching: a tool for using software libraries. ACM Transaction on Software Engineering and Methodology 4 (1995) 146-170