Results of the SENSORIA Project 2011

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
  

Last update Thu May 17 01:38:19 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page