Reasoning (on) service component ensembles in rewriting logic

被引：18
作者：
Belzner, Lenz [1 ]
De Nicola, Rocco [2 ]
Vandin, Andrea [2 ]
Wirsing, Martin [1 ]
机构：
[1] Programming and Software Engineering, LMU, Munich
[2] IMT, Institute for Advanced Studies, Lucca
来源：
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) | 2014年 / 8373卷
关键词：
Computation theory;
D O I：
10.1007/978-3-642-54624-2_10
中图分类号：
学科分类号：
摘要：
Programming autonomic systems with massive number of heterogeneous components poses a number of challenges to language designers and software engineers and requires the integration of computational tools and reasoning tools. We present a general methodology to enrich SCEL, a recently introduced language for programming systems with massive numbers of components, with reasoning capabilities that are guaranteed by external reasoners. We show how the methodology can be instantiated by considering the Maude implementation of SCEL and a specific reasoner, Pirlo, implemented in Maude as well. Moreover we show how the actual integration can benefit from the existing analytical tools of the Maude framework. In particular, we demonstrate our approach by considering a simple scenario consisting of a group of robots moving in an arena aiming at minimising the number of collisions. © 2014 Springer-Verlag Berlin Heidelberg.
引用
收藏
页码：188 / 211
页数：23
相关论文
共 30 条
  • [1] Agha G.A., Meseguer J., Sen K., PMaude: Rewrite-based specification language for probabilistic object systems, ENTCS, 153, 2, pp. 213-239, (2006)
  • [2] Alturki M., Meseguer J., PVeStA: A parallel statistical model checking and quantitative analysis tool, LNCS, 6859, pp. 386-392, (2011)
  • [3] ASCENS Autonomic Service-Component ENSembles
  • [4] Beckert B., Damiani F., De Boer F.S., Bonsangue M.M., FMCO 2011, LNCS, 7542, (2013)
  • [5] Belzner L., Action programming in rewriting logic (technical communication), Theory and Practice of Logic Programming, (2013)
  • [6] Bentea L., Olveczky P.C., A probabilistic strategy language for probabilistic rewrite theories and its application to cloud computing, LNCS, 7841, pp. 77-94, (2013)
  • [7] Borovansky P., Kirchner C., Kirchner H., Moreau P.E., Elan from a rewriting logic point of view, Theor. Comput. Sci., 285, 2, pp. 155-185, (2002)
  • [8] Bruni R., Corradini A., Gadducci F., Lluch Lafuente A., Vandin A., Modelling and analyzing adaptive self-assembly strategies with Maude, LNCS, 7571, pp. 118-138, (2012)
  • [9] Bruni R., Corradini A., Gadducci F., Lluch Lafuente A., Vandin A., A conceptual framework for adaptation, LNCS, 7212, pp. 240-254, (2012)
  • [10] Clavel M., Duran F., Eker S., Lincoln P., Marti-Oliet N., Meseguer J., Talcott C.L., All about maude-a high-performance logical framework, LNCS, 4350, (2007)
123