@incollection{eprints863,
       booktitle = {Rigorous software engineering for service-oriented systems: results of the SENSORIA project on software engineering for service-oriented computing},
          editor = {Martin Wirsing and Matthias M. H{\"o}lzl},
       publisher = {Springer-Verlag},
          author = {Roberto Bruni and Howard Foster and Alberto Lluch-Lafuente and Ugo Montanari and Emilio Tuosto},
           title = {A formal support to business and architectural design for service-oriented systems },
          series = {Lecture Notes in Computer Science},
            year = {2011},
           pages = {133--152},
          number = {6582},
        abstract = {Architectural Design Rewriting (ADR) is an approach for the design of software architectures developed within Sensoria by reconciling graph transformation and process calculi techniques. The key feature that makes ADR a suitable and expressive framework is the algebraic handling of structured graphs, which improves the support for specification, analysis and verification of service-oriented architectures and applications. We show how ADR is used as a formal ground for high-level modelling languages and approaches developed within Sensoria. },
             url = {http://eprints.imtlucca.it/863/}
}