-
1
-
-
2542499112
-
Correctness criteria for dynamic changes in workflow systems - A survey
-
Rinderle, S., Reichert, M., Dadam, P.: Correctness criteria for dynamic changes in workflow systems - a survey. DKE 50 (2004) 9-34
-
(2004)
DKE
, vol.50
, pp. 9-34
-
-
Rinderle, S.1
Reichert, M.2
Dadam, P.3
-
2
-
-
2542425817
-
Flexible support of team processes by adaptive workflow systems
-
Rinderle, S., Reichert, M., Dadam, P.: Flexible support of team processes by adaptive workflow systems. Distributed and Parallel Databases 18 (2004) 91-116
-
(2004)
Distributed and Parallel Databases
, vol.18
, pp. 91-116
-
-
Rinderle, S.1
Reichert, M.2
Dadam, P.3
-
3
-
-
0003296693
-
The P2P approach to interorganizational workflows
-
Interlaken, Switzerland
-
Aalst, W., Weske, M.: The P2P approach to interorganizational workflows. In: Proc. CAiSE'06, Interlaken, Switzerland (2001)
-
(2001)
Proc. CAiSE'06
-
-
Aalst, W.1
Weske, M.2
-
5
-
-
33845407894
-
-
RosettaNet: RosettaNet home page, http://www.rosettanet.org (2004)
-
(2004)
RosettaNet Home Page
-
-
-
6
-
-
0001838826
-
Interorganizational workflows: An approach based on message sequence charts and petri nets
-
Aalst, W.: Interorganizational workflows: An approach based on message sequence charts and petri nets. Systems Analysis - Modelling - Simulation 34 (1999) 335-367
-
(1999)
Systems Analysis - Modelling - Simulation
, vol.34
, pp. 335-367
-
-
Aalst, W.1
-
7
-
-
23044520720
-
Inter-operability of workflow applications: Local criteria for global soundness
-
Springer-Verlag
-
Kindler, E., Martens, A., Reisig, W.: Inter-operability of workflow applications: Local criteria for global soundness. In: Business Process Management, Models, Techniques, and Empirical Studies, Springer-Verlag (2000) 235-253
-
(2000)
Business Process Management, Models, Techniques, and Empirical Studies
, pp. 235-253
-
-
Kindler, E.1
Martens, A.2
Reisig, W.3
-
8
-
-
85001785595
-
Matchmaking for business processes based on choreographies
-
Wombacher, A., Fankhauser, P., Mahleko, B., Neuhold:, E.: Matchmaking for business processes based on choreographies. IJWS 1 (2004) 14-32
-
(2004)
IJWS
, vol.1
, pp. 14-32
-
-
Wombacher, A.1
Fankhauser, P.2
Mahleko, B.3
Neuhold, E.4
-
10
-
-
0003620778
-
-
Addison Wesley
-
Hopcroft, J.E., Motwani, R., Ullman, J.D.: Introduction to Automata Theory, Languages, and Computation. Addison Wesley (2001)
-
(2001)
Introduction to Automata Theory, Languages, and Computation
-
-
Hopcroft, J.E.1
Motwani, R.2
Ullman, J.D.3
-
11
-
-
4744345554
-
Transforming BPEL into annotated deterministic finite state automata enabling process annotated service discovery
-
Wombacher, A., Fankhauser, P., Neuhold, E.: Transforming BPEL into annotated deterministic finite state automata enabling process annotated service discovery. In: Proc. of Intl. Conf. on Web Services (ICWS). (2004) 316-323
-
(2004)
Proc. of Intl. Conf. on Web Services (ICWS)
, pp. 316-323
-
-
Wombacher, A.1
Fankhauser, P.2
Neuhold, E.3
-
12
-
-
33845444949
-
-
Technical Report TR-CTIT-05-47, University of Twente
-
Rinderle, S., Wombacher, A., Reichert, M.: On the controlled evolution of process choreographies. Technical Report TR-CTIT-05-47, University of Twente (2005)
-
(2005)
On the Controlled Evolution of Process Choreographies
-
-
Rinderle, S.1
Wombacher, A.2
Reichert, M.3
-
14
-
-
33749060209
-
Decentralized decision making protocol for service composition
-
accepted for publication
-
Wombacher, A.: Decentralized decision making protocol for service composition. In: Proc IEEE Int Conf on Web Services (ICWS). (2005) (accepted for publication).
-
(2005)
Proc IEEE Int Conf on Web Services (ICWS)
-
-
Wombacher, A.1
-
17
-
-
33646681863
-
Process composition of web services with complex conversation protocols
-
Yi, X., Kochut, K.J.: Process composition of web services with complex conversation protocols. In: Proc. Conf. on Design, Analysis, and Simulation of Distributed Systems Symposium at Adavanced Simulation Technology. (2004) 141-148
-
(2004)
Proc. Conf. on Design, Analysis, and Simulation of Distributed Systems Symposium at Adavanced Simulation Technology
, pp. 141-148
-
-
Yi, X.1
Kochut, K.J.2
-
18
-
-
84948960269
-
A formal foundation for distributed workflow execution based on state charts
-
Wodtke, D., Weikum, G.: A formal foundation for distributed workflow execution based on state charts. In: Proc. ICDT'06. (1997) 230-246
-
(1997)
Proc. ICDT'06
, pp. 230-246
-
-
Wodtke, D.1
Weikum, G.2
-
19
-
-
0037028431
-
Inheritance of workflows: An approach to tackling problems related to change
-
v.d. Aalst, W., Basten, T.: Inheritance of workflows: An approach to tackling problems related to change. Theoret. Comp. Science 270 (2002) 125-203
-
(2002)
Theoret. Comp. Science
, vol.270
, pp. 125-203
-
-
V.D. Aalst, W.1
Basten, T.2
-
20
-
-
0031699648
-
Workflow evolution
-
Casati, F., Ceri, S., Pernici, B., Pozzi, G.: Workflow evolution. DKE 24 (1998) 211-238
-
(1998)
DKE
, vol.24
, pp. 211-238
-
-
Casati, F.1
Ceri, S.2
Pernici, B.3
Pozzi, G.4
|