<> "The repository administrator has not yet configured an RDF license."^^ . <> . . . "A formal support to business and architectural design for service-oriented systems "^^ . "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. "^^ . "2011" . . "6582" . . "Springer-Verlag"^^ . . "Springer-Verlag"^^ . . . . . . . . . . . . . . . . . . . . . . . . . . "Matthias M."^^ . "Hölzl"^^ . "Matthias M. Hölzl"^^ . . "Ugo"^^ . "Montanari"^^ . "Ugo Montanari"^^ . . "Roberto"^^ . "Bruni"^^ . "Roberto Bruni"^^ . . "Martin"^^ . "Wirsing"^^ . "Martin Wirsing"^^ . . "Alberto"^^ . "Lluch-Lafuente"^^ . "Alberto Lluch-Lafuente"^^ . . "Emilio"^^ . "Tuosto"^^ . "Emilio Tuosto"^^ . . "Howard"^^ . "Foster"^^ . "Howard Foster"^^ . . . . . . "A formal support to business and architectural design for service-oriented systems (PDF)"^^ . . . . . . . . . . . "Bruni_Foster_Lluch-Lafuente_et_al_2011.pdf"^^ . . . "A formal support to business and architectural design for service-oriented systems (Image (JPEG))"^^ . . . . . . "preview.jpg"^^ . . . "A formal support to business and architectural design for service-oriented systems (Indexer Terms)"^^ . . . . . . "indexcodes.txt"^^ . . "HTML Summary of #863 \n\nA formal support to business and architectural design for service-oriented systems \n\n" . "text/html" . . . "QA75 Electronic computers. Computer science"@en . .