Abstract
This tutorial paper describes a framework for modelling several aspects of distributed computing based on Synchronised Hyperedge Replacement (SHR), a graph rewriting formalism. Components are represented as edges and they rewrite themselves by synchronising with neighbour components the productions that specify their behaviour. The SHR framework has been equipped with many formal devices for representing complex synchronisation mechanisms which can tackle mobility, heterogeneous synchronisations and non-functional aspects, key factors of Service Oriented Computing (SOC). We revise the SHR family as a suitable model for contributing to the formalisation of SOC systems. © Springer-Verlag Berlin Heidelberg 2006.
Cite
CITATION STYLE
Ferrari, G. L., Hirsch, D., Lanese, I., Montanari, U., & Tuosto, E. (2006). Synchronised hyperedge replacement as a model for service oriented computing. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 4111 LNCS, pp. 22–43). Springer Verlag. https://doi.org/10.1007/11804192_2
Register to see more suggestions
Mendeley helps you to discover research relevant for your work.
