-
1
-
-
23744491104
-
Verification of business processes for web services
-
York University, Ontario, CA
-
F. Breugel and M. Koshkina. Verification of business processes for web services. Technical Report CS-2003-11, York University, Ontario, CA, 2003.
-
(2003)
Technical Report CS-2003-11
-
-
Breugel, F.1
Koshkina, M.2
-
2
-
-
0031699648
-
Workflow evolution
-
F. Casati, S. Ceri, B. Pernici, and G. Pozzi. Workflow Evolution. Data and Knowledge Engineering, 24(3):211-238, 1998.
-
(1998)
Data and Knowledge Engineering
, vol.24
, Issue.3
, pp. 211-238
-
-
Casati, F.1
Ceri, S.2
Pernici, B.3
Pozzi, G.4
-
4
-
-
33746096613
-
Organizational learning with flexible workflow management systems
-
T. Herrmann and K. Just-Hahn. Organizational Learning with Flexible Workflow Management Systems. SIGOIS Bulletin, 17(3):54-57, 1996.
-
(1996)
SIGOIS Bulletin
, vol.17
, Issue.3
, pp. 54-57
-
-
Herrmann, T.1
Just-Hahn, K.2
-
8
-
-
33745152541
-
Formal semantics and analysis of control flow in WS-BPEL
-
H.M.W.
-
C. Ouyang, W. M.P. van der Aalst, S. Breutel, M. Dumas, A.H.M. ter Hofstede, and H.M.W. H.M.W. Verbeek. Formal semantics and analysis of control flow in WS-BPEL. Technical Report Ext. rep. 05-13, BPM Center Report, Eindhoven, 2005.
-
(2005)
Technical Report Ext. Rep. 05-13, BPM Center Report, Eindhoven
-
-
Ouyang, C.1
Van Der Aalst, W.M.P.2
Breutel, S.3
Dumas, M.4
Ter Hofstede, A.H.M.5
Verbeek, H.M.W.6
-
9
-
-
0032024112
-
flex - Supporting dynamic changes of workflows without losing control
-
flex - Supporting Dynamic Changes of Workflows Without Losing Control. JIIS, 10(2):93-129, 1998.
-
(1998)
JIIS
, vol.10
, Issue.2
, pp. 93-129
-
-
Reichert, M.1
Dadam, P.2
-
10
-
-
33750006386
-
On the modeling of correct service flows with BPEL4WS
-
Luxembourg
-
M. Reichert, S. Rinderle, and P. Dadam. On the Modeling of Correct Service Flows with BPEL4WS. In Proc. EMISA'04, pages 117-128, Luxembourg, 2004.
-
(2004)
Proc. EMISA'04
, pp. 117-128
-
-
Reichert, M.1
Rinderle, S.2
Dadam, P.3
-
11
-
-
2542499112
-
-
S. Rinderle, M. Reichert, and P. Dadam. Correctness Criteria for Dynamic Changes in Workflow Systems - A Survey Data and Knowledge Engineering, Special Issue on Advances in Business Process Management, 50(1):9-34, 2004.
-
(2004)
Correctness Criteria for Dynamic Changes in Workflow Systems - A Survey Data and Knowledge Engineering, Special Issue on Advances in Business Process Management
, vol.50
, Issue.1
, pp. 9-34
-
-
Rinderle, S.1
Reichert, M.2
Dadam, P.3
-
12
-
-
2542425817
-
Flexible support of team processes by adaptive workflow systems
-
S. Rinderle, M. Reichert, and P. Dadam. Flexible Support Of Team Processes By Adaptive Workflow Systems. Distributed and Parallel Databases, 16(1):91-116, 2004.
-
(2004)
Distributed and Parallel Databases
, vol.16
, Issue.1
, pp. 91-116
-
-
Rinderle, S.1
Reichert, M.2
Dadam, P.3
-
14
-
-
0037028431
-
Inheritance of workflows: An approach to ta ckling problems related to change
-
W. M.P v. d. Aalst and T. Basten. Inheritance of Workflows: An Approach to Ta ckling Problems Related to Change. Theoret. Comp. Science, 270(1-2):125-203, 2002.
-
(2002)
Theoret. Comp. Science
, vol.270
, Issue.1-2
, pp. 125-203
-
-
Aalst, W.M.P.V.D.1
Basten, T.2
-
15
-
-
33646162407
-
Life after BPEL
-
LNCS 3670
-
W. M.P. v.d. Aalst, M. Dumas, A.H.M. ter Hofstede, E. Verbeek, and P. Wohed. Life after BPEL. In Proc. WS-FM 2005, LNCS 3670, pages 35-50, 2005.
-
(2005)
Proc. WS-FM 2005
, pp. 35-50
-
-
Aalst, W.M.P.V.D.1
Dumas, M.2
Ter Hofstede, A.H.M.3
Verbeek, E.4
Wohed, P.5
-
16
-
-
27144508833
-
-
Prentice Hall
-
Sanjiva Weerawarana, Francisco Curbera, Frank Leymann, Toney Storey, and Donald Ferguson. Web Services Platform Architecture. Prentice Hall, 2005.
-
(2005)
Web Services Platform Architecture
-
-
Weerawarana, S.1
Curbera, F.2
Leymann, F.3
Storey, T.4
Ferguson, D.5
-
17
-
-
0034966027
-
Formal foundation and conceptual design of dynamic adaptations in a workflow management system
-
M. Weske. Formal Foundation and Conceptual Design of Dynamic Adaptations in a Workflow Management System. In Proc. HICSS-34, 2001.
-
(2001)
Proc. HICSS-34
-
-
Weske, M.1
-
18
-
-
0344303302
-
Pattern based analysis of BPEL4WS
-
QUT, Australia
-
P. Wohed, W. M.P. v.d. Aalst, M. Dumas, and A. ter Hofstede. Pattern Based Analysis of BPEL4WS. Technical Report FIT-TR-2002-04, QUT, Australia, 2002.
-
(2002)
Technical Report FIT-TR-2002-04
-
-
Wohed, P.1
Aalst, W.M.P.V.D.2
Dumas, M.3
Ter Hofstede, A.4
|