Overview
- High-quality selected papers
- Covers state-of-the-art research
- Uniquely high-profile
Part of the book series: Lecture Notes in Computer Science (LNCS, volume 6582)
Part of the book sub series: Programming and Software Engineering (LNPSE)
Access this book
Tax calculation will be finalised at checkout
Other ways to access
About this book
Similar content being viewed by others
Keywords
Table of contents (35 chapters)
-
Negotiations, Planning, and Reconfiguration
-
Qualitative Analysis Techniques for Service-Oriented Computing
Editors and Affiliations
About the editors
SENSORIA – Software Engineering for Service-Oriented Overlay
Computers.- A Unifying Formal Basis for the SENSORIA Approach: A White Paper.- Introduction to the SENSORIA Case Studies.- UML Extensions for Service-Oriented Systems.- The SENSORIA Reference Modeling Language.- Model-Driven Development of Adaptable Service-Oriented Business Processes.- A Formal Support to Business and Architectural Design for Service-Oriented Systems.- Core Calculi for Service-Oriented Computing.- Behavioral Theory for Session-Oriented Calculi.- Static Analysis Techniques for Session-Oriented Calculi.- Call-by-Contract for Service Discovery, Orchestration and Recovery.-CC-Pi: A Constraint Language for Service Negotiation and Composition.- Advanced Mechanisms for Service Composition, Query and Advanced Mechanisms for Service Combination and Transactions.- Model-Driven Development of Long Running Transactions.- Hierarchical Models for Service-Oriented Systems.- Analysing Protocol Stacks for Services.- An Abstract, on the Fly Framework for the Verification of Service-Oriented Systems.-Tools and Verification.- Specification and Analysis of Dynamically-Reconfigurable Service Architectures.- SoSL: A Service-Oriented Stochastic Logic.- Evaluating Service Level Agreements Using Observational Probes.- Scaling Performance Analysis Using Fluid-Flow Approximation.- Passage-End Analysis for Analysing Robot Movement.- Quantitative Analysis of Services.- Methodologies for Model-Driven Development and Deployment: An Overview.- Advances in Model Transformations by Graph Transformation: Specification, Execution and Analysis.-Runtime Support for Dynamic and Adaptive Service Composition.-Legacy Transformations for Extracting Service Components.-The SENSORIA Development Environment.- Specification and Implementation of Demonstrators for the Case Studies.- SENSORIA Results Applied to the Case Studies.- Analysing Robot Movement Using the SENSORIA Methods.- The SENSORIA ApproachApplied to the Finance Case Study.- SENSORIA Patterns.
Bibliographic Information
Book Title: Rigorous Software Engineering for Service-Oriented Systems
Book Subtitle: Results of the SENSORIA Project on Software Engineering for Service-Oriented Computing
Editors: Martin Wirsing, Matthias Hölzl
Series Title: Lecture Notes in Computer Science
DOI: https://doi.org/10.1007/978-3-642-20401-2
Publisher: Springer Berlin, Heidelberg
eBook Packages: Computer Science, Computer Science (R0)
Copyright Information: Springer Berlin Heidelberg 2011
Softcover ISBN: 978-3-642-20400-5Published: 09 May 2011
eBook ISBN: 978-3-642-20401-2Published: 15 September 2011
Series ISSN: 0302-9743
Series E-ISSN: 1611-3349
Edition Number: 1
Number of Pages: X, 737
Topics: Software Engineering, Programming Languages, Compilers, Interpreters