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