LEADER 13573nam 22009495 450 001 996465920503316 005 20201108012655.0 010 $a3-642-25535-3 024 7 $a10.1007/978-3-642-25535-9 035 $a(CKB)3400000000024095 035 $a(SSID)ssj0000610839 035 $a(PQKBManifestationID)11973984 035 $a(PQKBTitleCode)TC0000610839 035 $a(PQKBWorkID)10638088 035 $a(PQKB)10411393 035 $a(DE-He213)978-3-642-25535-9 035 $a(MiAaPQ)EBC6280900 035 $a(MiAaPQ)EBC5590672 035 $a(Au-PeEL)EBL5590672 035 $a(OCoLC)761717486 035 $a(PPN)157511553 035 $a(EXLCZ)993400000000024095 100 $a20111118d2011 u| 0 101 0 $aeng 135 $aurnn|008mamaa 181 $ctxt 182 $cc 183 $acr 200 10$aService Oriented Computing$b[electronic resource] $e9th International Conference, ICSOC 2011, Paphos, Cyprus, December 5-8, 2011, Proceedings /$fedited by Gerti Kappel, Zakaria Maamar, Hamid R. Motahari-Nezhad 205 $a1st ed. 2011. 210 1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d2011. 215 $a1 online resource (XVIII, 680 p.) 225 1 $aProgramming and Software Engineering ;$v7084 300 $aBibliographic Level Mode of Issuance: Monograph 311 $a3-642-25534-5 327 $aTitle Page -- Preface -- Organization -- Table of Contents -- Research Papers - Long -- Business Process Modeling -- Computing Degree of Parallelism for BPMN Processes -- Introduction -- A Formal Model for Processes -- Homogeneous Processes -- Acyclic Choice-Less Processes -- Asynchronous Processes -- Related Work -- Conclusions -- References -- State Propagation in Abstracted Business Processes -- Introduction -- Motivating Example and Research Challenges -- Activity Instance State Propagation -- Preliminaries -- State Propagation -- Activity Instance State Uniqueness -- Activity Instance State Transition Correctness -- Behavioral Inconsistencies -- Example -- Formalization of Behavioral Inconsistencies -- Classification of Behavioral Inconsistencies -- Related Work -- Conclusion and Future Work -- References -- Push-Enabling RESTful Business Processes -- Introduction -- RESTful Business Processes -- Publishing Processes as Resources -- Process Representations -- Uniform Interface -- Example -- RESTful Push Interactions -- Using HTTP -- Dedicated Push Frameworks -- Architecture -- Representing Process Resources as Feeds -- Push-Enabled RESTful Process Execution Engine -- Related Work -- Conclusions -- References -- Quality of Service 1 -- QoS Analysis for Web Service Compositions Based on Probabilistic QoS -- Introduction -- Related Work -- Preliminaries -- Modeling Composite Services and Composition Patterns -- Model Processing Algorithm for Composite QoS Computation -- Probabilistic QoS Aggregation -- Approach Overview and Underlying Assumptions -- QoS Probability Distribution Calculation for Composition Patterns -- Experiment -- Validation -- Efficiency -- Conclusion -- References -- Constraint-Based Runtime Prediction of SLA Violations in Service Orchestrations -- Introduction -- Motivation -- Constraint-Based QoS Prediction. 327 $aThe General Prediction Framework -- QoS Prediction Architecture -- Representing Orchestrations and Their Continuations -- Deriving QoS Constraints from Continuations -- Using Computational Cost Functions -- Solving the Constraints -- Experimental Evaluations -- Implementation Notes -- Conclusions -- References -- Optimizing Decisions in Web Services Orchestrations -- Introduction -- Fundamentals -- Optimization Models -- QoS in Web Services -- Analytic Hierarchy Process -- Methodology -- Formulating Optimization Problems -- Optimization Routines in Orc -- QOrc: Upgrading Orc for QoS Management -- Interfacing QOrc to Optimization Services -- Optimal Decision Results -- Related Work -- Conclusion -- References -- Formal Methods -- Decidability Results for Choreography Realization -- Introduction -- Basic Definitions -- Interconnected Models and Interaction Models -- Languages and Traces -- Partial Realizability -- The Synchronous Case -- The Asynchronous Case -- Distributed Realizability -- The Synchronous Case -- The Asynchronous Case -- Complexity -- Complete Realizability -- The Synchronous Case -- The Asynchronous Case -- Complexity -- Related Work -- Conclusion and Open Problems -- References -- Conformance Testing for Asynchronously Communicating Services -- Introduction -- Correct Behavior -- Conformance Partner -- Test Case Generation -- Related Work -- Conclusion -- References -- Programming Services with Correlation Sets -- Introduction -- Key Concepts in Service-Oriented Computing -- Language Overview -- Data Structures, Syntax and Semantics -- Properties and Types -- Language Implementation in JOLIE -- Example: A Decentralised Authentication Protocol -- Related Work and Conclusions -- References -- Verification of Deployed Artifact Systems via Data Abstraction -- Introduction -- Artifacts and Artifact Systems. 327 $aThe Order-to-Cash Business Process -- Verification of Artifact Systems -- The General Problem -- Verification of Deployed Artifact Systems -- Conclusions and Future Work -- References -- XaaS Computing -- Profiling-as-a-Service: Adaptive Scalable Resource Profiling for the Cloud in the Cloud -- Introduction -- Profiling as a Service (PraaS) -- Adaptive Resource Profiling in the Cloud -- Constraint-Guided Profiling Adaptation -- Technical Details -- Profiling Service Policy Specifications -- System Architecture -- Prototype Profiling Support -- Evaluation -- Measuring Profiling Overhead -- Measuring Profiling Accuracy -- Stress Testing of the Deployment and Financial Implications -- Evaluation Summary -- Related Work -- Conclusion -- References -- VM Placement in non-Homogeneous IaaS-Clouds -- Introduction -- Overview of Our Approach -- User Provided Hints and Constraints -- Synthesis of Dynamic Infrastructures -- Deployment Plan Production -- Elastic Solver Service -- Evaluation -- Related Work -- Conclusions -- References -- Service Discovery -- Place Semantics into Context: Service Community Discovery from the WSDL Corpus -- Introduction -- Framework for Service Community Discovery -- Community Discovery via NMTF -- Result Interpretation -- Objective Function -- Semantic Extension Integration -- Computing the Semantic Extensions of the WSDL Corpus -- Semantic Extension Integration -- Empirical Study -- Evaluation Metrics -- Experiment Design and Parameter Setting -- Performance Comparison -- Related Work -- Service Community Discovery -- Service Search and Discovery -- Service Selection -- Conclusion and Future Directions -- References -- WTCluster: Utilizing Tags for Web Services Clustering -- Introduction -- Related Work -- WTCluster -- Framework for Web Service Discovery -- Feature Extraction and Similarity Computation. 327 $aSimilarity Integration -- Tag Recommendation -- Experiment -- Experiment Setup -- Performance of Web Service Clustering -- Evaluation of Tag Recommendation Strategies -- Conclusion -- References -- Similarity Function Recommender Service Using Incremental User Knowledge Acquisition -- Introduction -- Preliminaries -- Community Data Graph -- Measuring Entity Similarity -- Overall Architecture -- Exploiting Community User Knowledge -- Recommendation Rule Representation Model -- Matching Recommendation Rules -- Ranking Recommendation Rules -- Incremental Knowledge Acquisition -- Knowledge Acquisition Method: Ripple Down Rule -- Acquiring Knowledge through Different Rule Types -- Attribute Type-Based Rule (Default Rule). -- Key Attribute-based Rule. -- Relationship-based Rule. -- Lexical Relation-based Rule. -- Implementation, Usage, and Evaluation -- Implementation -- Usage Scenario of the Recommender Service -- Evaluation -- Related Work -- Conclusion and Future Work -- References -- Revealing Hidden Relations amongWeb Services Using Business Process Knowledge -- Introduction: Relations among Web Services -- Related Work -- Preliminaries -- The Extended Behavioral Profile -- FormalModel -- Running Example -- Deriving a Global Behavioral Profile -- Merging Individual Behavioral Profiles -- Predicting Potential Resolutions for Unknown Relations (a?b) -- Experiments and Evaluation -- Discussion -- References -- Service Science and Management -- Towards a Service System Ontology for Service Science -- Introduction -- Foundational Concepts of the Service Systems Worldview -- Overview of Service Theories and Frameworks -- Analysis -- Discussion -- Conclusion and Future Work -- References -- Support for the Business Motivation Model in the WS-Policy4MASC Language and MiniZnMASC Middleware -- Introduction -- Background and Related Work. 327 $aWS-Policy4MASC and MiniZnMASC -- Business Motivation Model (BMM) -- Other Related Work -- Extension of WS-Policy4AMSC and MiniZnMASC with Key BMM Constructs -- Evaluation -- Conclusions and Future Work -- References -- WS-Governance: A Policy Language for SOA Governance -- Introduction -- A Motivating Use Case -- Using WS-Policy for SOA Governance -- From WS-Policy to WS-Governance -- SOA Modeling with SADL -- Specifying Governance Properties, and Policy Assertions with GAL -- Automatic Consistency Checking through CSPs -- Checking for Consistency -- WS-Governance Tooling: GDA and GDE -- Related Work -- Conclusions and Future Work -- References -- QoS-Based Task Scheduling in Crowdsourcing Environments -- Introduction -- Related Work -- Crowdsourcing Platform Model -- Integration of Service Level Agreements (SLAs) -- Discussion -- Quality and Skill-Aware Crowdsourcing -- Skills and Suitability -- Worker and Consumer Communication -- Scheduling -- Profile Management -- Experiments -- Experiment Setup -- Experiment Types and Results -- Conclusion and Future Work -- References -- Service Security and Trust -- Model Driven Security Analysis of IDaaS Protocols -- Introduction -- Related Work -- Overview of Logic of Authentication -- Extending Belief Logic -- Reasoning about Users, Actions and Secrets -- Example: Analysis of SAML Web Single Sign-On -- Model Driven Security Protocol Analysis -- Automated Analysis of Belief Logics -- Overview -- Benefits of Model Driven Analysis -- Modeling of Extended Belief Logic -- Unification Algorithms -- OAuth Protocol Analysis -- Conclusion -- References -- Credibility-Based Trust Management for Services in Cloud Environments -- Introduction -- Related Work -- The Trust Management Framework -- Assumptions and Attack Models -- Trust Management Service -- Trust Feedback Collection and Assessment. 327 $aAvailability of the Trust Management Service. 330 $aThis book constitutes the refereed proceedings of the 9th International Conference on Service-Oriented Computing, ICSOC 2011, held in Paphos, Cyprus, in December 2011. The 54 revised papers presented were carefully reviewed and selected from 184 submissions. The papers are organized in topical sections on business process modeling, quality of service, formal methods, XaaS computing, service discovery, service security and trust, service runtime infrastructures and service applications. 410 0$aProgramming and Software Engineering ;$v7084 606 $aSoftware engineering 606 $aComputer communication systems 606 $aApplication software 606 $aInformation storage and retrieval 606 $aManagement information systems 606 $aComputer science 606 $aInformation technology 606 $aBusiness?Data processing 606 $aSoftware Engineering$3https://scigraph.springernature.com/ontologies/product-market-codes/I14029 606 $aComputer Communication Networks$3https://scigraph.springernature.com/ontologies/product-market-codes/I13022 606 $aInformation Systems Applications (incl. Internet)$3https://scigraph.springernature.com/ontologies/product-market-codes/I18040 606 $aInformation Storage and Retrieval$3https://scigraph.springernature.com/ontologies/product-market-codes/I18032 606 $aManagement of Computing and Information Systems$3https://scigraph.springernature.com/ontologies/product-market-codes/I24067 606 $aIT in Business$3https://scigraph.springernature.com/ontologies/product-market-codes/522000 615 0$aSoftware engineering. 615 0$aComputer communication systems. 615 0$aApplication software. 615 0$aInformation storage and retrieval. 615 0$aManagement information systems. 615 0$aComputer science. 615 0$aInformation technology. 615 0$aBusiness?Data processing. 615 14$aSoftware Engineering. 615 24$aComputer Communication Networks. 615 24$aInformation Systems Applications (incl. Internet). 615 24$aInformation Storage and Retrieval. 615 24$aManagement of Computing and Information Systems. 615 24$aIT in Business. 676 $a004.36 702 $aKappel$b Gerti$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aMaamar$b Zakaria$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aMotahari-Nezhad$b Hamid R$4edt$4http://id.loc.gov/vocabulary/relators/edt 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a996465920503316 996 $aService-Oriented Computing$92569016 997 $aUNISA