-
1
-
-
0020141868
-
Validation, verification, and testing of computer software
-
Adrion WR, Branstad MA, Cherniavsky JC (1982) Validation, verification, and testing of computer software. ACM Comput Surv 14(2):159-192
-
(1982)
ACM Comput Surv
, vol.14
, Issue.2
, pp. 159-192
-
-
Adrion, W.R.1
Branstad, M.A.2
Cherniavsky, J.C.3
-
2
-
-
41649087956
-
-
Committee specification, 31 January 2007
-
Alves A, Arkin A, Askary S, Barreto C, Bloch B, Curbera F, Ford M, Goland Y, Guizar A, Kartha N, Liu CK, Khalaf R, Koenig D, Marin M, Mehta V, Thatte S, van der Rijn D, Yendluri P, Yiu A (2007) Web services business process execution language version 2.0. Committee specification, 31 January 2007
-
(2007)
Web services business process execution language version 2.0
-
-
Alves, A.1
Arkin, A.2
Askary, S.3
Barreto, C.4
Bloch, B.5
Curbera, F.6
Ford, M.7
Goland, Y.8
Guizar, A.9
Kartha, N.10
Liu, C.K.11
Khalaf, R.12
Koenig, D.13
Marin, M.14
Mehta, V.15
Thatte, S.16
Van Der Rijn, D.17
Yendluri, P.18
Yiu, A.19
-
3
-
-
18544381785
-
Guidelines of business process modeling
-
van der Aalst WMP, Desel J, Oberweis A, Springer, Berlin
-
Becker J, Rosemann M, von Uthmann C (2000) Guidelines of business process modeling. In: van der Aalst WMP, Desel J, Oberweis A (eds) Business process management Models, techniques, and empirical studies. Springer, Berlin, pp 30-49
-
(2000)
Business Process Management Models, Techniques, and Empirical Studies
, pp. 30-49
-
-
Becker, J.1
Rosemann, M.2
Von Uthmann, C.3
-
4
-
-
2442419387
-
-
eds, Springer, Berlin
-
Becker J, Kugeler M, Rosemann M (eds) (2003) Process management, a guide for the design of business processes. Springer, Berlin, pp 41-78
-
(2003)
Process Management, a Guide for the Design of Business Processes
, pp. 41-78
-
-
Becker, J.1
Kugeler, M.2
Rosemann, M.3
-
5
-
-
0035620341
-
Should optional properties be used in conceptual modelling? A theory and three empirical tests
-
Bodart F, Patel A, Sim M, Weber R (2001) Should optional properties be used in conceptual modelling? A theory and three empirical tests. Inf Syst Res 12(4):384-405
-
(2001)
Inf Syst Res
, vol.12
, Issue.4
, pp. 384-405
-
-
Bodart, F.1
Patel, A.2
Sim, M.3
Weber, R.4
-
7
-
-
0014152549
-
The suppression of visualization by reading
-
Brooks LR (1967) The suppression of visualization by reading. Q J Exp Psychol 19(4):289-299
-
(1967)
Q J Exp Psychol
, Issue.4
, pp. 289-299
-
-
Brooks, L.R.1
-
9
-
-
85042981372
-
-
eds), Proceedings of the open enterprise solutions: systems, experiences, and organizations conference, Luiss Edizioni
-
D’Atri A, Solvberg A, Willcocks L (eds) (2001) Using prototyping in a product-driven design of business processes. In: Proceedings of the open enterprise solutions: systems, experiences, and organizations conference, Luiss Edizioni
-
(2001)
Using Prototyping in a Product-Driven Design of Business Processes
-
-
D’Atri, A.1
Solvberg, A.2
Willcocks, L.3
-
11
-
-
8644243245
-
Bridging the gap between business models and workflow specifications
-
Dehnert J, van der Aalst WMP (2004) Bridging the gap between business models and workflow specifications. Int J Cooper Inf Syst 13(3):289-332
-
(2004)
Int J Cooper Inf Syst
, vol.13
, Issue.3
, pp. 289-332
-
-
Dehnert, J.1
Van Der Aalst, W.2
-
12
-
-
23344441011
-
From textual scenarios to a conceptual schema
-
Fliedl G, Kop C, Mayr HC (2005) From textual scenarios to a conceptual schema. Data Knowl Eng 55(1):20-37
-
(2005)
Data Knowl Eng
, vol.55
, Issue.1
, pp. 20-37
-
-
Fliedl, G.1
Kop, C.2
Mayr, H.C.3
-
13
-
-
33747770025
-
Information modeling: The process and the required competencies of its participants
-
Frederiks PJM, van der Weide TP (2006) Information modeling: the process and the required competencies of its participants. Data Knowl Eng 58(1):4-20
-
(2006)
Data Knowl Eng
, vol.58
, Issue.1
, pp. 4-20
-
-
Frederiks, P.1
Van Der Weide, T.P.2
-
14
-
-
13644251458
-
Empirical comparisons of animation and narration in requirements validation
-
Gemino A (2004) Empirical comparisons of animation and narration in requirements validation. Requir Eng 9(3):153-168
-
(2004)
Requir Eng
, vol.9
, Issue.3
, pp. 153-168
-
-
Gemino, A.1
-
15
-
-
25844525486
-
Complexity and clarity in conceptual modeling: Comparison of mandatory and optional properties
-
Gemino A, Wand Y (2005) Complexity and clarity in conceptual modeling: comparison of mandatory and optional properties. Data Knowl Eng 55(3):301-326
-
(2005)
Data Knowl Eng
, vol.55
, Issue.3
, pp. 301-326
-
-
Gemino, A.1
Wand, Y.2
-
16
-
-
33846617213
-
What business process modelers can learn from programmers
-
Gruhn V, Laue R (2007) What business process modelers can learn from programmers. Sci Comput Program 65(1):4-13
-
(2007)
Sci Comput Program
, vol.65
, Issue.1
, pp. 4-13
-
-
Gruhn, V.1
Laue, R.2
-
17
-
-
33845401749
-
Automated verbalization for orm 2
-
Meersman R, Tari Z, Herrero P, OTM 2006 workshops, Montpellier, October 29-November 3. Proceedings, Lecture notes in computer science, Springer, Heidelberg
-
Halpin TA, Curland M (2006) Automated verbalization for orm 2. In: Meersman R, Tari Z, Herrero P (eds) On the move to meaningful internet systems 2006. OTM 2006 workshops, Montpellier, October 29-November 3. Proceedings, Lecture notes in computer science, part II, vol 4278. Springer, Heidelberg, pp 1181-1190
-
(2006)
On the Move to Meaningful Internet Systems 2006
, vol.4278
, pp. 1181-1190
-
-
Halpin, T.A.1
Curland, M.2
-
20
-
-
33644645323
-
Process models representing knowledge for action: A revised quality framework
-
Krogstie J, Sindre G, Jørgensen HD (2006) Process models representing knowledge for action: a revised quality framework. Eur J Inform Syst 15(1):91-102
-
(2006)
Eur J Inform Syst
, vol.15
, Issue.1
, pp. 91-102
-
-
Krogstie, J.1
Sindre, G.2
Jørgensen, H.D.3
-
21
-
-
84994745713
-
The impact of structuredness on error probability of process models
-
Kaschek R, Kop C, Steinberger C, Fliedl G, 2nd international united information systems conference. Lectures notes in business information processing, Springer, Heidelberg
-
Laue R, Mendling J (2008) The impact of structuredness on error probability of process models. In: Kaschek R, Kop C, Steinberger C, Fliedl G (eds) Information systems and e-business technologies. 2nd international united information systems conference. Lectures notes in business information processing, vol 5. Springer, Heidelberg
-
(2008)
Information Systems and E-Business Technologies
, vol.5
-
-
Laue, R.1
Mendling, J.2
-
22
-
-
0028396177
-
Understanding quality in conceptual modeling
-
Lindland OI, Sindre G, Sølvberg A (1994) Understanding quality in conceptual modeling. IEEE Software 11(2):42-49
-
(1994)
IEEE Software
, vol.11
, Issue.2
, pp. 42-49
-
-
Lindland, O.I.1
Sindre, G.2
Sølvberg, A.3
-
23
-
-
84965740888
-
Models for understanding
-
Mayer RE (1989) Models for understanding. Rev Educ Res 59(1):43-64
-
(1989)
Rev Educ Res
, vol.59
, Issue.1
, pp. 43-64
-
-
Mayer, R.E.1
-
24
-
-
0003781450
-
-
Cambridge University Press, Cambridge, MA
-
Mayer RE (2001) Multimedia learning. Cambridge University Press, Cambridge, MA
-
(2001)
Multimedia Learning
-
-
Mayer, R.E.1
-
25
-
-
67349106826
-
-
Lecture notes in business information processing. Springer, Berlin
-
Mendling J (2008) Metrics for process models: empirical foundations of verification, error prediction, and guidelines for correctness, vol 6, Lecture notes in business information processing. Springer, Berlin
-
(2008)
Metrics for Process Models: Empirical Foundations of Verification, Error Prediction, and Guidelines for Correctness
, vol.6
-
-
Mendling, J.1
-
26
-
-
79956216811
-
How to define activity labels for business process models?
-
Oberweis A, Hesse W, Lecture notes in informatics, Marburg
-
Mendling J, Reijers HA (2008) How to define activity labels for business process models? In: Oberweis A, Hesse W (eds) Proceedings of the third AIS SIGSAND European symposium on analysis, design, use and societal impact of information systems (SIGSAND Europe 2008), Lecture notes in informatics, Marburg
-
(2008)
Proceedings of the Third AIS SIGSAND European Symposium on Analysis, Design, Use and Societal Impact of Information Systems (SIGSAND Europe 2008)
-
-
Mendling, J.1
Reijers, H.A.2
-
27
-
-
38149048455
-
Formalization and verification of epcs with or-joins based on state and context
-
Krogstie J, Opdahl AL, Sindre G, Lecture notes in computer science, Springer, Trondheim
-
Mendling J, van der Aalst WMP (2007) Formalization and verification of EPCs with OR-joins based on state and context. In: Krogstie J, Opdahl AL, Sindre G (eds) Proceedings of the 19th conference on advanced information systems engineering (CAiSE 2007). Lecture notes in computer science, vol 4495. Springer, Trondheim, pp 439-453
-
(2007)
Proceedings of the 19Th Conference on Advanced Information Systems Engineering (Caise 2007)
, vol.4495
, pp. 439-453
-
-
Mendling, J.1
Van Der Aalst, W.2
-
28
-
-
38349041673
-
Understanding the occurrence of errors in process models based on metrics
-
Meersman R, Tari Z, Springer, Heidelberg
-
Mendling J, Neumann G, van der Aalst WMP (2007a) Understanding the occurrence of errors in process models based on metrics. In: Meersman R, Tari Z (eds) OTM conference 2007. Proceedings, Lecture notes in computer science, part I, vol 4803. Springer, Heidelberg, pp 113-130
-
(2007)
OTM Conference 2007. Proceedings, Lecture Notes in Computer Science, Part I
, vol.4803
, pp. 113-130
-
-
Mendling, J.1
Neumann, G.2
Van Der Aalst, W.3
-
29
-
-
38049129493
-
What makes process models understandable?
-
Alonso G, Dadam P, Rosemann M, Brisbane, 24-28 September 2007. Proceedings, Lecture notes in computer science, Springer, Berlin
-
Mendling J, Reijers HA, Cardoso J (2007b) What makes process models understandable? In: Alonso G, Dadam P, Rosemann M (eds) Business process management. 5th international conference, BPM 2007, Brisbane, 24-28 September 2007. Proceedings, Lecture notes in computer science, vol 4714. Springer, Berlin, pp 48-63
-
(2007)
Business Process Management. 5Th International Conference, BPM 2007
, vol.4714
, pp. 48-63
-
-
Mendling, J.1
Reijers, H.A.2
Cardoso, J.3
-
30
-
-
55549147543
-
Transformation strategies between block-oriented and graph-oriented process modelling languages
-
Mendling J, Lassen KB, Zdun U (2008a) Transformation strategies between block-oriented and graph-oriented process modelling languages. Int J Bus Process Integr Manag 3(2):297-312
-
(2008)
Int J Bus Process Integr Manag
, vol.3
, Issue.2
, pp. 297-312
-
-
Mendling, J.1
Lassen, K.B.2
Zdun, U.3
-
32
-
-
36049019276
-
Detection and prediction of errors in epcs of the sap reference model
-
Mendling J, Verbeek HMW, van Dongen BF, van der Aalst WMP, Neumann G (2008c) Detection and prediction of errors in EPCs of the SAP reference model. Data Knowl Eng 64(1):312-329
-
(2008)
Data Knowl Eng
, vol.64
, Issue.1
, pp. 312-329
-
-
Mendling, J.1
Verbeek, H.2
Van Dongen, B.F.3
Van Der Aalst, W.4
Neumann, G.5
-
34
-
-
25844517955
-
Theoretical and practical issues in evaluating the quality of conceptual models: Current state and future directions
-
Moody DL (2005) Theoretical and practical issues in evaluating the quality of conceptual models: current state and future directions. Data Knowl Eng 55(3):243-276
-
(2005)
Data Knowl Eng
, vol.55
, Issue.3
, pp. 243-276
-
-
Moody, D.L.1
-
36
-
-
33746093247
-
Translating standard process models to bpel
-
Dubois E, Pohl K, 18th international conference, CAiSE 2006, Luxembourg, 5-9 June 2006. Proceedings, Lecture notes in computer science, Springer, Heidelberg
-
Ouyang C, Dumas M, Breutel S, ter Hofstede AHM (2006) Translating standard process models to bpel. In: Dubois E, Pohl K (eds) Advanced information systems engineering. 18th international conference, CAiSE 2006, Luxembourg, 5-9 June 2006. Proceedings, Lecture notes in computer science, vol 4001. Springer, Heidelberg, pp 417-432
-
(2006)
Advanced Information Systems Engineering
, vol.4001
, pp. 417-432
-
-
Ouyang, C.1
Dumas, M.2
Breutel, S.3
Ter Hofstede, A.4
-
37
-
-
0000966775
-
Dual coding theory: Retrospect and current status
-
Paivio A (1991) Dual coding theory: retrospect and current status. Can J Psychol 45(3):255-287
-
(1991)
Can J Psychol
, vol.45
, Issue.3
, pp. 255-287
-
-
Paivio, A.1
-
38
-
-
34248580600
-
Communication support for systems engineering - process modelling and animation with april
-
Philippi S, Hill HJ (2007) Communication support for systems engineering - process modelling and animation with April. J Syst Softw 80(8):1305-1316
-
(2007)
J Syst Softw
, vol.80
, Issue.8
, pp. 1305-1316
-
-
Philippi, S.1
Hill, H.J.2
-
39
-
-
33750031307
-
Investigations on soundness regarding lazy activities
-
Dustdar S, Fiadeiro JL, Sheth A, Springer, Heidelberg
-
Puhlmann F, Weske M (2006) Investigations on soundness regarding lazy activities. In: Dustdar S, Fiadeiro JL, Sheth A (eds) Business process management, 4th international conference, BPM 2006, Lecture notes in computer science, vol 4102. Springer, Heidelberg, pp 145-160
-
(2006)
Business Process Management, 4Th International Conference, BPM 2006, Lecture Notes in Computer Science
, vol.4102
, pp. 145-160
-
-
Puhlmann, F.1
Weske, M.2
-
40
-
-
84869141301
-
Does it matter which process modelling language we teach or use? An experimental study on understanding process modelling languages without formal education
-
Toleman M, Cater-Steel A, Roberts D, The University of Southern Queensland, Toowoomba
-
Recker J, Dreiling A (2007) Does it matter which process modelling language we teach or use? An experimental study on understanding process modelling languages without formal education. In: Toleman M, Cater-Steel A, Roberts D (eds) 18th Australasian conference on information systems. The University of Southern Queensland, Toowoomba, pp 356-366
-
(2007)
18Th Australasian Conference on Information Systems
, pp. 356-366
-
-
Recker, J.1
Dreiling, A.2
-
42
-
-
23844497413
-
The effectiveness of workflow management systems: Predictions and lessons learned
-
Reijers HA, van der Aalst WMP (2005) The effectiveness of workflow management systems: predictions and lessons learned. Int J Inf Manag 25(5):458-472
-
(2005)
Int J Inf Manag
, vol.25
, Issue.5
, pp. 458-472
-
-
Reijers, H.A.1
Van Der Aalst, W.2
-
43
-
-
33645498740
-
Potential pitfalls of process modeling: Part a
-
Rosemann M (2006a) Potential pitfalls of process modeling: part A. Bus Process Manag J 12(2): 249-254
-
(2006)
Bus Process Manag J
, vol.12
, Issue.2
, pp. 249-254
-
-
Rosemann, M.1
-
44
-
-
33744789981
-
Potential pitfalls of process modeling: Part b
-
Rosemann M (2006b) Potential pitfalls of process modeling: part B. Bus Process Manag J 12(3): 377-384
-
(2006)
Bus Process Manag J
, vol.12
, Issue.3
, pp. 377-384
-
-
Rosemann, M.1
-
47
-
-
84943390603
-
-
Lecture notes in computer science. Springer, Berlin
-
ter Hofstede AHM, Benatallah B, Paik H-Y (2008) Trade-offs in the performance of workflows-quantifying the impact of best practices, vol 4928, Lecture notes in computer science. Springer, Berlin
-
(2008)
Trade-Offs in the Performance of Workflows-Quantifying the Impact of Best Practices
, vol.4928
-
-
Ter Hofstede, A.1
Benatallah, B.2
Paik, H.-Y.3
-
48
-
-
52449135365
-
Verification of workflow nets
-
Azéma P, Balbo G, Lecture notes in computer science. Springer, Heidelberg
-
van der Aalst WMP (1997) Verification of workflow nets. In: Azéma P, Balbo G (eds) Application and theory of petri nets 1997, vol 1248, Lecture notes in computer science. Springer, Heidelberg, pp 407-426
-
(1997)
Application and Theory of Petri Nets 1997
, vol.1248
, pp. 407-426
-
-
Van Der Aalst, W.1
-
49
-
-
37249023596
-
Translating unstructured workflow processes to readable bpel: Theory and implementation
-
van der Aalst WMP, Lassen KB (2008) Translating unstructured workflow processes to readable BPEL: theory and implementation. Inform Softw Tech 50(3):131-159
-
(2008)
Inform Softw Tech
, vol.50
, Issue.3
, pp. 131-159
-
-
Van Der Aalst, W.1
Lassen, K.B.2
-
50
-
-
0141680986
-
Workflow mining: A survey of issues and approaches
-
van der Aalst WMP, van Dongen BF, Herbst J, Maruster L, Schimm G, Weijters AJMM (2003) Workflow mining: a survey of issues and approaches. Data Knowl Eng 47(2):237-267
-
(2003)
Data Knowl Eng
, vol.47
, Issue.2
, pp. 237-267
-
-
Van Der Aalst, W.1
Van Dongen, B.F.2
Herbst, J.3
Maruster, L.4
Schimm, G.5
Weijters, A.6
-
51
-
-
34147190948
-
Business process mining: An industrial application
-
van der Aalst WMP, Reijers HA, Weijters AJMM, van Dongen BF, Alves de Medeiros AK, Song M, Verbeek HMW (2007) Business process mining: an industrial application. Inf Syst 32 (5):713-732
-
(2007)
Inf Syst
, vol.32
, Issue.5
, pp. 713-732
-
-
Van Der Aalst, W.1
Reijers, H.A.2
Weijters, A.3
Van Dongen, B.F.4
Alves De Medeiros, A.K.5
Song, M.6
Verbeek, H.7
-
52
-
-
34249010560
-
Verification of the sap reference models using epc reduction, state-space analysis, and invariants
-
van Dongen BF, Vullers-Jansen MH, Verbeek HMW, van der Aalst WMP (2007) Verification of the sap reference models using epc reduction, state-space analysis, and invariants. Comput Ind 58(6):578-601
-
(2007)
Comput Ind
, vol.58
, Issue.6
, pp. 578-601
-
-
Van Dongen, B.F.1
Vullers-Jansen, M.H.2
Verbeek, H.3
Van Der Aalst, W.4
-
54
-
-
84939541826
-
Business process simulation survival guide
-
vom Brocke J, Rosemann M, 2nd edn. Springer, Heidelberg
-
van der Aalst WMP (2014) Business process simulation survival guide. In: vom Brocke J, Rosemann M (eds) Handbook on business process management, vol 1, 2nd edn. Springer, Heidelberg, pp 337-370
-
(2014)
Handbook on Business Process Management
, vol.1
, pp. 337-370
-
-
Van Der Aalst, W.1
-
55
-
-
38349014920
-
Faster and more focused control-flow analysis for business process models through sese decomposition
-
Krämer BJ, Lin K-J, Narasimhan P, September 2007. Proceedings, Lecture notes in computer science, Springer, Berlin, pp 43-55
-
Vanhatalo J, Völzer H, Leymann F (2007) Faster and more focused control-flow analysis for business process models through SESE decomposition. In: Krämer BJ, Lin K-J, Narasimhan P (eds) Service-oriented computing - ICSOC 2007. Fifth international conference, Vienna, 17-20 September 2007. Proceedings, Lecture notes in computer science, vol 4749. Springer, Berlin, pp 43-55
-
(2007)
Service-Oriented Computing - ICSOC 2007. Fifth International Conference, Vienna
, vol.4749
, pp. 17-20
-
-
Vanhatalo, J.1
Völzer, H.2
Leymann, F.3
-
56
-
-
0035653173
-
Diagnosing workflow processes using woflan
-
Verbeek HMW, Basten T, van der Aalst WMP (2001) Diagnosing workflow processes using Woflan. Comput J 44(4):246-279
-
(2001)
Comput J
, vol.44
, Issue.4
, pp. 246-279
-
-
Verbeek, H.1
Basten, T.2
Van Der Aalst, W.3
-
57
-
-
38149061096
-
Change patterns and change support features in process-aware information systems
-
Krogstie J, Opdahl AL, Sindre G, 19th international conference, CAiSE 2007, Trondheim, 11-15 June 2007. Proceedings, Lecture notes in computer science, Springer, Heidelberg
-
Weber B, Rinderle S, Reichert M (2007) Change patterns and change support features in process-aware information systems. In: Krogstie J, Opdahl AL, Sindre G (eds) Advanced information systems engineering. 19th international conference, CAiSE 2007, Trondheim, 11-15 June 2007. Proceedings, Lecture notes in computer science, vol 4495. Springer, Heidelberg, pp 574-588
-
(2007)
Advanced Information Systems Engineering
, vol.4495
, pp. 574-588
-
-
Weber, B.1
Rinderle, S.2
Reichert, M.3
-
58
-
-
56549128717
-
-
BPMCenter Report BPM-06-24
-
Wynn MT, Verbeek HMW, van der Aalst WMP, ter Hofstede AHM, Edmond D (2006) Reduction rules for yawl workflow nets with cancellation regions and or-joins. BPMCenter Report BPM-06-24, BPMcenter.org
-
(2006)
Reduction Rules for Yawl Workflow Nets with Cancellation Regions and Or-Joins
-
-
Wynn, M.T.1
Verbeek, H.2
Van Der Aalst, W.3
Ter Hofstede, A.4
Edmond, D.5
|