Service-Oriented Computing - ICSOC 2007: Fifth International Conference, Vienna, Austria, September 17-20, 2007, ProceedingsThisvolumecontainsallofthe Research-Track,Industry-TrackandDemo-Track papers that were selected for presentation at the Fifth International Conference on Service-Oriented Computing (ICSOC 2007), which was held in Vienna, A- tria, September 17–20, 2007. ICSOC 2007 followed the footsteps of four previous successful editions of the International Conference on Service-Oriented Computing that were held in Chicago,USA(2006),Amsterdam,TheNetherlands(2005),NewYorkCity,USA (2004) and Trento, Italy (2003). ICSOC is recognized as the ?agship conference for service-oriented computing research and best practices. ICSOC covers the entire spectrum from theoretical and foundational results to empirical eval- tion, as well as practical and industrial experiences. ICSOC 2007 continued this tradition while introducing several new themes to further these goals. Service-orientedcomputingbringstogetherideasandtechnologiesfrommany diverse ?elds in an evolutionary manner in order to address research challenges including service-based application modeling, service composition, discovery, - tegration, monitoring and management of services, service quality and security, methodologies for supporting service development, grid services, and novel t- ics including information as a service and service-oriented architecture (SOA) governance. To provide a balanced coverage and an equal emphasis across all aspects of service-oriented computing, ICSOC 2007’s topics were divided into seven major areas: Business Service Modeling, Service Assembly, and Service Management, addressing research issues and best practices in the primary life-cycle phases of a service, modeling, assembly, deployment, and management; SOA Runtime and Quality of Service, covering issues spanning all stages of the life-cycle; Grid Services and Service Architectures, combining grid infrastructure concepts with service-oriented computing; and Business and Economical Aspects of Services. |
Contents
Pattern Based SOA Deployment | 1 |
A DomainSpecific Language for Web APIs and Services Mashups | 13 |
A FaultHandling Design for Job Flow Management | 27 |
Faster and More Focused ControlFlow Analysis for Business Process Models Through SESE Decomposition | 43 |
Discovering Service Compositions That Feature a Desired Behaviour | 56 |
An Hybrid QoSAware Discovery of Semantic Web Services Using Constraint Programming | 69 |
Architectural Decisions and Patterns for Transactional Workflows in SOA | 81 |
Workflow Composition for the Web | 94 |
UserDriven Service Lifecycle Management Adopting Internet Paradigms in Telecom Services | 342 |
RunTime Monitoring for PrivacyAgreement Compliance | 353 |
A Foundation for Sharing ServiceBased Personal Processes | 365 |
Addressing the Issue of Service Volatility in Scientific Workflows | 377 |
Facilitating Mobile Service Provisioning in IP Multimedia Subsystem IMS Using Service Oriented Architecture | 383 |
eServices for Hospital Equipment | 391 |
Using Reo for Service Coordination | 398 |
A ContextAware Service Discovery Framework Based on Human Needs Model | 404 |
Stochastic Modeling of CompositeWeb Services for ClosedForm Analysis of Their Performance and Reliability Bottlenecks | 107 |
SLABased Advance Reservations with Flexible and Adaptive Time QoS Parameters | 119 |
Monitoring the QoS for Web Services | 132 |
A Decentralized QoS Registry Architecture forWeb Services | 145 |
Business Process Regression Testing | 157 |
Auditing Business Process Compliance | 169 |
Specification and Verification of Artifact Behaviors in Business Process Models | 181 |
Improving TemporalAwareness of WSAgreement | 193 |
Maintaining Data Dependencies Across BPEL Process Fragments | 207 |
Supporting Dynamics in Service Descriptions The Key to Automatic Service Usage | 220 |
Grid Application Fault Diagnosis Using Wrapper Services and Machine Learning | 233 |
Stochastic COWS | 245 |
Service License Composition and Compatibility Analysis | 257 |
Dynamic Requirements Specification for Adaptable and Open ServiceOriented Systems | 270 |
High Performance Approach for MultiQoS Constrained Web Services Selection | 283 |
An Architecture and a SearchBased Approach | 295 |
Byzantine Fault Tolerant Coordination for Web Services Atomic Transactions | 307 |
Syntactic Validation of Web Services Security Policies | 319 |
An AgentBased ModelDriven Approach for Enabling Interoperability in the Area of Multibrand Vehicle Configuration | 330 |
Weight Assignment of Semantic Match Using User Values and a Fuzzy Approach | 410 |
Grounding OWLS in SAWSDL | 416 |
A Declarative Approach for QoSAware Web Service Compositions | 422 |
Supporting QoS Negotiation with Feature Modeling | 429 |
A Multicriteria Service Ranking Approach Based on NonFunctional Properties Rules Evaluation | 435 |
A Development Process for Selfadapting Service Oriented Applications | 442 |
Automated Dynamic Maintenance of Composite Services Based on Service Reputation | 449 |
Verifying Temporal and Epistemic Properties of Web Service Compositions | 456 |
Research and Implementation of KnowledgeEnhanced Information Services | 462 |
A Model and Rule Driven Approach to Service Integration with Eclipse Modeling Framework | 474 |
Semantic Web Services in Action Enterprise Information Integration | 485 |
Policy Based Messaging Framework | 497 |
Contextualized B2B Registries | 506 |
Bridging Architectural Boundaries Design and Implementation of a Semantic BPM and SOA Governance Tool | 518 |
SOA and Large Scale and Complex Enterprise Transformation | 530 |
RunTime Adaptation of Nonfunctional Properties of Composite Web Services Using AspectOriented Programming | 546 |
An Integration Perspective | 558 |
Other editions - View all
Common terms and phrases
activity algorithm analysis application approach architecture artifact behavior BPEL BPEL process BPMN business process Byzantine fault tolerance call flow client component composite service Computer configuration constraints context coordination database defined definition deployment described discovery domain dynamic engine example execution framework function Globus Toolkit grid Heidelberg ICSOC IEEE implementation input integration interaction interface invoke language license lifecycle LNCS mashup matchmaking metamodel middleware monitoring Narasimhan Eds needs negotiation node ontology operation OWL-S paper parameters performance platform process models proposed protocol query registry replication repository request requirements rules runtime SaaS scenario Section selection semantic Semantic Web Services service composition service description Service Oriented Architecture service provider service-oriented service-oriented architecture SOA governance Software specific Springer task test paths transaction validation variable web crawler workflow workflow graph WS-Policy WS-SecurityPolicy WSDL WSMO