000 05345nam a22005295i 4500
001 978-3-642-20401-2
003 DE-He213
005 20240730174203.0
007 cr nn 008mamaa
008 110907s2011 gw | s |||| 0|eng d
020 _a9783642204012
_9978-3-642-20401-2
024 7 _a10.1007/978-3-642-20401-2
_2doi
050 4 _aQA76.758
072 7 _aUMZ
_2bicssc
072 7 _aCOM051230
_2bisacsh
072 7 _aUMZ
_2thema
082 0 4 _a005.1
_223
245 1 0 _aRigorous Software Engineering for Service-Oriented Systems
_h[electronic resource] :
_bResults of the SENSORIA Project on Software Engineering for Service-Oriented Computing /
_cedited by Martin Wirsing, Matthias Hölzl.
250 _a1st ed. 2011.
264 1 _aBerlin, Heidelberg :
_bSpringer Berlin Heidelberg :
_bImprint: Springer,
_c2011.
300 _aX, 737 p. 261 illus., 90 illus. in color.
_bonline resource.
336 _atext
_btxt
_2rdacontent
337 _acomputer
_bc
_2rdamedia
338 _aonline resource
_bcr
_2rdacarrier
347 _atext file
_bPDF
_2rda
490 1 _aProgramming and Software Engineering,
_x2945-9168 ;
_v6582
505 0 _aSENSORIA - 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 RobotMovement Using the SENSORIA Methods -- The SENSORIA Approach Applied to the Finance Case Study -- SENSORIA Patterns.
520 _aService-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 _aSoftware engineering.
_94138
650 0 _aCompilers (Computer programs).
_93350
650 1 4 _aSoftware Engineering.
_94138
650 2 4 _aCompilers and Interpreters.
_931853
700 1 _aWirsing, Martin.
_eeditor.
_4edt
_4http://id.loc.gov/vocabulary/relators/edt
_9111466
700 1 _aHölzl, Matthias.
_eeditor.
_4edt
_4http://id.loc.gov/vocabulary/relators/edt
_9111467
710 2 _aSpringerLink (Online service)
_9111468
773 0 _tSpringer Nature eBook
776 0 8 _iPrinted edition:
_z9783642204005
776 0 8 _iPrinted edition:
_z9783642204029
830 0 _aProgramming and Software Engineering,
_x2945-9168 ;
_v6582
_9111469
856 4 0 _uhttps://doi.org/10.1007/978-3-642-20401-2
912 _aZDB-2-SCS
912 _aZDB-2-SXCS
912 _aZDB-2-LNC
942 _cELN
999 _c89305
_d89305