Sciweavers

348 search results - page 29 / 70
» Formalizing WSBPEL Business Processes Using Process Algebra
Sort
View
WISE
2005
Springer
15 years 5 months ago
Towards the Automation of E-Negotiation Processes Based on Web Services - A Modeling Approach
Abstract. E-Negotiation is the process of conducting negotiations between business partners using electronic means. The interest in e-negotiation is motivated by its potential to p...
Stefanie Rinderle, Morad Benyoucef
EPK
2006
84views Management» more  EPK 2006»
15 years 1 months ago
Nautilus Event-driven Process Chains: Syntax, Semantics, and their Mapping to BPEL
Abstract: Nautilus Event-driven Process Chains (N-EPCs) are a variant of Eventdriven process chains allowing multiple events between functions. This allows events to be used as tra...
Oliver Kopp, Tobias Unger, Frank Leymann
EACL
1993
ACL Anthology
15 years 1 months ago
Formal Properties of Metrical Structure
This paper offers a provisional mathematical typology of metrical representations. First, a family of algebras corresponding to different versions of grid and bracketed grid theor...
Marc van Oostendorp
SOCA
2007
IEEE
15 years 6 months ago
Static Analysis of Business Artifact-centric Operational Models
Business Artifacts are the core entities used by businesses to record information pertinent to their operations. Business operational models are representations of the processing ...
Cagdas E. Gerede, Kamal Bhattacharya, Jianwen Su
CSCWD
2008
Springer
15 years 1 months ago
Running smart process based on goals
When web services are used to coalesce around the distributed applications, one prominent solution to manage and coordinate web services is the use of process management. Many res...
Zongmin Shang, Haiyang Wang, Liqiang Wang, Hui Li,...