Rigorous Software Engineering for Service-Oriented Systems : Results of the SENSORIA Project on Software Engineering for Service-Oriented Computing - Martin Wirsing

Instant online reading.
Don't wait for delivery!
Go digital and save!

Rigorous Software Engineering for Service-Oriented Systems

Results of the SENSORIA Project on Software Engineering for Service-Oriented Computing

By: Martin Wirsing (Editor), Matthias HÃ¶lzl (Editor)

Write A Review

Paperback | 9 May 2011

At a Glance

Paperback
748 Pages

Dimensions(cm)
22.86 x 15.24 x 4.45

Paperback

$278.75

or 4 interest-free payments of $69.69 with

Ships in 10 to 15 business days

Service-Oriented Computing is a paradigm for developing and providing software that can address many IT challenges, ranging from integrating legacy systems to building new, massively distributed, interoperable, evaluable systems and applications. The widespread use of SOC demonstrates the practical benefits of this approach. Furthermore it raises the standard for reliability, security, and performance for IT providers, system integrators, and software developers. This book documents the main results of Sensoria, an Integrated Project funded by the European Commission in the period 2005-2010. The book presents, as Sensoria's essence, a novel, coherent, and comprehensive approach to the design, formal analysis, automated deployment, and reengineering of service-oriented applications. Following a motivating introduction, the 32 chapters are organized in the following topical parts: modeling in service-oriented architectures; calculi for service-oriented computing; negotiation, planning, and reconfiguration; qualitative analysis techniques for SOC; quantitative analysis techniques for SOC; model-driven development and reverse engineering for service-oriented systems; and case studies and patterns.

Shipping

	Standard Shipping	Express Shipping
Metro postcodes:	$9.99	$14.95
Regional postcodes:	$9.99	$14.95
Rural postcodes:	$9.99	$14.95

Orders over $89.00 qualify for free shipping.

How to return your order

At Booktopia, we offer hassle-free returns in accordance with our returns policy. If you wish to return an item, please get in touch with Booktopia Customer Care.

Additional postage charges may be applicable.

Defective items

If there is a problem with any of the items received for your order then the Booktopia Customer Care team is ready to assist you.

For more info please visit our Help Centre.

You Can Find This Book In

Non-Fiction Business & Management Business Aspects of E-Commerce Computing & I.T.Computer Networking & Communications Computer Programming & Software Development Software Engineering Object-Oriented Programming or OOP Programming & Scripting Languages Compilers & Interpreters

Intro
SENSORIA - Software Engineering for Service-Oriented Overlay Computers	p. 1
A Unifying Formal Basis for the SENSORIA Approach: A White Paper	p. 15
Introduction to the SENSORIA Case Studies	p. 26
Modelling in Service-Oriented Architectures
UML Extensions for Service-Oriented Systems	p. 35
The SENSORIA Reference Modelling Language	p. 61
Model-Driven Development of Adaptable Service-Oriented Business Processes	p. 115
A Formal Support to Business and Architectural Design for Service-Oriented Systems	p. 133
Calculi for Service-Oriented Computing
Core Calculi for Service-Oriented Computing	p. 153
Behavioral Theory for Session-Oriented Calculi	p. 189
Static Analysis Techniques for Session-Oriented Calculi	p. 214
Call-by-Contract for Service Discovery, Orchestration and Recovery	p. 232
Negotiations, Planning, and Reconfiguration
CC-Pi: A Constraint Language for Service Negotiation and Composition	p. 262
Advanced Mechanisms for Service Composition, Query and Discovery	p. 282
Advanced Mechanisms for Service Combination and Transactions	p. 302
Model-Driven Development of Long Running Transactions	p. 326
Hierarchical Models for Service-Oriented Systems	p. 349
Qualitative Analysis Techniques for Service-Oriented Computing
Analysing Protocol Stacks for Services	p. 369
An Abstract, on the Fly Framework for the Verification of Service-Oriented Systems	p. 390
Tools and Verification	p. 408
Specification and Analysis of Dynamically-Reconfigurable Service Architectures	p. 428
Quantitative Analysis Techniques for Service-Oriented Computing
SoSL: A Service-Oriented Stochastic Logic	p. 447
Evaluating Service Level Agreements Using Observational Probes	p. 467
Scaling Performance Analysis Using Fluid-Flow Approximation	p. 486
Passage-End Analysis for Analysing Robot Movement	p. 506
Quantitative Analysis of Services	p. 522
Model-Driven Development and Reverse-Engineering for Service-Oriented Systems
Methodologies for Model-Driven Development and Deployment: An Overview	p. 541
Advances in Model Transformations by Graph Transformation: Specification, Execution and Analysis	p. 561
Runtime Support for Dynamic and Adaptive Service Composition	p. 585
Legacy Transformations for Extracting Service Components	p. 604
The SENSORIA Development Environment	p. 622
Case Studies and Patterns
Specification and Implementation of Demonstrators for the Case Studies	p. 640
SENSORIA Results Applied to the Case Studies	p. 655
Analysing Robot Movement Using the SENSORIA Methods	p. 678
The SENSORIA Approach Applied to the Finance Case Study	p. 698
SENSORIA Patterns	p. 719
Author Index	p. 737
Table of Contents provided by Ingram. All Rights Reserved.

Rigorous Software Engineering for Service-Oriented Systems

Results of the SENSORIA Project on Software Engineering for Service-Oriented Computing

At a Glance

Paperback

Shipping

How to return your order

Defective items

You Can Find This Book In

More in Compilers & Interpreters

Introduction to Automata Theory and Formal Languages

A Logic Building and Problem-solving Approach

C# Programming in easy steps

Master C# fundamentals!

Bad Programming Practices 101

Become a Better Coder by Learning How (Not) to Program

Applied Mathematics with F#

Java in Two Semesters

Featuring JavaFX

NUnit Pocket Reference

Pocket Reference (O'Reilly)

Pragmatic Programmers

Pragmatic Programmers

Metaprogramming Elixir

Write Less Code, Get More Done (and Have Fun!)

Modern Systems Programming with Scala Native

Write Lean, High-Performance Code Without the Jvm

Introduction to Automata Theory and Formal Languages

A Logic Building and Problem-solving Approach

Advanced Asic Chip Synthesis : Using Synopsis Design Compiler and Primetime

Compilers

Principles, Techniques, and Tools

Compilers: Pearson New International Edition 2ed

Principles, Techniques, and Tools

Practical Marko

Progressive HTML Rendering and Micro Front-Ends

Compilers

A Practical Approach

Definitive ANTLR 4 Reference

2nd Edition

C++ Programming in easy steps: 6th Edition

Updated for the GNU C Compiler and Visual Studio 2022

SQL and NoSQL Database Fourth Edition

Programming Languages and Systems

35th European Symposium on Programming, ESOP 2026, Held as Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2026, Turin, Italy, April 11-16, 2026, Proceedings, Part I

Programming Languages and Systems

35th European Symposium on Programming, ESOP 2026, Held as Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2026, Turin, Italy, April 11-16, 2026, Proceedings, Part II

Lecture Notes in Computer Science

7th International Symposium, SAS 2000, Santa Barbara, CA, USA, June 29 - July 6, 2000, Proceedings

Advances in Formal Methods

Algebraic Specification in Action

The Springer International Engineering and Computer Science

KLUWER INTERNATIONAL SERIES IN ENGINEERING AND COMPUTER SCIENCE

Lecture Notes in Computer Science

14th International Workshop, WADT '99, Chateau de Bonas, September 15-18, 1999 Selected Papers

This product is categorised by