default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDResults of the SENSORIA Project 2011
- Martin Wirsing, Matthias M. Hölzl:
Rigorous Software Engineering for Service-Oriented Systems - Results of the SENSORIA Project on Software Engineering for Service-Oriented Computing. Lecture Notes in Computer Science 6582, Springer 2011, ISBN 978-3-642-20400-5
Intro
- Martin Wirsing, Matthias M. Hölzl, Nora Koch
, Philip Mayer:
Sensoria - Software Engineering for Service-Oriented Overlay Computers. 1-14 - Ugo Montanari:
A Unifying Formal Basis for the Sensoria Approach: A White Paper. 15-25 - Jannis Elgner, Stefania Gnesi, Nora Koch, Philip Mayer:
Introduction to the Sensoria Case Studies. 26-34
Modelling in Service-Oriented Architectures
- Howard Foster, László Gönczy, Nora Koch, Philip Mayer, Carlo Montangero, Dániel Varró:
UML Extensions for Service-Oriented Systems. 35-60 - José Luiz Fiadeiro, Antónia Lopes, Laura Bocchi, João Abreu:
The Sensoria Reference Modelling Language. 61-114 - Carlo Montangero, Stephan Reiff-Marganiec, Laura Semini:
Model-Driven Development of Adaptable Service-Oriented Business Processes. 115-132 - Roberto Bruni, Howard Foster, Alberto Lluch-Lafuente, Ugo Montanari, Emilio Tuosto:
A Formal Support to Business and Architectural Design for Service-Oriented Systems. 133-152
Calculi for Service-Oriented Computing
- Luís Caires, Rocco De Nicola, Rosario Pugliese, Vasco Thudichum Vasconcelos, Gianluigi Zavattaro:
Core Calculi for Service-Oriented Computing. 153-188 - Ivan Lanese, António Ravara, Hugo Torres Vieira:
Behavioral Theory for Session-Oriented Calculi. 189-213 - Lucia Acciai, Chiara Bodei, Michele Boreale, Roberto Bruni, Hugo Torres Vieira:
Static Analysis Techniques for Session-Oriented Calculi. 214-231 - Massimo Bartoletti, Pierpaolo Degano, Gian-Luigi Ferrari, Roberto Zunino:
Call-by-Contract for Service Discovery, Orchestration and Recovery. 232-261
Negotiations, Planning, and Reconfiguration
- Maria Grazia Buscemi, Ugo Montanari:
CC-Pi: A Constraint Language for Service Negotiation and Composition. 262-281 - Michele Boreale, Mario Bravetti:
Advanced Mechanisms for Service Composition, Query and Discovery. 282-301 - Carla Ferreira, Ivan Lanese, António Ravara, Hugo Torres Vieira, Gianluigi Zavattaro:
Advanced Mechanisms for Service Combination and Transactions. 302-325 - Vincenzo Ciancia, Gian-Luigi Ferrari, Roberto Guanciale, Daniele Strollo, Emilio Tuosto:
Model-Driven Development of Long Running Transactions. 326-348 - Roberto Bruni, Andrea Corradini, Fabio Gadducci, Alberto Lluch-Lafuente, Ugo Montanari:
Hierarchical Models for Service-Oriented Systems. 349-368
Qualitative Analysis Techniques for Service-Oriented Computing
- Han Gao, Flemming Nielson, Hanne Riis Nielson:
Analysing Protocol Stacks for Services. 369-389 - Stefania Gnesi, Franco Mazzanti:
An Abstract, on the Fly Framework for the Verification of Service-Oriented Systems. 390-407 - Massimo Bartoletti, Luís Caires, Ivan Lanese, Franco Mazzanti, Davide Sangiorgi, Hugo Torres Vieira, Roberto Zunino:
Tools and Verification. 408-427 - Howard Foster, Arun Mukhija, David S. Rosenblum, Sebastián Uchitel:
Specification and Analysis of Dynamically-Reconfigurable Service Architectures. 428-446
Quantitative Analysis Techniques for Service-Oriented Computing
- Rocco De Nicola, Diego Latella, Michele Loreti, Mieke Massink:
SoSL: A Service-Oriented Stochastic Logic. 447-466 - Allan Clark, Stephen Gilmore:
Evaluating Service Level Agreements Using Observational Probes. 467-485 - Mirco Tribastone, Stephen Gilmore:
Scaling Performance Analysis Using Fluid-Flow Approximation. 486-505 - Allan Clark, Adam Duguid, Stephen Gilmore:
Passage-End Analysis for Analysing Robot Movement. 506-521 - Igor Cappello, Allan Clark, Stephen Gilmore, Diego Latella, Michele Loreti, Paola Quaglia, Stefano Schivo:
Quantitative Analysis of Services. 522-540
Model-Driven Development and Reverse-Engineering for Service-Oriented Systems
- László Gönczy, Ábel Hegedüs, Dániel Varró:
Methodologies for Model-Driven Development and Deployment: An Overview. 541-560 - Gábor Bergmann, Artur Boronat, Reiko Heckel, Paolo Torrini, István Ráth, Dániel Varró:
Advances in Model Transformations by Graph Transformation: Specification, Execution and Analysis. 561-584 - Arun Mukhija, David S. Rosenblum, Howard Foster, Sebastián Uchitel:
Runtime Support for Dynamic and Adaptive Service Composition. 585-603 - Carlos M. P. Matos, Reiko Heckel:
Legacy Transformations for Extracting Service Components. 604-621 - Philip Mayer, István Ráth:
The Sensoria Development Environment. 622-639
Case Studies and Patterns
- Jannis Elgner, Stefania Gnesi, Nora Koch, Philip Mayer:
Specification and Implementation of Demonstrators for the Case Studies. 640-654 - Maurice H. ter Beek:
Sensoria Results Applied to the Case Studies. 655-677 - Maurice H. ter Beek, Alessandro Lapadula, Michele Loreti, Claudio Palasciano:
Analysing Robot Movement Using the Sensoria Methods. 678-697 - Stefania Gnesi, Rosario Pugliese, Francesco Tiezzi:
The Sensoria Approach Applied to the Finance Case Study. 698-718 - Matthias M. Hölzl, Nora Koch, Philip Mayer, Martin Wirsing:
Sensoria Patterns. 719-736
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2025-10-31 00:57 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
