-
2
-
-
27844468093
-
Towards a Formal Definition of Goal-Oriented Business Process Patterns
-
Andersson, B., Bider, I., Johannesson, P., Perjons, E.: Towards a Formal Definition of Goal-Oriented Business Process Patterns. Business Process Management Journal 11(6) (2005)
-
(2005)
Business Process Management Journal
, vol.11
, pp. 6
-
-
Andersson, B.1
Bider, I.2
Johannesson, P.3
Perjons, E.4
-
3
-
-
57049136576
-
Efficient compliance checking using BPMN-Q and temporal logic
-
Dumas, M., Reichert, M., Shan, M.-C. (eds.) BPM 2008. Springer, Heidelberg
-
Awad, A., Decker, G., Weske, M.: Efficient compliance checking using BPMN-Q and temporal logic. In: Dumas, M., Reichert, M., Shan, M.-C. (eds.) BPM 2008. LNCS, vol. 5240, pp. 326-341. Springer, Heidelberg (2008)
-
(2008)
LNCS
, vol.5240
, pp. 326-341
-
-
Awad, A.1
Decker, G.2
Weske, M.3
-
6
-
-
84911354521
-
A formal model for process context learning
-
Ghattas, J., Soffer, P., Peleg, M.: A formal model for process context learning. In: Proc. BPI 2009, Ulm, Germany (2009)
-
Proc. BPI 2009, Ulm, Germany (2009)
-
-
Ghattas, J.1
Soffer, P.2
Peleg, M.3
-
7
-
-
0034837933
-
Goal-Oriented Requirements Engineering: A Guided Tour
-
IEEE CS Press, Los Alamitos
-
Lamsweerde, A.: Goal-Oriented Requirements Engineering: A Guided Tour. In: 5th Int'l Symp. on RE, pp. 249-261. IEEE CS Press, Los Alamitos (2001)
-
(2001)
5th Int'l Symp. on RE
, pp. 249-261
-
-
Lamsweerde, A.1
-
8
-
-
36049040272
-
Integration and veri-cation of semantic constraints in adaptive process management systems
-
Ly, L.T., Rinderle, S., Dadam, P.: Integration and veri-cation of semantic constraints in adaptive process management systems. Data and Knowledge Engineering 64, 3-23 (2008)
-
(2008)
Data and Knowledge Engineering
, vol.64
, pp. 3-23
-
-
Ly, L.T.1
Rinderle, S.2
Dadam, P.3
-
9
-
-
38349047674
-
Constraint-based workflow models: Change made easy
-
Chung, S. (ed.) OTM 2007, Part I. Springer, Heidelberg
-
Pesic, M., Schonenberg, M.H., Sidorova, N., van der Aalst, W.M.P.: Constraint-based workflow models: Change made easy. In: Chung, S. (ed.) OTM 2007, Part I. LNCS, vol. 4803, pp. 77-94. Springer, Heidelberg (2007)
-
(2007)
LNCS
, vol.4803
, pp. 77-94
-
-
Pesic, M.1
Schonenberg, M.H.2
Sidorova, N.3
Van Der Aalst, W.M.P.4
-
10
-
-
33847048196
-
Defining business process flexibility with the help of invariants
-
Regev, G., Bider, I., Wegmann, A.: Defining business process flexibility with the help of invariants. Software Process Improvement and Practice 12, 65-79 (2007)
-
(2007)
Software Process Improvement and Practice
, vol.12
, pp. 65-79
-
-
Regev, G.1
Bider, I.2
Wegmann, A.3
-
11
-
-
21144458146
-
ADEPT workflow management system
-
van der Aalst, W.M.P., ter Hofstede, A.H.M., Weske, M. (eds.) BPM 2003. Springer, Heidelberg
-
Reichert, M., Rinderle, S., Dadam, P.: ADEPT workflow management system: In: van der Aalst, W.M.P., ter Hofstede, A.H.M., Weske, M. (eds.) BPM 2003. LNCS, vol. 2678, pp. 370-379. Springer, Heidelberg (2003)
-
(2003)
LNCS
, vol.2678
, pp. 370-379
-
-
Reichert, M.1
Rinderle, S.2
Dadam, P.3
-
12
-
-
67349147825
-
Process Flexibility: A Survey of Contemporary Approaches
-
Dietz, et al (eds.) CIAO! And EOMAS 2008. Springer, Berlin
-
Schonenberg, H., Mans, R., Russell, N., Mulyar, N., van der Aalst, W.M.P.: Process Flexibility: A Survey of Contemporary Approaches. In: Dietz, et al (eds.) CIAO! And EOMAS 2008. LNBIP, vol. 10, pp. 16-30. Springer, Berlin (2008)
-
(2008)
LNBIP
, vol.10
, pp. 16-30
-
-
Schonenberg, H.1
Mans, R.2
Russell, N.3
Mulyar, N.4
Van Der Aalst, W.M.P.5
-
13
-
-
57049169719
-
Supporting flexible processes through recommendations based on history
-
Dumas, M., Reichert, M., Shan, M.-C. (eds.) BPM 2008. Springer, Heidelberg
-
Schonenberg, H., Weber, B., van Dongen, B.F., van der Aalst, W.M.P.: Supporting flexible processes through recommendations based on history. In: Dumas, M., Reichert, M., Shan, M.-C. (eds.) BPM 2008. LNCS, vol. 5240, pp. 51-66. Springer, Heidelberg (2008)
-
(2008)
LNCS
, vol.5240
, pp. 51-66
-
-
Schonenberg, H.1
Weber, B.2
Van Dongen, B.F.3
Van Der Aalst, W.M.P.4
-
14
-
-
77956293505
-
Assigning Ontology-Based Semantics to Workflow nets
-
Soffer, P., Kaner, M., Wand, Y.: Assigning Ontology-Based Semantics to Workflow nets". Journal of Database Management 21(3), 1-35 (2010)
-
(2010)
Journal of Database Management
, vol.21
, Issue.3
, pp. 1-35
-
-
Soffer, P.1
Kaner, M.2
Wand, Y.3
-
15
-
-
27844557324
-
On the Notion of Soft Goals in Business Process Modeling
-
Soffer, P., Wand, Y.: On the Notion of Soft Goals in Business Process Modeling. Business Process Management Journal 11(6), 663-679 (2005)
-
(2005)
Business Process Management Journal
, vol.11
, Issue.6
, pp. 663-679
-
-
Soffer, P.1
Wand, Y.2
-
17
-
-
84911354831
-
-
Weber, B., Pinggera, J., Zugal, S., Wild, W.: Handling events during business process execution: An empirical test
-
Handling Events during Business Process Execution: An Empirical Test
-
-
Weber, B.1
Pinggera, J.2
Zugal, S.3
Wild, W.4
-
18
-
-
69849114656
-
The declarative approach to business process execution: An empirical test
-
van Eck, P., Gordijn, J., Wieringa, R. (eds.) CAiSE 2009. Springer, Heidelberg
-
Weber, B., Reijers, H.A., Zugal, S., Wild, W.: The declarative approach to business process execution: An empirical test. In: van Eck, P., Gordijn, J., Wieringa, R. (eds.) CAiSE 2009. LNCS, vol. 5565, pp. 470-485. Springer, Heidelberg (2009)
-
(2009)
LNCS
, vol.5565
, pp. 470-485
-
-
Weber, B.1
Reijers, H.A.2
Zugal, S.3
Wild, W.4
-
20
-
-
84911352566
-
-
Ploesser, K., Janiesch, C., Recker, J., Rosemann, M.: Context Change Archetypes: Understanding the Impact of Context Change on Business Processes (2009)
-
(2009)
Context Change Archetypes: Understanding the Impact of Context Change on Business Processes
-
-
Ploesser, K.1
Janiesch, C.2
Recker, J.3
Rosemann, M.4
|