Sciweavers

BPM
2006
Springer
128views Business» more  BPM 2006»
13 years 6 months ago
Towards Formal Verification of Web Service Composition
Abstract. Web services composition is an emerging paradigm for enabling application integration within and across organizational boundaries. Current Web services composition propos...
Mohsen Rouached, Olivier Perrin, Claude Godart
BPM
2006
Springer
149views Business» more  BPM 2006»
13 years 6 months ago
Verifying BPEL Workflows Under Authorisation Constraints
Abstract. Business Process Execution Language (BPEL), or Web Services BPEL (WS-BPEL), is the standard for specifying workflow process definition using web services. Research on for...
Zhao Xiangpeng, Antonio Cerone, Padmanabhan Krishn...
BPM
2006
Springer
160views Business» more  BPM 2006»
13 years 6 months ago
Analyzing Interacting BPEL Processes
Abstract. This paper addresses the problem of analyzing the interaction between BPEL processes. We present a technology chain that starts out with a BPEL process and transforms it ...
Niels Lohmann, Peter Massuthe, Christian Stahl, Da...
BPM
2006
Springer
132views Business» more  BPM 2006»
13 years 6 months ago
Product-Driven Enterprise Interoperability for Manufacturing Systems Integration
The "Babel tower effect", induced by the heterogeneity of applications available in the operation of enterprises brings to a consistent lack of "exchangeability"...
Michele Dassisti, Hervé Panetto, Angela Tur...
BPM
2006
Springer
126views Business» more  BPM 2006»
13 years 6 months ago
Verification of Business Process Integration Options
Abstract. We propose a meta-meta framework architecture for supporting the behaviour based integration of two business processes. The meta-meta level provides basic integration ope...
Georg Grossmann, Michael Schrefl, Markus Stumptner
BPM
2006
Springer
116views Business» more  BPM 2006»
13 years 6 months ago
Formalizing Service Interactions
Cross-organizational business processes are gaining increased attention these days, especially with the service oriented architecture (SOA) as a realization for business process ma...
Gero Decker, Frank Puhlmann, Mathias Weske
BPM
2006
Springer
111views Business» more  BPM 2006»
13 years 6 months ago
Process Mining and Petri Net Synthesis
The theory of regions and the algorithms for synthesizing a Petri net model from a transition system, which are based on this theory, have interesting practical applications
Ekkart Kindler, Vladimir Rubin, Wilhelm Schäf...
BPM
2006
Springer
115views Business» more  BPM 2006»
13 years 8 months ago
Modeling, Matching and Ranking Services Based on Constraint Hardness
A framework for modeling Semantic Web Service is proposed. It is based on Description Logic (DL), hence it is endowed with a formal semantics and, in addition, it allows for expres...
Claudia d'Amato, Steffen Staab
BPM
2006
Springer
107views Business» more  BPM 2006»
13 years 8 months ago
Workflow Model Compositions Preserving Relaxed Soundness
Juliane Siegeris, Armin Zimmermann
BPM
2006
Springer
153views Business» more  BPM 2006»
13 years 8 months ago
Decision Mining in ProM
Process-aware Information Systems typically log events (e.g., in transaction logs or audit trails) related to the actual business process executions. Proper analysis of these execu...
Anne Rozinat, Wil M. P. van der Aalst