Stochastically timed predicate-based communication primitives for autonomic computing

Electronic Proceedings in Theoretical Computer Science, EPTCS

Volumn 154, Issue , 2014, Pages 1-16

  Latella, Diego ^a   Loreti, Michele ^b   Massink, Mieke ^a   Senni, Valerio ^c  

^a CNR   (France)

^b UNIVERSITY OF FLORENCE   (Italy)

^c IMT SCHOOL FOR ADVANCED STUDIES LUCCA   (Italy)

Author keywords

[No Author keywords available]

Indexed keywords

FORMAL METHODS; MODELING LANGUAGES; SEMANTICS;

AUTONOMIC COMPUTING; COMMUNICATION PRIMITIVES; FORMAL SEMANTICS; LANGUAGE MODEL; LEVELS OF ABSTRACTION; PRELIMINARY ANALYSIS; SHARING SYSTEMS; SOFTWARE COMPONENT;

ADAPTIVE SYSTEMS;

EID: 84938584417     PISSN: 20752180     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.4204/EPTCS.154.1     Document Type: Conference Paper

References (19)

1. Luca Bortolussi & Jane Hillston (2012): Fluid Model Checking. In Maciej Koutny & Irek Ulidowski, editors: CONCUR, Lecture Notes in Computer Science 7454, Springer, pp. 333-347, doi:10.1007/978-3-642-32940-1-24.
2. Luca Bortolussi, Jane Hillston, Diego Latella & Mieke Massink (2013): Continuous approximation of collective system behaviour: A tutorial. Perform. Eval. 70(5), pp. 317-349, doi:10.1016/j.peva.2013.01.001.
3. Roberto Bruni, Andrea Corradini, Fabio Gadducci, Alberto Lluch-Lafuente & Andrea Vandin (2012): A Conceptual Framework for Adaptation. In Juan de Lara & Andrea Zisman, editors: FASE, Lecture Notes in Computer Science 7212, Springer, pp. 240-254, doi:10.1007/978-3-642-28872-2-17.
4. R. De Nicola, G. Ferrari & R. Pugliese (1998): KLAIM: A Kernel Language for Agents Interaction and Mobility. IEEE Transactions on Software Engineering 24(5), pp. 315-329, doi:10.1109/32.685256.
5. Rocco De Nicola, Gian Luigi Ferrari, Michele Loreti & Rosario Pugliese (2011): A Language-Based Approach to Autonomic Computing. In Bernhard Beckert, Ferruccio Damiani, Frank S. de Boer & Marcello M. Bonsangue, editors: FMCO, Lecture Notes in Computer Science 7542, Springer, pp. 25-48, doi:10.1007/978-3-642-35887-6-2.
6. Rocco De Nicola, Diego Latella, Michele Loreti & Mieke Massink (2009): Rate-Based Transition Systems for Stochastic Process Calculi. In Susanne Albers, Alberto Marchetti-Spaccamela, Yossi Matias, Sotiris E. Nikoletseas & Wolfgang Thomas, editors: ICALP (2), Lecture Notes in Computer Science 5556, Springer, pp. 435-446, doi:10.1007/978-3-642-02930-1-36.
7. Rocco De Nicola, Diego Latella, Michele Loreti & Mieke Massink (2013): A Uniform Definition of Stochastic Process Calculi. ACM Comput. Surv. 46(1), pp. 5:1-5:35, doi:10.1145/2522968.2522973.
8. Rocco De Nicola, Michele Loreti, Rosario Pugliese & Francesco Tiezzi (2013): A formal approach to autonomic systems programming: The SCEL Language. ACM Transactions on Autonomous and Adaptive Systems To Appear. Available at http://rap.dsi.unifi.it/scel/.
9. ASCENS: Autonomic Service component Ensembles: http://ascens-ist.eu.
10. Vashti Galpin, Jane Hillston & Federica Ciocchetta (2011): A semi-quantitative equivalence for abstracting from fast reactions. In Ion Petre & Erik P. de Vink, editors: CompMod, EPTCS 67, pp. 34-49, doi:10.4204/EPTCS.67.5.
11. Holger Hermanns & Sven Johr (2007): Uniformity by Construction in the Analysis of Nondeterministic Stochastic Systems. In: DSN, IEEE Computer Society, pp. 718-728, doi:10.1109/DSN.2007.96.
12. Holger Hermanns & Joost-Pieter Katoen (2009): The How and Why of Interactive Markov Chains. In Frank S. de Boer, Marcello M. Bonsangue, Stefan Hallerstede & Michael Leuschel, editors: FMCO, Lecture Notes in Computer Science 6286, Springer, pp. 311-337, doi:10.1007/978-3-642-17071-3-16.
13. Matthias Hölzl, Axel Rauschmayer & Martin Wirsing (2008): Software Engineering for Ensembles. In: Software-Intensive Systems and New Computing Paradigms, Springer, pp. 45-63, doi:10.1007/978-3-540-89437-7-2.
14. Project InterLink (2007): http://interlink.ics.forth.gr/central.aspx.
15. Diego Latella, Michele Loreti, Mieke Massink & Valerio Senni (2014): Stochastically timed predicate-based communication primitives for autonomic computing-Full Paper. Technical Report TR-QC-03-2014, QUANTICOL Project. http://www.quanticol.eu/.
16. Nicola Mezzetti & Davide Sangiorgi (2006): Towards a Calculus For Wireless Systems. Electr. Notes Theor. Comput. Sci. 158, pp. 331-353, doi:10.1016/j.entcs.2006.04.017.
17. Catuscia Palamidessi (2003): Comparing The Expressive Power Of The Synchronous And Asynchronous Pi-Calculi. Mathematical Structures in Computer Science 13(5), pp. 685-719, doi:10.1017/S0960129503004043.
18. Anu Singh, C. R. Ramakrishnan & Scott A. Smolka (2010): A process calculus for Mobile Ad Hoc Networks. Sci. Comput. Program. 75(6), pp. 440-469, doi:10.1016/j.scico.2009.07.008.
19. Roy Want, Eve Schooler, Lenka Jelinek, Jaeyeon Jung, Dan Dahle & Uttam Sengupta (2010): Ensemble Computing: Opportunities And Challenges. Intel Technology Journal 14(1), pp. 118-141, doi:10.1145/1592761.1592785.