-
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
-
-
0004002407
-
-
MIT press, Cambridge
-
van der Aalst, W.M.P., van Hee, K.M.: Workflow Management: Models, Methods, and Systems, MIT press, Cambridge (2002)
-
(2002)
Workflow Management: Models, Methods, and Systems
-
-
van der Aalst, W.M.P.1
van Hee, K.M.2
-
3
-
-
0023963758
-
An algebra for data flow diagram process decomposition
-
Adler, M.: An algebra for data flow diagram process decomposition. IEEE Transactions on Software Engineering 14(2), 169-183 (1988)
-
(1988)
IEEE Transactions on Software Engineering
, vol.14
, Issue.2
, pp. 169-183
-
-
Adler, M.1
-
4
-
-
57049157947
-
-
Alexander, C.: Notes on the Synthesis of Form. Harvard University Press (1970)
-
Alexander, C.: Notes on the Synthesis of Form. Harvard University Press (1970)
-
-
-
-
7
-
-
0942300757
-
Synthesis and Decomposition of Processes in Organizations
-
Basu, A., Blanning, R.W.: Synthesis and Decomposition of Processes in Organizations. Information Systems Research 14(4), 337-355 (2003)
-
(2003)
Information Systems Research
, vol.14
, Issue.4
, pp. 337-355
-
-
Basu, A.1
Blanning, R.W.2
-
8
-
-
84951837007
-
How good are these UML diagrams? An empirical test of the Wand and Weber good decomposition model
-
Applegate, L, Galliers, R, DeGross, J.I, eds
-
Burton-Jones, A., Meso, P.: How good are these UML diagrams? An empirical test of the Wand and Weber good decomposition model. In: Applegate, L., Galliers, R., DeGross, J.I. (eds.) Proceedings of ICIS, pp. 101-114 (2002)
-
(2002)
Proceedings of ICIS
, pp. 101-114
-
-
Burton-Jones, A.1
Meso, P.2
-
9
-
-
32644451250
-
-
Cardoso, J.: Poseidon: A Framework to Assist Web Process Design Based on Business Cases. Int. Journal of Cooperative Information Systems 15(1), 23-55 (2006)
-
Cardoso, J.: Poseidon: A Framework to Assist Web Process Design Based on Business Cases. Int. Journal of Cooperative Information Systems 15(1), 23-55 (2006)
-
-
-
-
12
-
-
33846951447
-
Business Process Modelling Using Diagrammatic and Tabular Techniques
-
Damij, N.: Business Process Modelling Using Diagrammatic and Tabular Techniques. Business Process Management Journal 13(1), 70-90 (2007)
-
(2007)
Business Process Management Journal
, vol.13
, Issue.1
, pp. 70-90
-
-
Damij, N.1
-
15
-
-
27544457679
-
Petri Net-Based Workflow Modelling and Analysis of the Integrated Manufacturing Business Processes
-
Dong, M., Chen, F.F.: Petri Net-Based Workflow Modelling and Analysis of the Integrated Manufacturing Business Processes. The International Journal of Advanced Manufacturing Technology 26(9), 1163-1172 (2005)
-
(2005)
The International Journal of Advanced Manufacturing Technology
, vol.26
, Issue.9
, pp. 1163-1172
-
-
Dong, M.1
Chen, F.F.2
-
18
-
-
0012744326
-
Product Flow, Breadth and Complexity of Business Processes: An Empirical Study of 15 Business Processes in Three Organizations
-
Kock Jr., N.F.: Product Flow, Breadth and Complexity of Business Processes: An Empirical Study of 15 Business Processes in Three Organizations. Business Process Re-engineering & Management Journal 2(2), 8-22 (1996)
-
(1996)
Business Process Re-engineering & Management Journal
, vol.2
, Issue.2
, pp. 8-22
-
-
Kock Jr., N.F.1
-
20
-
-
84882991821
-
Complexity metrics for business process models
-
Abramowicz, W, Mayr, H.C, eds, Proceedings of BIS
-
Laue, R., Gruhn, V.: Complexity metrics for business process models. In: Abramowicz, W., Mayr, H.C. (eds.) Proceedings of BIS 2006. Lecture Notes in Informatics, vol. 85, pp. 1-12 (2006)
-
(2006)
Lecture Notes in Informatics
, vol.85
, pp. 1-12
-
-
Laue, R.1
Gruhn, V.2
-
21
-
-
0026913908
-
An Empirical Study on Complexity Metrics of Petri Nets
-
Lee, G.S., Yoon, J.M.: An Empirical Study on Complexity Metrics of Petri Nets. Microelectronics and reliability 32(9), 1215-1221 (1992)
-
(1992)
Microelectronics and reliability
, vol.32
, Issue.9
, pp. 1215-1221
-
-
Lee, G.S.1
Yoon, J.M.2
-
22
-
-
57049173731
-
Workflows Make Objects Really Useful
-
Leymann, F.: Workflows Make Objects Really Useful. EMISA Forum 6(1), 90-99 (1996), http://sunsite.informatik.rwth-aachen.de/Societies/GI-EMISA/forum/ content-96-l/Emisa-l-96-S90-99.pdf
-
(1996)
EMISA Forum
, vol.6
, Issue.1
, pp. 90-99
-
-
Leymann, F.1
-
23
-
-
0030671712
-
Workflow-based Applications
-
Leymann, F., Roller, D.: Workflow-based Applications. IBM Systems Journal 36(1), 102-123 (1997)
-
(1997)
IBM Systems Journal
, vol.36
, Issue.1
, pp. 102-123
-
-
Leymann, F.1
Roller, D.2
-
25
-
-
0141929468
-
Business Processes: Attempts to Find a Definition
-
Lindsay, A., Downs, D., Lunn, K.: Business Processes: Attempts to Find a Definition. Information and Software Technology 45(15), 1015-1019 (2003)
-
(2003)
Information and Software Technology
, vol.45
, Issue.15
, pp. 1015-1019
-
-
Lindsay, A.1
Downs, D.2
Lunn, K.3
-
26
-
-
0032655173
-
Tools for Inventing Organizations: Toward a Handbook for Organizational Processes
-
Malone, T.W., Crowston, K., Lee, J., Pentland, B.: Tools for Inventing Organizations: Toward a Handbook for Organizational Processes. Management Science 45(3), 425-443 (1999)
-
(1999)
Management Science
, vol.45
, Issue.3
, pp. 425-443
-
-
Malone, T.W.1
Crowston, K.2
Lee, J.3
Pentland, B.4
-
28
-
-
38349041673
-
-
Mendling, J., Neumann, G., van der Aalst, W.M.P.: Understanding the occurrence of errors in process models based on metrics. In: Meersman, R., Tari, Z. (eds.) OTM 2007, Part I. LNCS, 4803, pp. 113-130. Springer, Heidelberg (2007)
-
Mendling, J., Neumann, G., van der Aalst, W.M.P.: Understanding the occurrence of errors in process models based on metrics. In: Meersman, R., Tari, Z. (eds.) OTM 2007, Part I. LNCS, vol. 4803, pp. 113-130. Springer, Heidelberg (2007)
-
-
-
-
29
-
-
38049129493
-
-
Mendling, J., Reijers, H.A., Cardoso, J.: What makes process models understandable? In: Alonso, G., Dadam, P., Rosemann, M. (eds.) BPM 2007. LNCS, 4714, pp. 48-63. Springer, Heidelberg (2007)
-
Mendling, J., Reijers, H.A., Cardoso, J.: What makes process models understandable? In: Alonso, G., Dadam, P., Rosemann, M. (eds.) BPM 2007. LNCS, vol. 4714, pp. 48-63. Springer, Heidelberg (2007)
-
-
-
-
30
-
-
45849153466
-
Workflow management versus case handling: Results from a controlled software experiment
-
Liebrock, L.M, ed
-
Mutschler, B., Weber, B., Reichert, M.U.: Workflow management versus case handling: Results from a controlled software experiment. In: Liebrock, L.M. (ed.) Proceedings of the ACM Symposium on Applied Computing, vol. I, pp. 82-89 (2008)
-
(2008)
Proceedings of the ACM Symposium on Applied Computing
, vol.1
, pp. 82-89
-
-
Mutschler, B.1
Weber, B.2
Reichert, M.U.3
-
32
-
-
0015482049
-
On the Criteria for Decomposing Systems into Modules
-
Parnas, D.: On the Criteria for Decomposing Systems into Modules. Communications of the ACM 15(12), 1053-1058 (1972)
-
(1972)
Communications of the ACM
, vol.15
, Issue.12
, pp. 1053-1058
-
-
Parnas, D.1
-
34
-
-
0000571953
-
Analyzing Process Models using Graph Reduction Techniques
-
Sadiq, W., Orlowska, M.E.: Analyzing Process Models using Graph Reduction Techniques. Information Systems 25(2), 117-134 (2000)
-
(2000)
Information Systems
, vol.25
, Issue.2
, pp. 117-134
-
-
Sadiq, W.1
Orlowska, M.E.2
-
35
-
-
27144520058
-
-
Sarshar, K., Loos, P.: Comparing the control-flow of EPC and Petri nets from the end-user perspective. In: van der Aalst, W.M.P., Benatallah, B., Casati, F., Curbera, F. (eds.) BPM 2005. LNCS, 3649, pp. 434-439. Springer, Heidelberg (2005)
-
Sarshar, K., Loos, P.: Comparing the control-flow of EPC and Petri nets from the end-user perspective. In: van der Aalst, W.M.P., Benatallah, B., Casati, F., Curbera, F. (eds.) BPM 2005. LNCS, vol. 3649, pp. 434-439. Springer, Heidelberg (2005)
-
-
-
-
39
-
-
38349014920
-
Faster and more focused control-flow analysis for business process models through SESE decomposition
-
Krämer, B.J, Lin, K.-J, Narasimhan, P, eds, ICSOC 2007, Springer, Heidelberg
-
Vanhatalo, J., Völzer, H., Leymann, F.: Faster and more focused control-flow analysis for business process models through SESE decomposition. In: Krämer, B.J., Lin, K.-J., Narasimhan, P. (eds.) ICSOC 2007. LNCS, vol. 4749, pp. 43-55. Springer, Heidelberg (2007)
-
(2007)
LNCS
, vol.4749
, pp. 43-55
-
-
Vanhatalo, J.1
Völzer, H.2
Leymann, F.3
-
40
-
-
26444555023
-
Protos 7.0: Simulation made accessible
-
Ciardo, G, Darondeau, P, eds, Springer, Heidelberg
-
Verbeek, H.M.W., van Hattem, M., Reijers, H.A., de Munk, W.: Protos 7.0: Simulation made accessible. In: Ciardo, G., Darondeau, P. (eds.) Proceedings of the 24th International Conference on Application and Theory of Petri Nets, pp. 465-474. Springer, Heidelberg (2005)
-
(2005)
Proceedings of the 24th International Conference on Application and Theory of Petri Nets
, pp. 465-474
-
-
Verbeek, H.M.W.1
van Hattem, M.2
Reijers, H.A.3
de Munk, W.4
-
41
-
-
0029504116
-
On the Deep Structure of Information Systems
-
Wand, Y., Weber, R.: On the Deep Structure of Information Systems. Information Systems Journal 5, 203-223 (1995)
-
(1995)
Information Systems Journal
, vol.5
, pp. 203-223
-
-
Wand, Y.1
Weber, R.2
-
42
-
-
38149061096
-
Change patterns and change support features in process-aware information systems
-
Krogstie, J, Opdahl, A, Sindre, G, eds, CAiSE 2007 and WES 2007, Springer, Heidelberg
-
Weber, B., Rinderle, S., Reichert, M.U.: Change patterns and change support features in process-aware information systems. In: Krogstie, J., Opdahl, A., Sindre, G. (eds.) CAiSE 2007 and WES 2007. LNCS, vol. 4495, pp. 574-588. Springer, Heidelberg (2007)
-
(2007)
LNCS
, vol.4495
, pp. 574-588
-
-
Weber, B.1
Rinderle, S.2
Reichert, M.U.3
-
43
-
-
0003606361
-
-
Coopers & Lybrand and the Accounting Association of Australia and New Zealand, Melbourne
-
Weber, R.: Ontological Foundations of Information Systems. Coopers & Lybrand and the Accounting Association of Australia and New Zealand, Melbourne (1997)
-
(1997)
Ontological Foundations of Information Systems
-
-
Weber, R.1
-
44
-
-
56549128717
-
Reduction rules for YAWL workflow nets with cancellation regions and or-joins
-
BPM-06-24, BPMcenter.org
-
Wynn, M.T., Verbeek, H.M.W., van der Aalst, W.M.P., ter Hofstede, A.H.M., Edmond, D.: Reduction rules for YAWL workflow nets with cancellation regions and or-joins. BPMCenter Report BPM-06-24, BPMcenter.org (2006)
-
(2006)
BPMCenter Report
-
-
Wynn, M.T.1
Verbeek, H.M.W.2
van der Aalst, W.M.P.3
ter Hofstede, A.H.M.4
Edmond, D.5
|