Reasoning (on) Service Component Ensembles in Rewriting Logic
- 1 January 2014
- book chapter
- other
- Published by Springer Science and Business Media LLC in Lecture Notes in Computer Science
Abstract
No abstract availableKeywords
This publication has 17 references indexed in Scilit:
- A Language-Based Approach to Autonomic ComputingLecture Notes in Computer Science, 2013
- ASCENS: Engineering Autonomic Service-Component EnsemblesLecture Notes in Computer Science, 2013
- A Probabilistic Strategy Language for Probabilistic Rewrite Theories and Its Application to Cloud ComputingLecture Notes in Computer Science, 2013
- Modelling and Analyzing Adaptive Self-assembly Strategies with MaudeLecture Notes in Computer Science, 2012
- Software Engineering for EnsemblesPublished by Springer Science and Business Media LLC ,2008
- Policy-based Coordination in PAGODA: A Case StudyElectronic Notes in Theoretical Computer Science, 2007
- PMaude: Rewrite-based Specification Language for Probabilistic Object SystemsElectronic Notes in Theoretical Computer Science, 2006
- Coordination Models Based on a Formal Model of Distributed Object ReflectionElectronic Notes in Theoretical Computer Science, 2006
- On Statistical Model Checking of Stochastic SystemsLecture Notes in Computer Science, 2005
- ELAN from a rewriting logic point of viewTheoretical Computer Science, 2002