Towards a formal component model for the cloud

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

Volumn 7504 LNCS, Issue , 2012, Pages 156-171

  Di Cosmo, Roberto ^a   Zacchiroli, Stefano ^a   Zavattaro, Gianluigi ^b  

^a UNIVERSITÉ PARIS DESCARTES   (France)

^b UNIVERSITY OF BOLOGNA   (Italy)

Author keywords

[No Author keywords available]

Indexed keywords

ACHIEVABILITY; AUTOMATED PLANNING; COMPONENT MODEL; ON-THE-FLY; SERVICE DEPLOYMENT; SOFTWARE COMPONENT; SOFTWARE UPGRADES;

ARTIFICIAL INTELLIGENCE;

SOFTWARE ENGINEERING;

EID: 84868259961     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-642-33826-7_11     Document Type: Conference Paper

References (16)

1. Abate, P., Di Cosmo, R., Treinen, R., Zacchiroli, S.: MPM: a modular package manager. In: CBSE 2011: 14th Symposium on Component Based Software Eng., pp. 179-188. ACM (2011)
2. Achermann, F., Nierstrasz, O.: A calculus for reasoning about software composition. Theor. Comput. Sci. 331(2-3), 367-396 (2005)
3. de Alfaro, L., Henzinger, T.A.: Interface automata. In: ESEC / SIGSOFT FSE (2001)
4. Bruneton, E., Coupaye, T., Leclercq, M., Quéma, V., Stefani, J.B.: The fractal component model and its support in java. Softw., Pract. Exper. 36(11-12), 1257-1284 (2006)
5. Bundgaard, M., Hildebrandt, T.T., Godskesen, J.C.: A cps encoding of name-passing in higher-order mobile embedded resources. Theor. Comput. Sci. 356(3), 422-439 (2006)
6. Cloud Foundry, deploy & scale your applications in seconds (retrieved April 2012), http://www.cloudfoundry.com/
7. Di Cosmo, R., Trezentos, P., Zacchiroli, S.: Package upgrades in FOSS distributions: Details and challenges. In: HotSWup 2008 (2008)
8. Juju, devops distilled (retrieved April 2012), https://juju.ubuntu.com/
9. Lau, K.K.,Wang, Z.: Software component models. IEEE Trans. Software Eng. 33(10), 709-724 (2007)
10. Milner, R., Parrow, J., Walker, D.: A calculus of mobile processes. i/ii. Inf. Comput. 100(1), 1-77 (1992)
11. Minsky, M.: Computation: finite and infinite machines. Prentice-Hall (1967)
12. Montesi, F., Sangiorgi, D.: A Model of Evolvable Components. In: Wirsing, M., Hofmann, M., Rauschmayer, A. (eds.) TGC 2010, LNCS, vol. 6084, pp. 153-171. Springer, Heidelberg (2010)
13. Petri, C.A.: Kommunikation mit Automaten. PhD thesis. Institut für Instrumentelle Mathematik, Bonn, Germany (1962)
14. Rackoff, C.: The covering and boundedness problems for vector addition systems. Theoret. Comp. Sci. 6, 223-231 (1978)
15. Schmitt, A., Stefani, J.B.: The Kell Calculus: A Family of Higher-Order Distributed Process Calculi. In: Priami, C., Quaglia, P. (eds.) GC 2004. LNCS, vol. 3267, pp. 146-178. Springer, Heidelberg (2005)
16. Seinturier, L., Merle, P., Fournier, D., Dolet, N., Schiavoni, V., Stefani, J.B.: Reconfigurable SCA applications with the FraSCAti platform. In: IEEE SCC, pp. 268-275. IEEE (2009)