Dynamically evolvable dependable software: From oxymoron to reality

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

Volumn 5065 LNCS, Issue , 2008, Pages 330-353

  Ghezzi, Carlo ^a   Inverardi, Paola ^b   Montangero, Carlo ^c  

^a POLITECNICO DI MILANO   (Italy)

^b UNIVERSITY OF L'AQUILA   (Italy)

^c UNIVERSITY OF PISA   (Italy)

Author keywords

[No Author keywords available]

Indexed keywords

DEPENDABLE SOFTWARES; FUTURE RESEARCH; HEIDELBERG (CO); LESSONS LEARNED (LL); RESEARCH EXPERIENCE; SOFTWARE EVOLUTION; SPRINGER (CO); STATE OF THE ARTS;

LEAD;

GRAPH THEORY;

EID: 45849153105     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-68679-8_21     Document Type: Conference Paper

References (43)

1. IWPSE, WEB site, 2007 (2007), http://iwpse2007.inf.unisi.ch/
2. Active Endpoints. Activebpel engine architecture, http://www.active- endpoints.com/active-bpel-engine-overview.htm
3. Andrews, T., Curbera, F., Dholakia. H., Goland, Y., Klein, J., Leymann, F., Liu, K., Roller, D., Smith, D., Thatte. S., Trickovic, I., Weerawarana, S.: Business Process Execution Language for Web Services, Version 1.1 (May 2003)
4. Autili, M., Berardinelli. L., Cortellessa, V., Marco, A.D., Ruscio, D.D., Inverardi, P., Tivoli, M.: A development process for self-adapting service oriented applications. In: Krämer, B.J., Lin, K.-J., Narasimhan, P. (eds.) ICSOC 2007. LNCS, vol. 4749, pp. 442-448. Springer, Heidelberg (2007)
5. Autili, M., Cortellessa, V., Benedetto, P.D., Inverardi, P.: On the adptation of context-aware services. In: Krämer, B.J., Lin, K.-J., Narasimhan, P. (eds.) ICSOC 2007. LNCS, vol. 4749, Springer, Heidelberg (2007)
6. Baresi, L., Bianculli, D., Ghezzi, C., Guinea, S., Spoletini, P.: A timed extension of WSCoL. In: Proceedings of the IEEE International Conference on Web Services (ICWS 2007) (July 2007)
7. Baresi, L., Bianculli, D., Ghezzi, C., Guinea, S., Spoletini, P.: Validation of web service compositions. IET Software 1(6), 219-232 (2007)
8. Baresi, L., Di Nitto, E., Ghezzi, C.: Towards Open-World Software. IEEE Computer 39, 36-43 (2006)
9. Baresi, L., Guinea, S.: Towards dynamic monitoring of WS-BPEL processes. In: Benatallah, B., Casati, F., Traverso, P. (eds.) ICSOC 2005. LNCS, vol. 3826, pp. 269-282. Springer, Heidelberg (2005)
10. Baresi, L., Guinea, S.: Dynamo and self-healing bpel compositions. In: ICSE Companion, pp. 69-70. IEEE Computer Society Press. Los Alamitos (2007)
11. Bartoletti, M., Degano, P., Ferrari, G., Zunino, R.: Secure service orchestration. In: Foundations of Security Analysis and Design IV, FOSAD 2006/2007 Tutorial Lectures, pp. 24-74 (2007)
12. Dwyer, M.B., Hatcliff, J., Hoosier, M., Robby,: Building your own software model checker using the Bogor extensible model checking framework. In: Etessami, K., Rajamani, S.K. (eds.) CAV 2005. LNCS, vol. 3576, pp. 148-152. Springer, Heidelberg (2005)
13. Ghezzi, C., Guinea, S.: Run-time monitoring in service-oriented architectures. In: Baresi, L., Di Nitto, E. (eds.) Test and Analysis of Web Services, pp. 237-264. Springer, Heidelberg (2007)
14. Ghezzi, C., Mandrioli, D., Morasca, S., Pezzè, M.: A unified high-level petri net formalism for time-critical systems. IEEE Trans. Softw. Eng. 17(2), 160-172 (1991)
15. Gorton, S., Reiff-Marganiec, S.: Towards a task-oriented, policy-driven business requirements specification for web services. In: Business Process Management, pp. 465-470 (2006)
16. ERCIM Working Group (2007), http://w3.umh.ac.be/evol/
17. Inverardi, P.: Software of the future is the future of software? In: Montanari. U., Sannella, D., Bruni, R. (eds.) TGC 2007. LNCS, vol. 4661, pp. 69-85. Springer, Heidelberg (2007)
18. Inverardi, P., Levi, G., Montanari, U., Vallario. G.N.: A distributed KAPSE architecture. Ada Lett. 111(2). 55-61 (1983)
19. Inverardi, P., Mancinelli, F., Nesi, M.: A declarative framework for adaptable applications in heterogeneous environments. In: SAC 2004, pp. 1177-1183. ACM Press, New York (2004)
20. Inverardi, P., Martini, S., Montangero, C.: Is type checking practical for system configuration? In: Diaz, J., Orejas. F. (eds.) TAPSOFT 1989 and CCIPL 1989. LNCS, vol. 352, pp. 257-271. Springer, Heidelberg (1989)
21. Inverardi, P., Mazzanti. F.: Experimenting with dynamic linking with ada. Softw., Pract. Exper. 23(1), 1-14 (1993)
22. Inverardi, P., Montanari, U., Vallario, G.N.: How to develop a programming environment almost completely in a compiled language. In: International Computing Symposium 1983 on Application Systems Development, pp. 429-438. Teubner (1983)
23. Kiczales, G., Lamping, J., Mendhekar, A., Maeda, C., Videira Lopes, C., Loingtier, J.M., Irwin, J.: Aspect-oriented programming. In: Aksit, M., Matsuoka, S. (eds.) ECOOP 1997. LNCS, vol. 1241, pp. 220-242. Springer, Heidelberg (1997)
24. Koch, N., Berndl, D.: Requirements modelling and analysis of selected scenarios: Automotive case study. Technical report. SENSORIA EU-IST-016004 (2007), http://www.pst.informatik.uni-uenchen.de/projekte/Sensoria/del_24/D8.2. a.pdf
25. Koch, N., Mayer, P., Heckel, R., Gonczy, L., Montangero, C.: UML for service-oriented systems. SENSORIA EU-IST 016004 Deliverable D1.4.a (2007), http://www.pst.ifi.lmu.de/projekte/Sensoria/del_24/D1.4.a.pdf
26. Lehman, M.M., Belady, L.A.: Program evolution: processes of software change. Academic Press Professional, Inc., San Diego (1985)
27. Leveson, N.G.: A systems-theoretic approach to safety in software-intensive systems. IEEE Trans. Dependable Sec. Comput. 1(1), 66-86 (2004)
28. Fiadeiro, J.L., Lopes, A., Bocchi, L.: A Formal Approach to Service Component Architecture. Web Services and Formal Methods 4184, 193-213 (2006)
29. Mancinelli, F., Inverardi, P.: Quantitative resource-oriented analysis of java (adaptable) applications, In: WOSP 2007: Proceedings of the 6th international workshop on Software and performance, pp. 15-25. ACM Press, New York (2007)
30. Mandriou, D., Zicari, R., Ghezzi, C., Tisato, F.: Modeling the ada task system by petri nets. Computer Languages (1985)
31. Montangero, C., Reiff-Marganiec, S., Semini, L.: Logic-based detection of conflicts in APPEL policies. In: Arbab, F., Sirjani, M. (eds.) FSEN 2007. LNCS, vol. 4767, pp. 257-271. Springer, Heidelberg (2007)
32. th International Symposium on Temporal Representation and Reasoning (TIME 2002), Manchester, UK. July 2002, IEEE CS Press. Los Alamitos (2002)
33. Morzenti, A., Mandrioli, D., Ghezzi, C.: A model parametric real-time logic. ACM Trans. Program. Lang. Syst. 14(4), 521-573 (1992)
34. OMG. Business process modeling notation. Technical report (February 6, 2006), http://www.bpmn.org/
35. IFIP WG 10.4 on Dependable Computing and Fault Tolerance. Dependability: Basic concepts and terminology (October 1990)
36. Parnas, D.L.: On the criteria to be used in decomposing systems into modules. pp. 139-150 (1979)
37. ART DECO Project. Description of Work (2005), http://artdeco.elet.polimi. it/Artdeco
38. PLASTIC Project. Description of Work (2005), http://www.ist-plastic.org
39. SeCSE Project. Description of Work (2004), http://secse.eng.it/
40. Reiff-Marganiec, S., Turner, K.J., Blair, L.: Appel: The accent project policy environment/language. Technical Report TR-161, University of Stirling (December 2005)
41. The SeCSE Team. Designing and deploying service-centric systems: The SeCSE way. In: Proceedings of Service Oriented Computing: a look at the Inside (SOC@Inside'07), workshop colocated with ICSOC 2007 (2007)
42. Turner, K.J., Reiff-Marganiec, S., Blair, L., Pang, J., Gray, T., Perry, P., Ireland, J.: Policy support for call control. Computer Standards and Interfaces 28(6), 635-649 (2006)
43. Wirsing, M., Carizzoni, G., Gilmore, S., Gonczy, L., Koch, N., Mayer, P., Palasciano, C.: Software engineering for service-oriented overlay computers (2007). http://www.sensoria-ist.eu/files/whitePaper.pdf