Service Oriented Computing
9th International Conference, ICSOC 2011, Paphos, Cyprus, December 5-8, 2011, Proceedings
Published on 19. November 2011
XVIII, 680 pages
978-3-642-25535-9 (ISBN)
Description
This 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.
More details
Other editions
Additional editions
Gerti Kappel | Zakaria Maamar | Hamid R. Motahari-Nezhad
Service Oriented Computing
9th International Conference, ICSOC 2011, Paphos, Cyprus, December 5-8, 2011, Proceedings
Book
11/2011
Springer
€53.49
Shipment within 7-9 days
Persons
Content
- Title 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
- The 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
- The 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
- Similarity 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
- WS-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
- Availability of the Trust Management Service
- The Credibility Model
- Majority Consensus
- Feedback Density
- Implementation and Experimental Evaluation
- Conclusions and Future Work
- References
- Service Monitoring
- Monere: Monitoring of Service Compositions for Failure Diagnosis
- Introduction
- The Polymorph Search Workflow
- Monere
- Metrics
- Overview
- Dependency Discovery
- Performance Analysis
- Experiment
- Experiment Setup
- Results
- Success Rate.
- Diagnosis Time.
- Failures.
- A Short Cost-Benefit Analysis
- Validity
- Related Work
- Dependency Discovery
- Monitoring
- Conclusions
- References
- Multi-layered Monitoring and Adaptation
- Introduction
- The Integrated Monitoring and Adaptation Framework
- Monitoring and Correlation
- Analysis of Adaptation Needs
- Identification of Multi-layer Adaptation Strategies
- Adaptation Enactment
- The CT Scan Scenario
- Related Work
- Conclusion and Future Work
- References
- Service Composition
- Efficient, Interactive Recommendation of Mashup Composition Knowledge
- Introduction
- Preliminaries and Problem Statement
- Mashup Model and Composition Patterns
- Problem Statement
- Recommending Composition Knowledge: Approach
- Types of Knowledge Patterns
- The Interactive Modeling and Recommender System
- Patterns Knowledge Base
- Exact and Approximate Search of Recommendations
- Implementation and Performance Evaluation
- Related Work
- Conclusion and Future Work
- References
- A Semantic and Information Retrieval Based Approach to Service Contract Selection
- Introduction
- State of the Art
- The Proposed Approach
- Multi-constraint Query Formulation
- Filtering and Query Evaluation
- Service Contract Filtering
- Constraints Evaluation
- Overall Degree of Matching
- An Exhaustive Example
- Experimental Evaluation
- Experiments
- Conclusions and Future Works
- References
- Modeling and Managing Variability in Process-Based Service Compositions
- Introduction
- Related Work
- Motivating Scenario
- Underpinnings of Our Approach
- Feature Modeling Technique
- Feature-Based Service Variability Description
- Feature-Based Service Customization Framework
- Modeling Variability in Process-Based Service Compositions
- Extending BPMN for Representing Variation Points and Variants
- Modeling Variability Intra-dependencies
- Modeling Variability Inter-dependencies
- A Bottom-Up Process Development Methodology
- Overview
- Deriving Executable Process Variants
- Prototype Implementation
- Conclusion
- References
- Quality of Service 2
- QoS-Driven Proactive Adaptation of Service Composition
- Introduction
- Proactive Adaptation Framework
- Proactive Adaptation Process
- Implementation Aspects and Evaluation
- Related Work
- Conclusion and Final Remarks
- References
- A Quality Aggregation Model for Service-Oriented Software Product Lines Based on Variability and Composition Patterns
- Introduction
- Service-Oriented Software Product Lines
- Illustrative Example
- Feature Modeling
- Reference Business Process Model
- Quality of Service Aggregation and Computation for Product Line Architecture
- Quality Criteria for Service-Oriented Product Line
- Combining Variability and Composition Patterns
- Aggregation Rules Based on Variability and Composition Patterns
- Quality of Service Range Aggregation
- Discussion
- Complexity Evaluation
- Critical Analysis
- Related Work
- Conclusion
- References
- Optimization of Complex QoS-Aware Service Compositions
- Introduction
- Related Work
- Orchestration Models and Components
- Orchestration Models
- Orchestration Components
- SystemModel
- Aggregation Functions
- OR-Block
- Directed Acyclic Graph
- Optimization Problem
- Non-linear Optimization Problem
- Linearization of the Non-linear Optimization Problem
- Scalability
- Evaluation
- Conclusion
- References
- Research Papers - Short
- Business Process Modeling
- Goal-Driven Business Process Derivation
- Introduction
- Running Example
- Background
- Goal Refinement and Constraint Specification
- Goal Refinement
- Domain Constraint Specification
- Process Derivation from Goals
- Process Derivation Algorithm
- Prototype Implementation
- Related Work
- Future Work
- References
- Defining and Analysing Resource Assignments in Business Processes with RAL
- Introduction
- Introduction to RAL. Definition and Application
- RAL Semantics
- Mapping the Organizational Structure into DLs
- Mapping RAL Expressions into DLs
- DL-Based Analysis of Resource Assignments
- Related Work
- Conclusions and Future Work
- References
- Stochastic Optimization for Adaptive Labor Staffing in Service Systems
- Introduction
- Problem Formulation
- Our Algorithm (SASOC)
- Simulation Experiments
- Conclusions
- References
- Declarative Enhancement Framework for Business Processes
- Introduction
- The PVDI Framework
- Flow Constraints
- Parallel Constraints
- Frozen Groups
- Semi-frozen Group
- Case-Study: Variability in Local eGovernment
- Related Work
- Conclusion
- References
- XaaS Computing
- RSCMap: Resiliency Planning in Storage Clouds
- Introduction
- Contribtution
- Model and Problem Formulation
- The DR Cost Minimization Framework
- Disaster Recovery Service Class (DRSC) Model
- Replication Solution Model
- Model Assumptions
- Pure Subset Replication Set Property
- Traffic Independent Bandwidth Transformation
- RSCMap Algorithms
- Algorithms for the One-Dimensional Cost Problem
- Algorithms for General Cost Functions
- Related Work and Conclusion
- References
- Dynamically Selecting Composition Algorithms for Economical Composition as a Service
- Introduction
- Motivating Scenario
- Formal Model
- Related Work
- Approach for Selecting Composition Algorithms
- Initialization: Filtering Composition Methods
- Mapping Composition Requests to Composition Methods
- Experimental Evaluation
- Benchmarking and Filtering Composition Methods
- Evaluating Selection Algorithms
- Conclusion
- References
- A Service Model for Development and Test Clouds
- Introduction
- DTC Service Model
- Experiments and Results
- Experimental Data and Setup
- Study 1: Feasibility and Effectiveness of the DTC Service Model
- Study 2: Identifying Profitable Appliances
- Related Work
- Conclusions
- References
- Quality of Service
- Time Based QoS Modeling and Prediction for Web Services
- Introduction
- Related Work
- Dynamic QoS Modeling for Web Services
- QoS Aggregation Based on DQM
- Estimating the Time Cycle Length of Composite Services
- Estimating QoS of Composite Services for Single Invocation
- Establishing DQM for a Composite Service
- Experiment and Evaluation
- Conclusion
- References
- CANPRO: A Conflict-Aware Protocolfor Negotiation of Cloud Resources and Services
- Introduction
- Conflict-Aware Negotiation Protocol
- Evaluation
- Related Work
- Concluding Remarks
- References
- Game-Theoretic Analysis of aWeb Services Collaborative Mechanism
- Introduction
- Related Preliminaries
- Web Services
- Information Service Agents
- Reputation
- Community of Web Services
- The Model
- The Modelled Structure
- The Modelled Game
- Payments
- Cases Overview
- Sj has good QoS.
- Sj has bad QoS.
- Related Work
- Conclusion
- References
- Importance Sampling of Probabilistic Contracts in Web Services
- Introduction
- Probabilistic QoS Contracts
- Importance Sampling
- Dell Supply Chain
- Contract Composition
- Forecasting
- Related Work
- Conclusion
- References
- Particle Filtering Based Availability Prediction for Web Services
- Introduction
- The Service Availability Model and the Particle Filter
- Modeling Web Services Availability
- The Particle Filter
- The Approach
- Experimental Results
- Related Work
- Conclusion
- References
- A Penalty-Based Approach for QoS Dissatisfaction Using Fuzzy Rules
- Introduction
- Motivating Example
- Definition of Penalties
- Modelling Penalties
- Fuzzy Sets for Penalties
- Inference Rules on Penalties
- Experiments and Implementation
- Conclusions and Future Work
- References
- Service Runtime Infrastructures
- Cellular Differentiation-Based Service Adaptation
- Introduction
- Background
- Basic Approach
- Design and Implementation
- Differentiation
- Service Matching
- Dedifferentiation
- Current Status
- Evaluation
- Application
- Conclusion
- References
- Graceful Interruption of Request-Response Service Interactio
- Introduction
- SOCK
- Request-Response Interaction Pattern
- Multiple Request-Response Communication Pattern
- Related and Future Work
- References
- Adaptation of Web Service Interactions Using Complex Event Processing Patterns
- Introduction
- Approach
- Operators
- CEP-Based Adaptation
- General Principles
- Conceptual Architecture
- Proof of Concept
- Demonstration and Experimentation
- Related Work
- Conclusion
- References
- Service Migration and Adoption
- Employing Dynamic Object Offloading as a Design Breakthrough for SOA Adoption
- Introduction
- Problem Characterization
- Middleware Architecture
- Preliminary Evaluation
- Conclusion
- References
- A Survey of SOA Migration in Industry
- Introduction
- Results
- Migration Activities
- Sequencing of Migration Activities
- Legacy Understanding through Personalization
- Service Extraction by Defining the Ideal Services
- Discussion
- Conclusions
- References
- Service Composition
- Forms-Based Service Composition
- Introduction
- Forms-Based Service Composition Approach
- Use Case: News and Financial Data Analysis Process
- Forms as Service Interface Representations
- Forms-Based Control Flow Modeling
- Forms-Based Data Flow Modeling
- Process Verification
- Code Generation for Process Execution
- Related Work
- Conclusion, Discussion and Future Work
- References
- Contractually Compliant Service Compositions
- Introduction
- C-O Diagrams Description and Syntax
- C-O Diagrams Satisfaction Rules
- Conclusions and Future Work
- References
- Profit Sharing in Service Composition
- Introduction
- Model
- Desiderata for Profit Sharing Methods
- Drawbacks in the Existing Profit Sharing Methods
- Profit Sharing by Equal Division
- Profit Sharing by Using the Shapley Value
- Analysis of the Levels of Service Provision
- Case of Thee Component Services
- Effects of the Number of Providers
- Toward Problem Solving
- Concluding Remarks
- References
- Service Applications
- A Predictive Business Agility Model for Service Oriented Architectures
- Introduction
- The Business Agility Index (BAI)
- Predicted Business Agility Index (PBAI)
- The Business Agility Predictor Model
- Building the Predictor Model
- Analysis
- Validating the PBAI
- Threats to Validity
- Conclusions and Future Work
- References
- Personal-Hosting RESTful Web Services for Social Network Based Recommendation
- Introduction
- Personal-Hosting Web Services Architecture
- A Motivating Example
- ph-REST: Personal-Hosting RESTful Web Services
- Social Network Based Recommendation
- Notation
- Prediction Formulas
- Web Services Operations
- Prototype and Evaluation
- Prototype of ph-REST
- Performance of Recommendation Model
- Related Work
- Conclusion
- References
- Work as a Service
- Introduction
- The Changing Nature of Work and Workforce
- Work as a Service (WaaS) Encapsulation
- Coordination Information
- Payload Information
- Information Flow
- Patterns and Structures
- Coordination and Governance
- Agility, Optimization, and Innovation
- Concluding Remarks
- References
- Author Index
