Design and implementation of the YAWL system
WMP Van Der Aalst, L Aldred, M Dumas… - … , CAiSE 2004, Riga …, 2004 - Springer
This paper describes the implementation of a system supporting YAWL (Yet Another
Workflow Language). YAWL is based on a rigorous analysis of existing workflow …
Workflow Language). YAWL is based on a rigorous analysis of existing workflow …
A probabilistic approach to modeling and estimating the QoS of web-services-based workflows
Web services promise to become a key enabling technology for B2B e-commerce. One of
the most-touted features of Web services is their capability to recursively construct a Web …
the most-touted features of Web services is their capability to recursively construct a Web …
[图书][B] Workflow patterns: the definitive guide
N Russell, WM Van Der Aalst, AHM Ter Hofstede - 2016 - books.google.com
A comprehensive guide to well-known workflow patterns: recurrent, generic business
process constructs, described from the control-flow, data, and resource perspectives. The …
process constructs, described from the control-flow, data, and resource perspectives. The …
[PDF][PDF] On the Detection and Prediction of Errors in EPC Business Process Models.
J Mendling - 2007 - dl.gi.de
This paper gives an extended abstract of my doctoral thesis on detection and prediction of
errors in EPC business process models (see [Men07]). 1 This research is motivated by the …
errors in EPC business process models (see [Men07]). 1 This research is motivated by the …
On the translation between BPMN and BPEL: Conceptual mismatch between process modeling languages
J Recker, J Mendling - Proceedings of the Workshops and …, 2006 - eprints.qut.edu.au
Business practice shows that, often, different process models are employed in the various
phases of the Business Process Management life cycle, each providing a different paradigm …
phases of the Business Process Management life cycle, each providing a different paradigm …
Global and local QoS guarantee in web service selection
Abstract In Service Oriented systems, complex applications can be composed from a variety
of functionally equivalent Web services which may differ for quality parameters. Under this …
of functionally equivalent Web services which may differ for quality parameters. Under this …
Theoretical foundations for compensations in flow composition languages
R Bruni, H Melgratti, U Montanari - ACM SIGPLAN Notices, 2005 - dl.acm.org
A key aspect when aggregating business processes and web services is to assure
transactional properties of process executions. Since transactions in this context may require …
transactional properties of process executions. Since transactions in this context may require …
A survey of formal verification for business process modeling
S Morimoto - International Conference on Computational Science, 2008 - Springer
Abstract Information systems have to respond well to the changing business environment.
Thus, they must have architecture which withstands the change. To design such systems …
Thus, they must have architecture which withstands the change. To design such systems …
A Petri net approach to analysis and composition of web services
Business process execution language for Web services (BPEL) is becoming the industrial
standard for modeling Web-service-based business processes. Behavioral compatibility for …
standard for modeling Web-service-based business processes. Behavioral compatibility for …