Some of my contributions to SOC can be found in the following documents:
-
Hierarchical models for service-oriented systems
Roberto Bruni, Fabio Gadducci, Andrea Corradini, Alberto Lluch Lafuente, Ugo Montanari
Rigorous Software Engineering for Service-Oriented Systems – Results of the SENSORIA project on Software Engineering for Service-Oriented Computing
bib -
A formal support to business and architectural design for service-oriented systems
Roberto Bruni, Howard Foster, Alberto Lluch Lafuente, Ugo Montanari, Emilio Tuosto
Rigorous Software Engineering for Service-Oriented Systems – Results of the SENSORIA project on Software Engineering for Service-Oriented Computing
bib -
Representation of SOC Calculi with graphs
A Graph Syntax for Processes and Services
Roberto Bruni, Alberto Lluch Lafuente, Ugo Montanari, Emilio Tuosto
9th International Workshop on Web Services and Formal Methods
abstract bib -
Adaptable pervasive flows via BLite (a calculus for WS-BPEL)
A formalisation of Adaptable Pervasive Flows
Antonio Bucchiarone, Alberto Lluch Lafuente, Annapaola Marconi, Marco Pistore
9th International Workshop on Web Services and Formal Methods
abstract bib -
Formalisation of service-oriented a UML profile.
A service-oriented UML profile with formal support
Martin Wirsing, Ugo Montanari, Roberto Bruni, Matthias Hölzl, Nora Koch, Alberto Lluch Lafuente, Philip Mayer, and Andreas Schroeder
7th International joint Conference on Service Oriented Computing ICSOC/ServiceWave 2009
abstract bib -
Formalisation of design and reconfiguration aspects of a service modelling language
Service Oriented Architectural Design
Roberto Bruni, Alberto Lluch Lafuente, Ugo Montanari, Emilio Tuosto, 3rd International Symposium on Trustworthy Global Computing (TGC’07), Lecture Notes in Computer Science, Springer Verlag.
abstract bib -
Semantics for open systems with structural interfaces
On Symbolic Semantics for Name-decorated Contexts
Andrea Bracciali, Roberto Bruni, Alberto Lluch Lafuente
1st Interaction and Concurrency Experience (ICE’08), ENTCS, Volume 229, Issue 3, July 2009
abstract