-
1
-
-
84911357039
-
-
White, S.: Business process modeling notation (bpmn), Technical report, OMG Final Adopted Specification 1.0 (February 2006), http://www.bpmn.org
-
White, S.: Business process modeling notation (bpmn), Technical report, OMG Final Adopted Specification 1.0 (February 2006), http://www.bpmn.org
-
-
-
-
2
-
-
37549039187
-
Configurable process models as a basis for reference modelling
-
van der Aalst, W., Dreiling, A., Rosemann, M., Jansen-Vullers, M.H.: Configurable process models as a basis for reference modelling. In: Proceedings of the Workshop on Business Process Reference Models (BPRM 2005) (2005)
-
(2005)
Proceedings of the Workshop on Business Process Reference Models (BPRM
-
-
van der Aalst, W.1
Dreiling, A.2
Rosemann, M.3
Jansen-Vullers, M.H.4
-
3
-
-
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. Data and Knowledge Engineering 50, 9-34 (2004)
-
(2004)
Data and Knowledge Engineering
, vol.50
, pp. 9-34
-
-
Rinderle, S.1
Reichert, M.2
Dadam, P.3
-
5
-
-
33749985727
-
-
Lu, R., Sadiq, S.: Managing process variants as and information resource. In: Dust- dar, S., Fiadeiro, J.L., Sheth, A.P. (eds.) BPM 2006. LNCS, 4102, pp. 426-431. Springer, Heidelberg (2006)
-
Lu, R., Sadiq, S.: Managing process variants as and information resource. In: Dust- dar, S., Fiadeiro, J.L., Sheth, A.P. (eds.) BPM 2006. LNCS, vol. 4102, pp. 426-431. Springer, Heidelberg (2006)
-
-
-
-
6
-
-
29144524588
-
Scope analysis: Identifying the impact of changes in business process models
-
Soffer, P.: Scope analysis: identifying the impact of changes in business process models. Software Process: Improvement and Practice 10(4), 393-402 (2005)
-
(2005)
Software Process: Improvement and Practice
, vol.10
, Issue.4
, pp. 393-402
-
-
Soffer, P.1
-
7
-
-
0041311334
-
Using Formal Analysis Techniques in Business Process Redesign
-
van der Aalst, W.M.P, Desel, J, Oberweis, A, eds, Business Process Management, Springer, Heidelberg
-
van Hee, K.M., Reijers, H.A.: Using Formal Analysis Techniques in Business Process Redesign. In: van der Aalst, W.M.P., Desel, J., Oberweis, A. (eds.) Business Process Management. LNCS, vol. 1806, pp. 51-71. Springer, Heidelberg (2000)
-
(2000)
LNCS
, vol.1806
, pp. 51-71
-
-
van Hee, K.M.1
Reijers, H.A.2
-
8
-
-
84902993502
-
A Methodology for Designing and Managing Context-Aware Workflows
-
Modafferi, S., Benatallah, B., Casati, F., Pernici, B.: A Methodology for Designing and Managing Context-Aware Workflows. In: Mobile IS II, pp. 91-106 (2005)
-
(2005)
Mobile IS II
, pp. 91-106
-
-
Modafferi, S.1
Benatallah, B.2
Casati, F.3
Pernici, B.4
-
10
-
-
84858079337
-
Detecting regulatory compliance of business process models through semantic annotations
-
Governatori, G., Hoffmann, J., Sadiq, S., Weber, I.: Detecting regulatory compliance of business process models through semantic annotations. In: Proceedings of the 4th International Workshop on Business Process Design (2008)
-
(2008)
Proceedings of the 4th International Workshop on Business Process Design
-
-
Governatori, G.1
Hoffmann, J.2
Sadiq, S.3
Weber, I.4
-
11
-
-
0025446506
-
Ai planning: Systems and techniques
-
Hendler, J., Tate, A., Drummond, M.: Ai planning: Systems and techniques. AI Magazine 11(2), 61-77 (1990)
-
(1990)
AI Magazine
, vol.11
, Issue.2
, pp. 61-77
-
-
Hendler, J.1
Tate, A.2
Drummond, M.3
-
13
-
-
0002426352
-
Lightweight formal methods
-
Jackson, D., Wing, J.: Lightweight formal methods. IEEE Computer, 21-22 (1996)
-
(1996)
IEEE Computer
, vol.21-22
-
-
Jackson, D.1
Wing, J.2
-
14
-
-
38349004887
-
Auditing business process compliance
-
Kramer, B.J, Lin, K.-J, Narasimhan, P, eds, ICSOC 2007, Springer, Heidelberg
-
Ghose, A.K., Koliadis, G.: Auditing business process compliance. In: Kramer, B.J., Lin, K.-J., Narasimhan, P. (eds.) ICSOC 2007. LNCS, vol. 4749, pp. 169-180. Springer, Heidelberg (2007)
-
(2007)
LNCS
, vol.4749
, pp. 169-180
-
-
Ghose, A.K.1
Koliadis, G.2
-
15
-
-
27144489778
-
-
Puhlmann, F., Weske, M.: Using the pi-calculus for formalizing workflow patterns. In: van der Aalst, W.M.P., Benatallah, B., Casati, F., Curbera, F. (eds.) BPM 2005. LNCS, 3649, pp. 153-168. Springer, Heidelberg (2005)
-
Puhlmann, F., Weske, M.: Using the pi-calculus for formalizing workflow patterns. In: van der Aalst, W.M.P., Benatallah, B., Casati, F., Curbera, F. (eds.) BPM 2005. LNCS, vol. 3649, pp. 153-168. Springer, Heidelberg (2005)
-
-
-
-
16
-
-
67249096659
-
-
Soft Constraint Solving and Programming: a General Framework. PhD thesis, Computer Science Department, University of Pisa
-
Bistarelli, S.: Soft Constraint Solving and Programming: a General Framework. PhD thesis, Computer Science Department, University of Pisa (2001)
-
(2001)
-
-
Bistarelli, S.1
|