Abstract is missing.
- Sensoria - Software Engineering for Service-Oriented Overlay ComputersMartin Wirsing, Matthias M. Hölzl, Nora Koch, Philip Mayer. 1-14 [doi]
- A Unifying Formal Basis for the Sensoria Approach: A White PaperUgo Montanari. 15-25 [doi]
- Introduction to the Sensoria Case StudiesJannis Elgner, Stefania Gnesi, Nora Koch, Philip Mayer. 26-34 [doi]
- UML Extensions for Service-Oriented SystemsHoward Foster, László Gönczy, Nora Koch, Philip Mayer, Carlo Montangero, Dániel Varró. 35-60 [doi]
- The Sensoria Reference Modelling LanguageJosé Luiz Fiadeiro, Antónia Lopes, Laura Bocchi, João Abreu. 61-114 [doi]
- Model-Driven Development of Adaptable Service-Oriented Business ProcessesCarlo Montangero, Stephan Reiff-Marganiec, Laura Semini. 115-132 [doi]
- A Formal Support to Business and Architectural Design for Service-Oriented SystemsRoberto Bruni, Howard Foster, Alberto Lluch-Lafuente, Ugo Montanari, Emilio Tuosto. 133-152 [doi]
- Core Calculi for Service-Oriented ComputingLuís Caires, Rocco De Nicola, Rosario Pugliese, Vasco Thudichum Vasconcelos, Gianluigi Zavattaro. 153-188 [doi]
- Behavioral Theory for Session-Oriented CalculiIvan Lanese, António Ravara, Hugo Torres Vieira. 189-213 [doi]
- Static Analysis Techniques for Session-Oriented CalculiLucia Acciai, Chiara Bodei, Michele Boreale, Roberto Bruni, Hugo Torres Vieira. 214-231 [doi]
- Call-by-Contract for Service Discovery, Orchestration and RecoveryMassimo Bartoletti, Pierpaolo Degano, Gian Luigi Ferrari, Roberto Zunino. 232-261 [doi]
- CC-Pi: A Constraint Language for Service Negotiation and CompositionMaria Grazia Buscemi, Ugo Montanari. 262-281 [doi]
- Advanced Mechanisms for Service Composition, Query and DiscoveryMichele Boreale, Mario Bravetti. 282-301 [doi]
- Advanced Mechanisms for Service Combination and TransactionsCarla Ferreira, Ivan Lanese, António Ravara, Hugo Torres Vieira, Gianluigi Zavattaro. 302-325 [doi]
- Model-Driven Development of Long Running TransactionsVincenzo Ciancia, Gian Luigi Ferrari, Roberto Guanciale, Daniele Strollo, Emilio Tuosto. 326-348 [doi]
- Hierarchical Models for Service-Oriented SystemsRoberto Bruni, Andrea Corradini, Fabio Gadducci, Alberto Lluch-Lafuente, Ugo Montanari. 349-368 [doi]
- Analysing Protocol Stacks for ServicesHan Gao, Flemming Nielson, Hanne Riis Nielson. 369-389 [doi]
- An Abstract, on the Fly Framework for the Verification of Service-Oriented SystemsStefania Gnesi, Franco Mazzanti. 390-407 [doi]
- Tools and VerificationMassimo Bartoletti, Luís Caires, Ivan Lanese, Franco Mazzanti, Davide Sangiorgi, Hugo Torres Vieira, Roberto Zunino. 408-427 [doi]
- Specification and Analysis of Dynamically-Reconfigurable Service ArchitecturesHoward Foster, Arun Mukhija, David S. Rosenblum, Sebastián Uchitel. 428-446 [doi]
- SoSL: A Service-Oriented Stochastic LogicRocco De Nicola, Diego Latella, Michele Loreti, Mieke Massink. 447-466 [doi]
- Evaluating Service Level Agreements Using Observational ProbesAllan Clark, Stephen Gilmore. 467-485 [doi]
- Scaling Performance Analysis Using Fluid-Flow ApproximationMirco Tribastone, Stephen Gilmore. 486-505 [doi]
- Passage-End Analysis for Analysing Robot MovementAllan Clark, Adam Duguid, Stephen Gilmore. 506-521 [doi]
- Quantitative Analysis of ServicesIgor Cappello, Allan Clark, Stephen Gilmore, Diego Latella, Michele Loreti, Paola Quaglia, Stefano Schivo. 522-540 [doi]
- Methodologies for Model-Driven Development and Deployment: An OverviewLászló Gönczy, Ábel Hegedüs, Dániel Varró. 541-560 [doi]
- Advances in Model Transformations by Graph Transformation: Specification, Execution and AnalysisGábor Bergmann, Artur Boronat, Reiko Heckel, Paolo Torrini, István Ráth, Dániel Varró. 561-584 [doi]
- Runtime Support for Dynamic and Adaptive Service CompositionArun Mukhija, David S. Rosenblum, Howard Foster, Sebastián Uchitel. 585-603 [doi]
- Legacy Transformations for Extracting Service ComponentsCarlos M. P. Matos, Reiko Heckel. 604-621 [doi]
- The Sensoria Development EnvironmentPhilip Mayer, István Ráth. 622-639 [doi]
- Specification and Implementation of Demonstrators for the Case StudiesJannis Elgner, Stefania Gnesi, Nora Koch, Philip Mayer. 640-654 [doi]
- Sensoria Results Applied to the Case StudiesMaurice H. ter Beek. 655-677 [doi]
- Analysing Robot Movement Using the Sensoria MethodsMaurice H. ter Beek, Alessandro Lapadula, Michele Loreti, Claudio Palasciano. 678-697 [doi]
- The Sensoria Approach Applied to the Finance Case StudyStefania Gnesi, Rosario Pugliese, Francesco Tiezzi. 698-718 [doi]
- Sensoria PatternsMatthias M. Hölzl, Nora Koch, Philip Mayer, Martin Wirsing. 719-736 [doi]