PUMA
Istituto di Scienza e Tecnologie dell'Informazione     
Bensalem S., Bruni R., Corradini A., Gadducci F., Montanari U., Sammartino M., Suzuki T., Monreale G., Tcheukam Siwe A., Cabri G., Latella D., Massink M. ASCENS - Third report on WP2 models for collaborative and competitive SCEs, and distributed implementation of connectors. ASCENS Autonomic Service-Component Ensembles. Deliverable D2.3, 2013.
 
 
Abstract
(English)
This deliverable reports on the WP2 activities that have been conducted during months 25-36. In Task 2.1 we further pursued the investigation on the theoretical foundations of the distributed implementation of connectors, including expressiveness issues for classes of dynamic BIP connectors and further investigating the issue of parallel executions for BIP systems with time constraints. We fur- ther continued the study of coalgebraic models for our resource-aware calculus we also discussed last year, and chosen peer-to-peer overlay as a case study. Finally, we freshly tackled nominal automata, investigating the issue of regular expressions for such automata. In Task 2.2 we focussed mostly on the soft constraints paradigm. A more theoretical investigation concerned the laws for behavioral equivalence in SCCP, the best-known language based on constraints. A more applicative outlook lead to the development of a technique based on the orchestration of declarative and procedural knowledge for solving locally optimization problems that are global. In Task 2.3 we kept on investigating about issues related to game semantics for agents, focusing on energy trading scenarios, and looking at the self-organizational aspects of an agent-based system managing the interactions among prosumers introduced early in the project. Furthermore, we pursued the study of coalgebraic semantics for the stochastic calculus introduced early in the project, whose work was previously reported in the sections of Deliverables D2.1 and D2.2 devoted to Task 2.1. The deliverable is organized around the above structure of themes. Each subsection includes a short description of the novelty and offer pointers towards future work. A concluding section offers some general remarks on the overall satisfaction of the objectives, on the influences from and towards other work packages, and some comments on the foreseen developments for the forthcoming year.
URL: http://svn.pst.ifi.lmu.de/svn/ascens/trunk/cds/ascens-cd-rp3.zip
Subject Autonomic Service-Component Ensembles
H.1 MODELS AND PRINCIPLES
68Q85 Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.)


Icona documento 1) Download Document PDF


Icona documento Open access Icona documento Restricted Icona documento Private

 


Per ulteriori informazioni, contattare: Librarian http://puma.isti.cnr.it

Valid HTML 4.0 Transitional