| 000 -LEADER |
|---|
| fixed length control field |
04796nam a22004335i 4500 |
| 003 - CONTROL NUMBER IDENTIFIER |
|---|
| control field |
OSt |
| 005 - DATE AND TIME OF LATEST TRANSACTION |
|---|
| control field |
20140310144057.0 |
| 007 - PHYSICAL DESCRIPTION FIXED FIELD--GENERAL INFORMATION |
|---|
| fixed length control field |
cr nn 008mamaa |
| 008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION |
|---|
| fixed length control field |
110907s2011 gw | s |||| 0|eng d |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER |
|---|
| International Standard Book Number |
9783642204012 |
|
978-3-642-20401-2 |
| 050 #4 - LIBRARY OF CONGRESS CALL NUMBER |
|---|
| Classification number |
QA76.758 |
| 082 04 - DEWEY DECIMAL CLASSIFICATION NUMBER |
|---|
| Classification number |
005.1 |
| Edition number |
23 |
| 264 #1 - |
|---|
| -- |
Berlin, Heidelberg : |
| -- |
Springer Berlin Heidelberg, |
| -- |
2011. |
| 912 ## - |
|---|
| -- |
ZDB-2-SCS |
|
|---|
| -- |
ZDB-2-LNC |
| 100 1# - MAIN ENTRY--PERSONAL NAME |
|---|
| Personal name |
Wirsing, Martin. |
| Relator term |
editor. |
| 245 10 - IMMEDIATE SOURCE OF ACQUISITION NOTE |
|---|
| Title |
Rigorous Software Engineering for Service-Oriented Systems |
| Medium |
[electronic resource] : |
| Remainder of title |
Results of the SENSORIA Project on Software Engineering for Service-Oriented Computing / |
| Statement of responsibility, etc |
edited by Martin Wirsing, Matthias Hölzl. |
| 300 ## - PHYSICAL DESCRIPTION |
|---|
| Extent |
X, 737p. |
| Other physical details |
online resource. |
| 440 1# - SERIES STATEMENT/ADDED ENTRY--TITLE |
|---|
| Title |
Lecture Notes in Computer Science, |
| International Standard Serial Number |
0302-9743 ; |
| Volume number/sequential designation |
6582 |
| 505 0# - FORMATTED CONTENTS NOTE |
|---|
| Formatted contents note |
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 Approach Applied to the Finance Case Study -- SENSORIA Patterns. |
| 520 ## - SUMMARY, ETC. |
|---|
| Summary, etc |
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. |
| 650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name as entry element |
Computer science. |
|
|---|
| Topical term or geographic name as entry element |
Software engineering. |
|
|---|
| Topical term or geographic name as entry element |
Computer Science. |
|
|---|
| Topical term or geographic name as entry element |
Software Engineering. |
|
|---|
| Topical term or geographic name as entry element |
Programming Languages, Compilers, Interpreters. |
| 700 1# - ADDED ENTRY--PERSONAL NAME |
|---|
| Personal name |
Hölzl, Matthias. |
| Relator term |
editor. |
| 710 2# - ADDED ENTRY--CORPORATE NAME |
|---|
| Corporate name or jurisdiction name as entry element |
SpringerLink (Online service) |
| 773 0# - HOST ITEM ENTRY |
|---|
| Title |
Springer eBooks |
| 776 08 - ADDITIONAL PHYSICAL FORM ENTRY |
|---|
| Display text |
Printed edition: |
| International Standard Book Number |
9783642204005 |
| 856 40 - ELECTRONIC LOCATION AND ACCESS |
|---|
| Uniform Resource Identifier |
http://dx.doi.org/10.1007/978-3-642-20401-2 |
| 942 ## - ADDED ENTRY ELEMENTS (KOHA) |
|---|
| Source of classification or shelving scheme |
|
| Item type |
E-Book |
