Service-Oriented Computing

Name: Service-Oriented Computing | 13th International Conference, ICSOC 2015, Goa, India, November 16-19, 2015, Proceedings
Brand: Springer
Price: 53.49 EUR
Availability: OnlineOnly

13th International Conference, ICSOC 2015, Goa, India, November 16-19, 2015, Proceedings

Alistair Barros Daniela Grigori Nanjangud C. Narendra Hoa Khanh Dam(Editor)

Springer (Publisher)

Published on 25. November 2015

XVIII, 500 pages

E-Book

PDF with digital watermarking

System requirements

978-3-662-48616-0 (ISBN)

€53.49incl. 7% vat

System requirements

for PDF with digital watermarking

E-Book Single Licence

Available for download

Description

More details

Other editions

Content

Intro
Preface
ICSOC 2015 Organization
Contents
Internet of Services/Things
Combining Practical and Dialectical Commitments for Service Engagements
1 Introduction
2 Background
2.1 Practical Commitments
2.2 Computation Tree Logic
3 Dialectical Commitments
3.1 The Proposed Lifecycle of Dialectical Commitments
3.2 Formalization
3.3 Modeling Patterns
4 Evaluation
4.1 Verification
4.2 Benefits of Dialectical Commitments
5 Related Work
6 Discussion and Future Work
References
Positron: Composing Commitment-Based Protocols
1 Introduction
2 Background and Motivation
3 Technical Approach
4 Evaluation of Positron Modeling and Tools
5 Discussion: Literature and Future Work
References
Analysis of Timing Constraints in Heterogeneous Middleware Interactions
1 Introduction
2 Interconnecting Heterogeneous Interaction Paradigms
3 Timing Analysis of Interactions
4 Timed Automata Model
4.1 Timed Automata Model of XSB
4.2 Verification of Properties
5 Results: Analysis of Timing Thresholds
5.1 Transaction Success Rates
5.2 Latency vs. Success Rate
5.3 Comparison with XSB Implementation
6 Related Work
7 Conclusions
References
Context-Driven Assessment of Provider Reputation in Composite Provision Scenarios
1 Introduction
2 Delegation Model
3 Rating Model
4 Context Exploitation for Reputation Assessment
4.1 Delegation Context Relevance Assessment
4.2 Reputation Model Extension
5 Experiments and Results
5.1 Customer Rating Generation
5.2 Evaluation Strategies and Measure
5.3 Results
6 Discussion
7 Related Work
8 Conclusion
References
Data Services and Cloud Platform Management
Runtime Model-Based Privacy Checks of Big Data Cloud Services
1 Introduction
2 Privacy Policy Violations in Big Data Cloud Services
3 R-PRIS: Privacy Checks for Big Data Cloud Services
3.1 Typed Runtime Model
3.2 Privacy Policy Checks
4 Proof of Concept Implementation
4.1 Prototype Architecture
4.2 Cloud Service and Infrastructure
4.3 Change Scenarios
5 Performance Evaluation
5.1 Experimental Evaluation
5.2 Runtime Complexity Analysis
6 Related Work
7 Conclusion and Future Work
References
Optimizing Workload Category for Adaptive Workload Prediction in Service Clouds
1 Introduction
2 System Architecture
3 Model Formulation and Solution
3.1 The Workload
3.2 The Workload Classification Problem
3.3 The Workload Classification Optimization
3.4 The Optimal Solution
4 Experimental Analysis
4.1 Setup of the Experiment
4.2 Workload Prediction Methods Analysis
4.3 Classified Prediction Effect Analysis
4.4 Influence of the Parameters on Workload Classification Optimization
5 Related Work
6 Conclusions and Future Work
References
On Developing and Operating of Data Elasticity Management Process
1 Introduction
2 Motivation and Approach
3 Elasticity Model for Data Assets
3.1 Data Assets and Their Quality of Results
3.2 Data Elasticity Management Process
3.3 Managing Primitive Actions
3.4 Elastic Data Asset
4 Generating and Operating Data Elasticity Management Processes
4.1 Generating Data Elasticity Management Processes
4.2 Runtime for Data Elasticity Management Process
5 Evaluation
5.1 Experiment Settings
5.2 Generating Data Elasticity Management Processes
5.3 Operating Data Elasticity Management Processes
6 Related Work
7 Conclusions and Future Work
References
Cloud Services Management
Supporting Cloud Service Operation Management for Elasticity
1 Introduction
2 Motivation
3 Analyzing Interactions in Elasticity Operations Management
3.1 Role Interactions
3.2 Elasticity Operations and Roles
4 Elasticity Operations Management Platform
4.1 Entities of the Interaction
4.2 Interaction Protocols for Supervisory Control of Elasticity
4.3 Elasticity Directives-Driven Interactions
4.4 Interaction Aggregation
5 Prototype and Experiments
5.1 Prototype
5.2 Elasticity Operations Management Features
6 Related Work
7 Conclusions and Future Work
References
rSLA: Monitoring SLAs in Dynamic Service Environments
1 Introduction
2 Related Work
3 Overview of the Approach
3.1 System Model
3.2 SLA Model
4 rSLA Language
4.1 Design Considerations
4.2 rSLA Language Elements
5 rSLA Runtime Architecture and Implementation
5.1 rSLA Service
5.2 rSLA Xlets
5.3 Case Study
6 Summary and Conclusions
References
AISLE: Assessment of Provisioned Service Levels in Public IaaS-Based Database Systems
1 Introduction
2 Background
3 Assessing Cloud Service Levels
3.1 Deriving a Model for Expected Service Levels
3.2 Normalizing Monitoring Data
4 Expected Service Level Model
4.1 Analytical Expected Service Level Model
4.2 Experiment Setup
4.3 Experiment Results
4.4 Discussion
5 Use Case: Cassandra
5.1 Deployment Enviroment
5.2 AISLE Application
5.3 Discussion
6 Related Work
7 Conclusion
References
Service Composition
Are RESTful APIs Well-Designed? Detection of their Linguistic (Anti)Patterns
1 Introduction
2 Related Work
3 REST Linguistic Patterns and Antipatterns
4 The DOLAR Approach
4.1 Analysis of Linguistic Patterns and Antipatterns
4.2 Implementation of Interfaces and Detection Algorithms
4.3 Detection of Linguistic Patterns and Antipatterns
5 Validation
5.1 Hypotheses
5.2 Subjects and Objects
5.3 Validation Process
5.4 Interpretation of the Results
5.5 Further Discussion of the Results
5.6 Discussion on the Hypotheses
5.7 Threats to Validity
6 Conclusion and Future Work
References
Aggregating Functionality, Use History, and Popularity of APIs to Recommend Mashup Creation
1 Introduction
2 Related Work
3 The Proposed Approach
3.1 Functionality-Based Candidate API Discovery
3.2 Historical Usage Based API Discovery
3.3 Popularity Based API Ranking
4 Experiments and Evaluation
4.1 Training Probabilistic Topic Models
4.2 Evaluation Result
5 Conclusion
References
Integrating Gaussian Process with Reinforcement Learning for Adaptive Service Composition
1 Introduction
2 Related Work
3 Problem Formulation
4 Reinforcement Learning for Service Composition Based on Gaussian Process
4.1 Predicting Q-Value Based on Gaussian Process
4.2 Constructing the Sparse Dictionary Online
4.3 Updating the Gaussian Process Parameters
4.4 OGPQ Algorithm
5 Experiments and Analysis
5.1 Experiment Setting
5.2 Result Analysis
6 Conclusions and Future Directions
References
Scalable SaaS-Based Process Customization with CaseWalls
1 Introduction
2 Case-Knowledge Representation and Reuse
3 Knowledge-Reuse-Driven and Declarative Case Definition Language
3.1 Knowledge-Reuse Language
3.2 Declarative Case Definition Language
3.3 Declarative Case Manipulation Language
4 Implementation
4.1 Architecture
4.2 Knowledge Graph
4.3 Event Management System
4.4 Orchestration Engine: Generating Rules
5 Evaluation
6 Related Work and Concluding Remarks
References
Business Process Management
Correlation Mining: Mining Process Orchestrations Without Case Identifiers
1 Introduction
2 Preliminaries
3 Correlation Mining Technique
3.1 Precede/Succeed Matrix
3.2 Duration Matrix
3.3 Orchestration Model Construction
4 Evaluation
4.1 Evaluation Setup
4.2 Synthetic Event Logs
4.3 Real-World Event Log
5 Related Work
6 Conclusion
References
Verification of GSM-Based Artifact-Centric Systems by Predicate Abstraction
1 Introduction
2 The Guard-Stage-Milestone Language and Multi-agent Systems
3 Three-Valued Abstraction for AC-MAS
4 Implementation and Experimental Results
5 Conclusions
References
Mining and Querying Process Change Information Based on Change Trees
1 Introduction
2 Change Log Definitions
3 Change Trees
4 n-Gram Change Trees
5 Comparison with Other Representations
6 Proof-of-Concept and Real-World Example
7 Related Work
8 Conclusion and Future Work
References
Property Preservation in Adaptive Case Management
1 Introduction
2 Motivation
3 The Formal GSM Model
4 Reasoning About GSM Executions
4.1 Stage i/o Assignments
4.2 Conditional Emulation
4.3 The Lifting Lemma
5 Property Preserving Schema Modifications
5.1 Deletion
5.2 Insertion
6 Related Work
7 Conclusion
References
Cloud Services (Short Papers)
Modelling and Optimizing Bandwidth Provision for Interacting Cloud Services
1 Introduction
2 Background and Related Work
3 Modelling Bandwidth Provision
3.1 The Communication Input-Output Model
3.2 Bandwidth Provision for VMs
4 The Communication-Oriented Simulated Annealing Algorithm
5 Performance Evaluation
5.1 Accuracy of the CIO Model
5.2 The Effectiveness of CSA
References
Four-Fold Auto-Scaling on a Contemporary Deployment Platform Using Docker Containers
1 Introduction
2 Motivating Example
3 Optimization Approach
4 Evaluation
5 Related Work
6 Conclusions
References
An SLA-Based Advisor for Placement of HPC Jobs on Hybrid Clouds
1 Introduction
2 Advisory Service and Policies
3 Application Case Study in Oil and Gas Industry
4 Evaluation
4.1 Results: Costs and Time Savings
4.2 Results: Accuracy of the Application Profile
5 Conclusions
References
Optimizing Long-term IaaS Service Composition
1 Introduction
2 Related Work
3 The Long-term Economic Model of the IaaS Provider
3.1 The Long-term Economic Valuation
3.2 Long-term Economic Expectation and Fitness of a Composition
3.3 Genetic Optimization Using the Economic Model
4 Experiments and Results
4.1 Setup of the Long-term Economic Model
4.2 Efficiency of the Economic Model Based Composition
5 Conclusion
References
QoS and Trust (Short Papers)
On the Complexity of QoS-Aware Service Selection Problem
1 Introduction
2 System Model and Problem Statement
2.1 Workflows
2.2 Services and Quality of Service
2.3 Problem Statement
3 Complexity Upper Bounds
4 Complexity Lower Bounds
5 Conclusion
References
TRACE: A Dynamic Model of Trust for People-Driven Service Engagements
1 Introduction
2 A Conceptual Model of Trust
3 The TRACE Model
4 Evaluation
5 Results and Discussion
References
A Context-Aware Approach for Personalised and Adaptive QoS Assessments
1 Introduction
2 Context Model
3 Context-Aware QoS Learning
3.1 Service Observation
3.2 Agent Configuration and Learning Model
4 Experiments and Results
4.1 Value Model Implementation
4.2 Dataset
4.3 Evaluation Strategies and Measure
4.4 Results
5 Related Work
6 Conclusion
References
Service Composition (Short Papers)
Spatio-Temporal Composition of Crowdsourced Services
1 Introduction
2 Spatio-Temporal Model for Crowdsourced Service
2.1 Spatio-Temporal Model for Atomic Crowdsourced Services
2.2 Spatio-Temporal Model for Composite Crowdsourced Services
2.3 Spatio-Temporal Index Data Structure for Crowdsourced Services
3 An Extensible Quality Model for Crowdsourced Service
3.1 Quality Model for Atomic Crowdsourced Service
3.2 Quality Model for Composite Crowdsourced Service
4 QoS-Aware Spatio-Temporal Union Composition Algorithm
4.1 Crowdsourced Service Filtering
4.2 Decomposition
4.3 Local Union Composition
4.4 Global Union Composition
5 Experiments Results
6 Conclusion
References
Design for Adaptation of Distributed Service-Based Systems
1 Introduction
2 Motivating Scenario
3 General Framework and Approach
4 Evaluation
5 Related Works and Conclusions
References
Industry Track Papers
Automatic Deployment of Services in the Cloud with Aeolus Blender
1 Introduction
2 Deploying a WordPress Farm with Blender
3 Blender Internals
4 Implementation
5 Related Work
6 Conclusions
References
Analyzing Resource Behavior to Aid Task Assignment in Service Systems
1 Introduction
2 Related Work
2.1 Modeling Service Systems
2.2 Resource Behavior Analysis
3 Background
3.1 Service System
3.2 Setting and Data Collection
4 Data Analysis
4.1 Performance Improvement Doing Similar Work
4.2 Efficiency Improvement with Variety in Work
4.3 Influence of Multi-skilling on Variety in Work
4.4 Dispatching Considering Resource Behavior
5 Simulation Based Experimentation
6 Threats to Validity
7 Conclusion and Future Work
References
SenseX: Design and Deployment of a Pervasive Wellness Monitoring Platform for Workplaces
1 Introduction
2 Related Work
3 System Design
3.1 Sensing and Actuation Layer
3.2 Activity Inference and Fusion Layer
3.3 Analytics and Notifications
4 Implementation Details
5 Evaluation
5.1 Sensing Coverage
5.2 Triggered-Sensing and Battery Consumption
5.3 Workplace Activity Patterns
5.4 Effect of Notifications
5.5 Effect of Incentives and Gamification
6 Discussion
References
Opportunities for Process Improvement: A Cross-Clientele Analysis of Event Data Using Process Mining
1 Introduction
2 Related Work
3 Background
4 Framework for Cross-Clientele Analysis
5 Cross-Clientele Analysis for Transaction Based Outsourcing (TBO) Business
5.1 Business Context
5.2 Data Set
5.3 Process Discovery and Complexity Analysis
5.4 Compliance Analysis
5.5 Performance Analysis
5.6 Root Cause Analysis
6 Conclusions
References
Pricing IT Services Deals: A More Agile Top-Down Approach
Abstract
1 Introduction
2 Related Work
3 Methodology
3.1 Definitions
3.2 Peer Selection and Calculation Logic
3.3 Win Prediction
4 Numerical Results
5 Conclusion and Future Work
References
Demonstration Track Papers
SimMon: A Toolkit for Simulating Monitoring Mechanism in Cloud Computing Environments
1 Motivation
2 Architecture of SimMon
3 Implementation
4 Demonstration
References
CASE: A Platform for Crowdsourcing Based API Search
1 Introduction and Motivation
2 Algorithm Framework
3 User Interface
4 Conclusion and Outlook
References
WSTP: Web Services Tagging Platform
Abstract
1 Introduction
2 System Overview
2.1 Web Services Tagging Process
2.2 Semantic Search of Linked Web Services
3 Demonstration
4 Future Work
References
Personalized Messaging Engine: The Next Step in Employee Engagement
1 Introduction
2 System Architecture
2.1 Overview
2.2 SOA Based Integration
3 Features in PME
4 Conclusion
References
Offering Context-Aware Personalised Services for Mobile Users
1 Introduction
2 System Architecture
3 Use Case
4 Conclusion and Further Work
References
Author Index

System requirements

Save as PDF Copy link into clipboard

Schweitzer Fachinformationen

Service-Oriented Computing

Description

More details

Other editions

Additional editions

Content

System requirements