Reasoning (on) service component ensembles in rewriting logic

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

Volumn 8373, Issue , 2014, Pages 188-211

  Belzner, Lenz ^a   De Nicola, Rocco ^b   Vandin, Andrea ^b   Wirsing, Martin ^a  

^a UNIVERSITY OF MUNICH   (Germany)

^b IMT SCHOOL FOR ADVANCED STUDIES LUCCA   (Italy)

Author keywords

[No Author keywords available]

Indexed keywords

ARTIFICIAL INTELLIGENCE; COMPUTER SCIENCE; COMPUTERS;

AUTONOMIC SYSTEMS; COMPUTATIONAL TOOLS; GENERAL METHODOLOGIES; HETEROGENEOUS COMPONENT; PROGRAMMING SYSTEM; REASONING CAPABILITIES; REWRITING LOGIC; SERVICE COMPONENTS;

COMPUTATION THEORY;

EID: 84958538576     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-642-54624-2_10     Document Type: Article

References (31)

1. Agha, G.A., Meseguer, J., Sen, K.: PMaude: Rewrite-based specification language for probabilistic object systems. In: Cerone, A., Wiklicky, H. (eds.) QAPL 2005. ENTCS, vol. 153(2), pp. 213-239. Elsevier (2006)
2. AlTurki, M., Meseguer, J.: PVeStA: A parallel statistical model checking and quantitative analysis tool. In: Corradini, A., Klin, B., Crstea, C. (eds.) CALCO 2011. LNCS, vol. 6859, pp. 386-392. Springer, Heidelberg (2011)
3. ASCENS Autonomic Service-Component ENSembles, http://www.ascens-ist.eu
4. Beckert, B., Damiani, F., de Boer, F.S., Bonsangue, M.M. (eds.): FMCO 2011. LNCS, vol. 7542. Springer, Heidelberg (2013)
5. Belzner, L.: Action programming in rewriting logic (technical communication). Theory and Practice of Logic Programming, On-line Supplement (2013)
6. Bentea, L., ̈Olveczky, P.C.: A probabilistic strategy language for probabilistic rewrite theories and its application to cloud computing. In: Martí-Oliet, N., Palomino, M. (eds.) WADT 2012. LNCS, vol. 7841, pp. 77-94. Springer, Heidelberg (2013)
7. Borovansḱy, P., Kirchner, C., Kirchner, H., Moreau, P.E.: Elan from a rewriting logic point of view. Theor. Comput. Sci. 285(2), 155-185 (2002)
8. Bruni, R., Corradini, A., Gadducci, F., Lluch Lafuente, A., Vandin, A.: Modelling and analyzing adaptive self-assembly strategies with Maude. In: Duŕan, F. (ed.) WRLA 2012. LNCS, vol. 7571, pp. 118-138. Springer, Heidelberg (2012)
9. Bruni, R., Corradini, A., Gadducci, F., Lluch Lafuente, A., Vandin, A.: A conceptual framework for adaptation. In: de Lara, J., Zisman, A. (eds.) FASE 2012. LNCS, vol. 7212, pp. 240-254. Springer, Heidelberg (2012)
10. CafeOBJ, http://www.ldl.jaist.ac.jp/cafeobj
11. Clavel, M., Duŕan, F., Eker, S., Lincoln, P., Martí-Oliet, N., Meseguer, J., Talcott, C.L.: All About Maude-A High-Performance Logical Framework. LNCS, vol. 4350. Springer, Heidelberg (2007)
12. De Nicola, R., Ferrari, G.L., Loreti, M., Pugliese, R.: A language-based approach to autonomic computing. In: Beckert, et al (eds.) [4], pp. 25-48
13. De Nicola, R., Loreti, M., Pugliese, R., Tiezzi, F.: SCEL: A language for autonomic computing. Tech. rep. (January 2013), http://rap.dsi.unifi.it/scel/ pdf/SCEL-TR.pdf
14. Diaconescu, R., Futatsugi, K.: CafeOBJ Report. The Language, Proof Techniques, and Methodologies for Object-Oriented Algebraic Specification. AMAST Series in Computing, vol. 6. World Scientific (1998)
15. Diaconescu, R., Futatsugi, K., Ogata, K.: CafeOBJ: Logical foundations and methodologies. Computers and Artificial Intelligence 22(3-4), 257-283 (2003)
16. GraphViz-Graph Visualization Software, http://www.graphviz.org
17. Eckhardt, J., Mühlbauer, T., AlTurki, M., Meseguer, J., Wirsing, M.: Stable availability under denial of service attacks through formal patterns. In: de Lara, J., Zisman, A. (eds.) FASE 2012. LNCS, vol. 7212, pp. 78-93. Springer, Heidelberg (2012)
18. Holzl, M., Rauschmayer, A., Wirsing, M.: Software engineering for ensembles. In: Wirsing, M., Banatre, J.-P., Holzl, M., Rauschmayer, A. (eds.) Software-Intensive Systems. LNCS, vol. 5380, pp. 45-63. Springer, Heidelberg (2008)
19. IBM: An architectural blueprint for autonomic computing. Tech. rep., 3rd edn (June 2005)
20. Project InterLink (2007), http://interlink.ics.forth.gr
21. Knapp, A., Wirsing, M.: Specifying an airport with CafeOBJ: A case study. In: 2nd CafeOBJ Workshop, Tokio, Japan (1997)
22. Knapp, A., Wirsing, M.: An event space-based operational semantics of multithreaded Java and its formalisation in CafeOBJ. In: 3rd CafeOBJ Workshop, Kanazawa, Japan (1998)
23. Meseguer, J., Talcott, C.: Semantic models for distributed object reflection. In: Magnusson, B. (ed.) ECOOP 2002. LNCS, vol. 2374, pp. 1-36. Springer, Heidelberg (2002)
24. MESSI Maude Ensemble Strategies Simulator and Inquirer (2012), http://sysma.lab.imtlucca.it/tools/ensembles
25. Pianini, D., Sebastio, S., Vandin, A.: Distributed statistical analysis of complex systems modeled through a chemical metaphor, http://eprints.imtlucca.it/ 1697
26. Sebastio, S., Vandin, A.: MultiVeStA: Statistical Model Checking for Discrete Event Simulators. In: 7th International Conference on Performance Evaluation Methodologies and Tools (ValueTools 2013), http://eprints.imtlucca. it/1798, doi:10.4108/icst.valuetools.2013.254377
27. Sen, K., Viswanathan, M., Agha, G.: On statistical model checking of stochastic systems. In: Etessami, K., Rajamani, S.K. (eds.) CAV 2005. LNCS, vol. 3576, pp. 266-280. Springer, Heidelberg (2005)
28. Sen, K., Viswanathan, M., Agha, G.A.: Vesta: A statistical model-checker and analyzer for probabilistic systems. In: Baier, C., Chiola, G., Smirni, E. (eds.) QEST 2005, pp. 251-252. IEEE Computer Society (2005)
29. Talcott, C.L.: Coordination models based on a formal model of distributed object reflection. In: Brim, L., Linden, I. (eds.) MTCoord 2005. ENTCS, vol. 150(1), pp. 143-157. Elsevier (2006)
30. Talcott, C.L.: Policy-based coordination in PAGODA: A case study. In: Boella, G., Dastani, M., Omicini, A., van der Torre, L.W., Cerna, I., Linden, I. (eds.) CoOrg 2006 & MTCoord 2006. ENTCS, vol. 181, pp. 97-112. Elsevier (2007)
31. Wirsing, M., Ḧolzl, M.M., Tribastone, M., Zambonelli, F.: Ascens: Engineering autonomic service-component ensembles. In: Beckert, et al. (eds.) [4], pp. 1-24