Sciweavers

29 search results - page 3 / 6
» icsoc 2007
Sort
View
ICSOC
2007
Springer
14 years 3 months ago
Service Selection Based on Non-functional Properties
Service-oriented Architecture supports software to be composed from services dynamically. Selecting and composing appropriate services according to business process, policies and n...
Stephan Reiff-Marganiec, HongQing Yu, Marcel Tilly
ICSOC
2007
Springer
14 years 3 months ago
Managing Non-Functional Properties of Inter-enterprise Business Service Delivery
Abstract. In inter-enterprise business service collaborations management of nonfunctional properties has become a fundamental issue, as business management and computing infrastruc...
Toni Ruokolainen, Lea Kutvonen
ICSOC
2007
Springer
14 years 3 months ago
BPEL4Job: A Fault-Handling Design for Job Flow Management
Workflow technology is an emerging paradigm for systematic modeling and orchestration of job flow for enterprise and scientific applications. This paper introduces BPEL4Job, a BPEL...
Wei Tan, Liana Fong, Norman Bobroff
ICSOC
2007
Springer
14 years 3 months ago
Pluggable Framework for Enabling the Execution of Extended BPEL Behavior
Adding runtime support for BPEL extensions typically r reacting to navigation events from a BPEL engine executing an extende model and (2) affecting the engine’s navigation behav...
Rania Khalaf, Dimka Karastoyanova, Frank Leymann
ICSOC
2007
Springer
14 years 3 months ago
Verifying Temporal and Epistemic Properties of Web Service Compositions
Model checking Web service behaviour has remained limited to checking safety and liveness properties. However when viewed as a multi agent system, the system composition can be ana...
Alessio Lomuscio, Hongyang Qu, Marek J. Sergot, Mo...