-
1
-
-
0031675339
-
Verification problems in conceptual workflow specifications
-
ter Hofstede, A.H.M., Orlowska, M.E., Rajapakse, J.: Verification problems in conceptual workflow specifications. Data Knowl. Eng. 24(3), 239-256 (1998)
-
(1998)
Data Knowl. Eng
, vol.24
, Issue.3
, pp. 239-256
-
-
ter Hofstede, A.H.M.1
Orlowska, M.E.2
Rajapakse, J.3
-
3
-
-
0032027597
-
Modeling and analysis of workflows using petri nets
-
Adam, N.R., Atluri, V., Huang, W-K.: Modeling and analysis of workflows using petri nets. J. Intell. Inf. Syst. 10(2), 131-158 (1998)
-
(1998)
J. Intell. Inf. Syst
, vol.10
, Issue.2
, pp. 131-158
-
-
Adam, N.R.1
Atluri, V.2
Huang, W.-K.3
-
6
-
-
84931336184
-
A data warehouse for workflow logs
-
Springer, Heidelberg
-
Eder, J., Olivotto, G.E., Gruber, W.: A data warehouse for workflow logs. In: Proceedings of the First International Conference on Engineering and Deployment of Cooperative Information Systems, pp. 1-15. Springer, Heidelberg (2002)
-
(2002)
Proceedings of the First International Conference on Engineering and Deployment of Cooperative Information Systems
, pp. 1-15
-
-
Eder, J.1
Olivotto, G.E.2
Gruber, W.3
-
7
-
-
0141637025
-
Process-driven management information systems - combining data warehouses and workflow technology
-
Gavish, B, ed, Dallas TX, pp, Southern Methodist University
-
zur Muehlen, M.: Process-driven management information systems - combining data warehouses and workflow technology. In: Gavish, B. (ed.) Proceedings of the 4th International Conference on Electronic Commerce Research (ICECR-4), Dallas (TX), pp. 550-566. Southern Methodist University (2001)
-
(2001)
Proceedings of the 4th International Conference on Electronic Commerce Research (ICECR-4)
, pp. 550-566
-
-
zur Muehlen, M.1
-
10
-
-
33747074188
-
An overview of workflow management: From process modeling to workflow automation infrastructure
-
Georgakopoulos, D., Hornick, M., Sheth, A.: An overview of workflow management: from process modeling to workflow automation infrastructure. Distrib. Parallel Databases 3(2), 119-153(1995)
-
(1995)
Distrib. Parallel Databases
, vol.3
, Issue.2
, pp. 119-153
-
-
Georgakopoulos, D.1
Hornick, M.2
Sheth, A.3
-
13
-
-
84956968889
-
-
van der Aalst, W.M.P., Barros, A.P., ter Hofstede, A.H.M., Kiepuszewski, B.: Advanced Workflow Patterns. In: Scheuermann, P., Etzion, O. (eds.) CoopIS 2000. LNCS, 1901, pp. 18-29. Springer, Heidelberg (2000)
-
van der Aalst, W.M.P., Barros, A.P., ter Hofstede, A.H.M., Kiepuszewski, B.: Advanced Workflow Patterns. In: Scheuermann, P., Etzion, O. (eds.) CoopIS 2000. LNCS, vol. 1901, pp. 18-29. Springer, Heidelberg (2000)
-
-
-
-
14
-
-
0004728565
-
A multidatabase transaction model for interbase
-
Morgan Kaufmann Publishers Inc, San Francisco
-
Elmagarmid, A., Leu, Y., Litwin, W.: A multidatabase transaction model for interbase. In: Proceedings of the sixteenth international conference on Very large databases, pp. 507-518. Morgan Kaufmann Publishers Inc, San Francisco (1990)
-
(1990)
Proceedings of the sixteenth international conference on Very large databases
, pp. 507-518
-
-
Elmagarmid, A.1
Leu, Y.2
Litwin, W.3
-
15
-
-
0031368799
-
Flexible specification of workflow compensation scopes
-
ACM Press, New York
-
Du, W., Davis, J., Shan, M.-C.: Flexible specification of workflow compensation scopes. In: Proceedings of the international ACM SIGGROUP conference on Supporting group work: the integration challenge, pp. 309-316. ACM Press, New York (1997)
-
(1997)
Proceedings of the international ACM SIGGROUP conference on Supporting group work: The integration challenge
, pp. 309-316
-
-
Du, W.1
Davis, J.2
Shan, M.-C.3
-
16
-
-
26844582462
-
-
Gaaloul, W., Baïna, K., Godart, C.: Towards mining structural workflow patterns. In: Andersen, K.V., Debenham, J.K., Wagner, R. (eds.) DEXA. LNCS, 3588, pp. 24-33. Springer, Heidelberg (2005)
-
Gaaloul, W., Baïna, K., Godart, C.: Towards mining structural workflow patterns. In: Andersen, K.V., Debenham, J.K., Wagner, R. (eds.) DEXA. LNCS, vol. 3588, pp. 24-33. Springer, Heidelberg (2005)
-
-
-
-
17
-
-
38349067957
-
-
Gaaloul, W., Godart, C.: A workflow mining tool based on logs statistical analysis. In: Maurer, F., Ruhe, G. (eds.) SEKE, pp. 37-44 (2006)
-
Gaaloul, W., Godart, C.: A workflow mining tool based on logs statistical analysis. In: Maurer, F., Ruhe, G. (eds.) SEKE, pp. 37-44 (2006)
-
-
-
-
18
-
-
0032092086
-
Flowback: Providing backward recovery for workflow management systems
-
ACM Press, New York
-
Kiepuszewski, B., Muhlberger, R., Orlowska, M.E.: Flowback: providing backward recovery for workflow management systems. In: Proceedings of the 1998 ACM SIGMOD international conference on Management of data, pp. 555-557. ACM Press, New York (1998)
-
(1998)
Proceedings of the 1998 ACM SIGMOD international conference on Management of data
, pp. 555-557
-
-
Kiepuszewski, B.1
Muhlberger, R.2
Orlowska, M.E.3
-
19
-
-
33749055696
-
Extending workflow patterns with transactional dependencies to define reliable composite web services. In: AICT/ICIW
-
Bhiri, S., Perrin, O., Godart, C.: Extending workflow patterns with transactional dependencies to define reliable composite web services. In: AICT/ICIW, p. 145. IEEE Computer Society (2006)
-
(2006)
IEEE Computer Society
, pp. 145
-
-
Bhiri, S.1
Perrin, O.2
Godart, C.3
-
20
-
-
0035622994
-
Exterminating the dynamic change bug: A concrete approach to support workflow change
-
van der Aalst, W.M.P.: Exterminating the dynamic change bug: A concrete approach to support workflow change. Information Systems Frontiers 3(3), 297-317 (2001)
-
(2001)
Information Systems Frontiers
, vol.3
, Issue.3
, pp. 297-317
-
-
van der Aalst, W.M.P.1
-
22
-
-
0027621808
-
Concurrency control and recovery of multidatabase work flows in telecommunication applications
-
ACM Press, New York
-
Jin, W.W., Rusinkiewicz, M., Ness, L., Sheth, A.: Concurrency control and recovery of multidatabase work flows in telecommunication applications. In: Proceedings of the 1993 ACM SIGMOD international conference on Management of data, pp. 456-459. ACM Press, New York (1993)
-
(1993)
Proceedings of the 1993 ACM SIGMOD international conference on Management of data
, pp. 456-459
-
-
Jin, W.W.1
Rusinkiewicz, M.2
Ness, L.3
Sheth, A.4
-
23
-
-
0002546278
-
Supporting business transactions via partial backward recovery in workflow management systems
-
Springer, Heidelberg 1995
-
Leymann, F.: Supporting business transactions via partial backward recovery in workflow management systems. In: Proceedings of BTW 1995, pp. 51-70. Springer, Heidelberg (1995)
-
(1995)
Proceedings of BTW
, pp. 51-70
-
-
Leymann, F.1
-
24
-
-
38349021764
-
-
Gaaloul, W., Bhiri, S., Godart, C.: Discovering workflow transactional behaviour event-based log. In: Meersman, R., Tari, Z. (eds.) OTM 2004. LNCS, 3290, Springer, Heidelberg (2004)
-
Gaaloul, W., Bhiri, S., Godart, C.: Discovering workflow transactional behaviour event-based log. In: Meersman, R., Tari, Z. (eds.) OTM 2004. LNCS, vol. 3290, Springer, Heidelberg (2004)
-
-
-
-
25
-
-
13544276885
-
-
van der Aalst, W.M.P., de Medeiros, A.K.A.: Process mining and security: Detecting anomalous process executions and checking process conformance. Electr. Notes Theor. Comput. Sci. 121, 3-21 (2005)
-
van der Aalst, W.M.P., de Medeiros, A.K.A.: Process mining and security: Detecting anomalous process executions and checking process conformance. Electr. Notes Theor. Comput. Sci. 121, 3-21 (2005)
-
-
-
-
26
-
-
33745116233
-
Conformance testing: Measuring the fit and appropriateness of event logs and process models
-
Workshops, pp
-
Rozinat, A., van der Aalst, W.M.P.: Conformance testing: Measuring the fit and appropriateness of event logs and process models. In: Business Process Management Workshops, pp. 163-176 (2005)
-
(2005)
Business Process Management
, pp. 163-176
-
-
Rozinat, A.1
van der Aalst, W.M.P.2
-
27
-
-
0346339692
-
Business process intelligence
-
Grigori, D., Casati, F., Castellanos, M., Dayal, U., Sayal, M., Shan, M.-C.: Business process intelligence. Comput. Ind. 53(3), 321-343 (2004)
-
(2004)
Comput. Ind
, vol.53
, Issue.3
, pp. 321-343
-
-
Grigori, D.1
Casati, F.2
Castellanos, M.3
Dayal, U.4
Sayal, M.5
Shan, M.-C.6
-
28
-
-
38349024902
-
-
Baïna, K., Gaaloul, W., ElKhattabi, R., Mouhou, A.: A new workflow patterns and performance analysis tool. In: Dubois, E., Pohl, K. (eds.) CAiSE 2006. LNCS, 4001, Springer, Heidelberg (2006)
-
Baïna, K., Gaaloul, W., ElKhattabi, R., Mouhou, A.: A new workflow patterns and performance analysis tool. In: Dubois, E., Pohl, K. (eds.) CAiSE 2006. LNCS, vol. 4001, Springer, Heidelberg (2006)
-
-
-
-
29
-
-
33845396748
-
-
Rouached, M., Gaaloul, W., van der Aalst, W.M.P., Bhiri, S., Godart, C.: Web service mining and verification of properties: An approach based on event calculus. In: Meersman, R., Tari, Z. (eds.) OTM 2006. LNCS, 4275, pp. 408-425. Springer, Heidelberg (2006)
-
Rouached, M., Gaaloul, W., van der Aalst, W.M.P., Bhiri, S., Godart, C.: Web service mining and verification of properties: An approach based on event calculus. In: Meersman, R., Tari, Z. (eds.) OTM 2006. LNCS, vol. 4275, pp. 408-425. Springer, Heidelberg (2006)
-
-
-
|