Rigorous Software Engineering for Service-Oriented Systems

Titelbild

Rigorous Software Engineering for Service-Oriented Systems

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

von

Hölzl, MatthiasHrsg.Wirsing, MartinHrsg.

BuchPaperback

Verkaufsrang18661inEinführungen

CHF147.90

BuchCHF147.90

eBookCHF118.00

In den Warenkorb

Produktinformationen

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.

Weitere Beschreibungen

Details

ISBN/GTIN978-3-642-20400-5

ProduktartBuch

EinbandPaperback

VerlagSpringer

Erscheinungsdatum09.05.2011

Auflage2011

ReiheProgramming and Software Engineering

Reihen-Nr.6582

Seiten748 Seiten

SpracheEnglisch

MasseBreite 155 mm, Höhe 235 mm, Dicke 40 mm

Gewicht1112 g

WarengruppeInformatik

KategorieEinführungen

Weitere Details

Reihe

ECOOP 2010 -- Object-Oriented Programming

Scenarios: Models, Transformations and Tools

Dependable Software Engineering: Theories, Tools, and Applications

Search Based Software Engineering

System Analysis and Modeling. Technology-Specific Aspects of Models

Automated Technology for Verification and Analysis

Service-Oriented Computing

Critical Systems: Formal Methods and Automated Verification

Computer Safety, Reliability, and Security

Model and Data Engineering

Principles and Practice of Constraint Programming

Programming Languages

Human-Centered and Error-Resilient Systems Development

Theory and Practice of Model Transformations

Modelling Foundations and Applications

Tests and Proofs

Rule Technologies. Research, Tools, and Applications

Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification

Intelligent Tutoring Systems

Kritiken und Kommentare

Bewertung schreiben

Über die Autorin/den Autor

Hölzl, MatthiasHrsg.Wirsing, MartinHrsg.

SENSORIA - Software Engineering for Service-Oriented OverlayComputers.- 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.