Sciweavers

6025 search results - page 253 / 1205
» Flexibility in Service Processes
Sort
View
CAISE
2008
Springer
15 years 9 months ago
Modelling, Simulation, and Performance Analysis of Business Processes Involving Ubiquitous Systems
A recent trend in Ubiquitous Computing is that embedded software (e.g. in production machines, wired or wireless networked sensors and actuators, or RFID readers) directly offers W...
Patrik Spieß, Dinh Khoa Nguyen, Ingo Weber, ...
ESWS
2009
Springer
15 years 5 months ago
Towards an Agent Based Approach for Verification of OWL-S Process Models
Abstract. In this paper we investigate the transformation of OWL-S process models to ISPL - the system description language for MCMAS, a symbolic model checker for multi agent syst...
Alessio Lomuscio, Monika Solanki
ICSOC
2007
Springer
16 years 1 months ago
An Execution Engine for Semantic Business Processes
In this paper we present the architecture and design of an extended BPEL engine that implements the operational semantics of BPEL4SWS. BPEL4SWS is an extension of the BPEL language...
Tammo van Lessen, Jörg Nitzsche, Marin Dimitr...
AAAI
2007
15 years 9 months ago
Representing and Reasoning about Commitments in Business Processes
A variety of business relationships in open settings can be understood in terms of the creation and manipulation of commitments among the participants. These include B2C and B2B c...
Nirmit Desai, Amit K. Chopra, Munindar P. Singh
WSC
2008
15 years 9 months ago
Simulation of process execution monitoring and adjustment schemes
Optimization and design of production and service operations has been a cornerstone of simulation applications for many years. Recently there has been increasing interest in excel...
Russell R. Barton, Jun Shu