Copyright Information
The documents distributed by this server have been provided by the contributing authors as a means to ensure timely dissemination of
scholarly and technical work on a noncommercial basis. Copyright and all rights therein are maintained by the authors or by other
copyright holders, notwithstanding that they have offered their works here electronically. It is understood that all persons copying
this information will adhere to the terms and constraints invoked by each author's copyright. These works may not be reposted without
the explicit permission of the copyright holder.
show main publications
Hierarchical models for service-oriented systems
@INBOOK{BCGLM:book:HMSOS,
title = {{Hierarchical models for service-oriented systems}},
author = {{Roberto} {Bruni} and {Andrea} {Corradini} and {Fabio} {Gadducci} and {Alberto} {Lluch Lafuente} and {Ugo} {Montanari}},
booktitle = {Rigorous Software Engineering for Service-Oriented Systems},
note = {To appear},
abstract = {We present our approach to the denotation and representation
of hierarchical graphs: a suitable algebra of hierarchical graphs and two
domains of interpretations. Each domain of interpretation focuses on
a particular perspective of the graph hierarchy: the top view (nested
boxes) is based on a notion of embedded graphs while the side view (tree
hierarchy) is based on gs-graphs. Our algebra can be understood as a
high-level language for describing such graphical models, which are well
suited for defining graphical representations of service-oriented systems
where nesting (e.g. sessions, transactions, locations) and linking (e.g.
shared channels, resources, names) are key aspects.},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
year = {2010},
url = {http://rap.dsi.unifi.it/sensoriasite/main.pdf},
keywords = {CaSPiS, Hierarchical graphs, Long Running Transctions, sessions},
partner = {PISA},
task = {T5.3},
}
|
