-
1
-
-
52449135365
-
Verification of Workflow Nets
-
Azéma, P., Balbo, G. (eds.) ICATPN 1997. Springer, Heidelberg
-
van der Aalst, W.M.P.: Verification of Workflow Nets. In: Azéma, P., Balbo, G. (eds.) ICATPN 1997. LNCS, vol. 1248, pp. 407-426. Springer, Heidelberg (1997)
-
(1997)
LNCS
, vol.1248
, pp. 407-426
-
-
Van Der Aalst, W.M.P.1
-
2
-
-
84861691882
-
-
in press
-
La Rosa, M., Dumas, M., Uba, R., Dijkman, R.M.: Business Process Model Merging: An Approach to Business Process Consolidation (in press, 2012)
-
(2012)
Business Process Model Merging: An Approach to Business Process Consolidation
-
-
La Rosa, M.1
Dumas, M.2
Uba, R.3
Dijkman, R.M.4
-
3
-
-
74549140366
-
The Difference between Graph-Based and Block-Structured Business Process Modelling Languages
-
Kopp, O., Martin, D., Wutke, D., Leymann, F.: The Difference Between Graph-Based and Block-Structured Business Process Modelling Languages. Enterprise Modelling and Information Systems 4(1), 3-13 (2009)
-
(2009)
Enterprise Modelling and Information Systems
, vol.4
, Issue.1
, pp. 3-13
-
-
Kopp, O.1
Martin, D.2
Wutke, D.3
Leymann, F.4
-
4
-
-
84856571249
-
Comparing Business Processes to Determine the Feasibility of Configurable Models: A Case Study
-
Daniel, F., Barkaoui, K., Dustdar, S. (eds.) BPM Workshops 2011, Part II. Springer, Heidelberg
-
Vogelaar, J.J.C.L., Verbeek, H.M.W., Luka, B., van der Aalst, W.M.P.: Comparing Business Processes to Determine the Feasibility of Configurable Models: A Case Study. In: Daniel, F., Barkaoui, K., Dustdar, S. (eds.) BPM Workshops 2011, Part II. LNBIP, vol. 100, pp. 50-61. Springer, Heidelberg (2012)
-
(2012)
LNBIP
, vol.100
, pp. 50-61
-
-
Vogelaar, J.J.C.L.1
Verbeek, H.M.W.2
Luka, B.3
Van Der Aalst, W.M.P.4
-
5
-
-
84861701475
-
-
Technical Report BPM Center Report BPM-11-21, BPMcenter.org
-
Schunselaar, D.M.M., Verbeek, H.M.W., van der Aalst, W.M.P., Reijers, H.A.: Creating Sound and Reversible Configurable Processes Models using CoSeNets. Technical Report BPM Center Report BPM-11-21, BPMcenter.org (2011)
-
(2011)
Creating Sound and Reversible Configurable Processes Models Using CoSeNets
-
-
Schunselaar, D.M.M.1
Verbeek, H.M.W.2
Van Der Aalst, W.M.P.3
Reijers, H.A.4
-
6
-
-
84861670325
-
-
Master's thesis, Eindhoven University of Technology, The Netherlands
-
Schunselaar, D.M.M.: Configurable Declare. Master's thesis, Eindhoven University of Technology, The Netherlands (2011)
-
(2011)
Configurable Declare
-
-
Schunselaar, D.M.M.1
-
7
-
-
79960266004
-
-
PhD thesis, Eindhoven University of Technology, The Netherlands
-
Gottschalk, F.: Configurable Process Models. PhD thesis, Eindhoven University of Technology, The Netherlands (2009)
-
(2009)
Configurable Process Models
-
-
Gottschalk, F.1
-
8
-
-
33749552243
-
A Configurable Reference Modelling Language
-
Rosemann, M., van der Aalst, W.M.P.: A Configurable Reference Modelling Language. Information Systems 32(1), 1-23 (2007)
-
(2007)
Information Systems
, vol.32
, Issue.1
, pp. 1-23
-
-
Rosemann, M.1
Van Der Aalst, W.M.P.2
-
9
-
-
84857919395
-
Ensuring Correctness during Process Configuration Via Partner Synthesis
-
van der Aalst, W.M.P., Lohmann, N., La Rosa, M.: Ensuring Correctness During Process Configuration Via Partner Synthesis. Information Systems 37(6), 574-592 (2012)
-
(2012)
Information Systems
, vol.37
, Issue.6
, pp. 574-592
-
-
Van Der Aalst, W.M.P.1
Lohmann, N.2
La Rosa, M.3
-
10
-
-
78049254426
-
Correctness Ensuring Process Configuration: An Approach Based on Partner Synthesis
-
Hull, R., Mendling, J., Tai, S. (eds.) BPM 2010. Springer, Heidelberg
-
van der Aalst,W., Lohmann, N., La Rosa, M., Xu, J.: Correctness Ensuring Process Configuration: An Approach Based on Partner Synthesis. In: Hull, R., Mendling, J., Tai, S. (eds.) BPM 2010. LNCS, vol. 6336, pp. 95-111. Springer, Heidelberg (2010)
-
(2010)
LNCS
, vol.6336
, pp. 95-111
-
-
Van Der Aalst, W.1
Lohmann, N.2
La Rosa, M.3
Xu, J.4
-
11
-
-
70349332782
-
Discovering Reference Models by Mining Process Variants Using a Heuristic Approach
-
Dayal, U., Eder, J., Koehler, J., Reijers, H.A. (eds.) BPM 2009. Springer, Heidelberg
-
Li, C., Reichert, M., Wombacher, A.: Discovering Reference Models by Mining Process Variants Using a Heuristic Approach. In: Dayal, U., Eder, J., Koehler, J., Reijers, H.A. (eds.) BPM 2009. LNCS, vol. 5701, pp. 344-362. Springer, Heidelberg (2009)
-
(2009)
LNCS
, vol.5701
, pp. 344-362
-
-
Li, C.1
Reichert, M.2
Wombacher, A.3
-
12
-
-
33749608128
-
Business process design by view integration
-
Business Process Management Workshops, BPM 2006 - International Workshops, BPD, BPI, ENEI, GPWW, DPM, semantics4ws, Proceedings
-
Mendling, J., Simon, C.: Business Process Design by View Integration. In: Eder, J., Dustdar, S. (eds.) BPM Workshops 2006. LNCS, vol. 4103, pp. 55-64. Springer, Heidelberg (2006) (Pubitemid 44543236)
-
(2006)
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
, vol.4103 LNCS
, pp. 55-64
-
-
Mendling, J.1
Simon, C.2
-
13
-
-
79951579370
-
APROMORE: An advanced process model repository
-
La Rosa, M., Reijers, H.A., van der Aalst, W.M.P., Dijkman, R.M., Mendling, J., Dumas, M., García-Bañuelos, L.: APROMORE: An advanced process model repository. Expert Systems with Applications 38, 7029-7040 (2011)
-
(2011)
Expert Systems with Applications
, vol.38
, pp. 7029-7040
-
-
La Rosa, M.1
Reijers, H.A.2
Van Der Aalst, W.M.P.3
Dijkman, R.M.4
Mendling, J.5
Dumas, M.6
García-Bañuelos, L.7
-
14
-
-
33749542983
-
Merging Workflows: A New Perspective on Connecting Business Processes
-
Sun, S., Kumar, A., Yen, J.: Merging Workflows: A New Perspective on Connecting Business Processes. Decision Support Systems 42(2), 844-858 (2006)
-
(2006)
Decision Support Systems
, vol.42
, Issue.2
, pp. 844-858
-
-
Sun, S.1
Kumar, A.2
Yen, J.3
-
16
-
-
42449141507
-
Control-flow Complexity Measurement of Processes and Weyuker's Properties
-
Cardoso, J.: Control-flow Complexity Measurement of Processes and Weyuker's Properties. In: 6th International Enformatika Conference, Transactions on Enformatika, Systems Sciences and Engineering, vol. 8, pp. 213-218 (2005)
-
(2005)
6th International Enformatika Conference, Transactions on Enformatika, Systems Sciences and Engineering
, vol.8
, pp. 213-218
-
-
Cardoso, J.1
-
17
-
-
45849086911
-
On a Quest for Good Process Models: The Cross-Connectivity Metric
-
Bellahsène, Z., Léonard, M. (eds.) CAiSE 2008. Springer, Heidelberg
-
Vanderfeesten, I.T.P., Reijers, H.A., Mendling, J., van der Aalst, W.M.P., Cardoso, J.: On a Quest for Good Process Models: The Cross-Connectivity Metric. In: Bellahsène, Z., Léonard, M. (eds.) CAiSE 2008. LNCS, vol. 5074, pp. 480-494. Springer, Heidelberg (2008)
-
(2008)
LNCS
, vol.5074
, pp. 480-494
-
-
Vanderfeesten, I.T.P.1
Reijers, H.A.2
Mendling, J.3
Van Der Aalst, W.M.P.4
Cardoso, J.5
-
18
-
-
84892263305
-
-
Springer
-
ter Hofstede, A.H.M., van der Aalst, W.M.P., Adams, M., Russell, N. (eds.): Modern Business Process Automation: YAWL and its Support Environment. Springer (2010)
-
(2010)
Modern Business Process Automation: YAWL and Its Support Environment
-
-
Ter Hofstede, A.H.M.1
Van Der Aalst, W.M.P.2
Adams, M.3
Russell, N.4
-
19
-
-
79956323232
-
The ICoP Framework: Identification of Correspondences between Process Models
-
Pernici, B. (ed.) CAiSE 2010. Springer, Heidelberg
-
Weidlich, M., Dijkman, R., Mendling, J.: The ICoP Framework: Identification of Correspondences between Process Models. In: Pernici, B. (ed.) CAiSE 2010. LNCS, vol. 6051, pp. 483-498. Springer, Heidelberg (2010)
-
(2010)
LNCS
, vol.6051
, pp. 483-498
-
-
Weidlich, M.1
Dijkman, R.2
Mendling, J.3
|