-
1
-
-
82055163558
-
A conceptually rich model of business process compliance
-
Governatori, G., Rotolo, A.: A conceptually rich model of business process compliance. In: APCCM, pp. 3-12 (2010)
-
(2010)
APCCM
, pp. 3-12
-
-
Governatori, G.1
Rotolo, A.2
-
2
-
-
38749096258
-
Compliance checking between business processes and business contracts
-
Governatori, G., Milosevic, Z., Sadiq, S.W.: Compliance checking between business processes and business contracts. In: EDOC, pp. 221-232 (2006)
-
(2006)
EDOC
, pp. 221-232
-
-
Governatori, G.1
Milosevic, Z.2
Sadiq, S.W.3
-
3
-
-
79960292158
-
An Iterative Approach for Business Process Template Synthesis from Compliance Rules
-
Mouratidis, H., Rolland, C. (eds.) CAiSE 2011. Springer, Heidelberg
-
Awad, A., Goré, R., Thomson, J., Weidlich, M.: An Iterative Approach for Business Process Template Synthesis from Compliance Rules. In: Mouratidis, H., Rolland, C. (eds.) CAiSE 2011. LNCS, vol. 6741, pp. 406-421. Springer, Heidelberg (2011)
-
(2011)
LNCS
, vol.6741
, pp. 406-421
-
-
Awad, A.1
Goré, R.2
Thomson, J.3
Weidlich, M.4
-
5
-
-
72849128648
-
Semantic-based planning of process models
-
Henneberger, M., Heinrich, B., Lautenbacher, F., Bauer, B.: Semantic-based planning of process models. In: Multikonferenz Wirtschaftsinformatik (2008)
-
Multikonferenz Wirtschaftsinformatik (2008)
-
-
Henneberger, M.1
Heinrich, B.2
Lautenbacher, F.3
Bauer, B.4
-
6
-
-
84870965436
-
Automated planning of process models: The construction of exclusive choices
-
paper 184
-
Heinrich, B., Bolsinger, M., Bewernik, M.: Automated planning of process models: The construction of exclusive choices. In: ICIS, paper 184 (2009)
-
(2009)
ICIS
-
-
Heinrich, B.1
Bolsinger, M.2
Bewernik, M.3
-
7
-
-
10644260944
-
-
Mukherjee, S., Davulcu, H., Kifer, M., Senkul, P., Yang, G.: Logic based approaches to workflow modeling and verification (2003)
-
(2003)
Logic Based Approaches to Workflow Modeling and Verification
-
-
Mukherjee, S.1
Davulcu, H.2
Kifer, M.3
Senkul, P.4
Yang, G.5
-
8
-
-
71249116040
-
Process seer: A tool for semantic effect annotation of business process models
-
Hinge, K., Ghose, A.K., Koliadis, G.: Process seer: A tool for semantic effect annotation of business process models. In: EDOC, pp. 54-63 (2009)
-
(2009)
EDOC
, pp. 54-63
-
-
Hinge, K.1
Ghose, A.K.2
Koliadis, G.3
-
9
-
-
0030393604
-
Formal refinement patterns for goal-driven requirements elaboration
-
Darimont, R., van Lamsweerde, A.: Formal refinement patterns for goal-driven requirements elaboration. SIGSOFT Software Engineering Notes 21, 179-190 (1996)
-
(1996)
SIGSOFT Software Engineering Notes
, vol.21
, pp. 179-190
-
-
Darimont, R.1
Van Lamsweerde, A.2
-
10
-
-
0027574423
-
Goal-directed requirements acquisition
-
Dardenne, A., van Lamsweerde, A., Fickas, S.: Goal-directed requirements acquisition. Sci. Comput. Program. 20(1-2), 3-50 (1993)
-
(1993)
Sci. Comput. Program.
, vol.20
, Issue.1-2
, pp. 3-50
-
-
Dardenne, A.1
Van Lamsweerde, A.2
Fickas, S.3
-
11
-
-
38349004887
-
Auditing Business Process Compliance
-
Kramer, B.J., Lin, K.-J., Narasimhan, P. (eds.) ICSOC 2007. Springer, Heidelberg
-
Ghose, A., 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.1
Koliadis, G.2
-
14
-
-
72849140375
-
Process mining for semantic business process modeling
-
Lautenbacher, F., Bauer, B., Forg, S.: Process mining for semantic business process modeling. In: Enterprise Distributed Object Computing Conference Workshops, EDOCW 2009, September 13, pp. 45-53 (2009)
-
(2009)
Enterprise Distributed Object Computing Conference Workshops, EDOCW 2009, September 13
, pp. 45-53
-
-
Lautenbacher, F.1
Bauer, B.2
Forg, S.3
-
15
-
-
72849142603
-
Process model adaptation using semantic technologies
-
Lautenbacher, F., Eisenbarth, T., Bauer, B.: Process model adaptation using semantic technologies. In: Enterprise Distributed Object Computing Conference Workshops, EDOCW2009, September 13, pp. 301-309 (2009)
-
(2009)
Enterprise Distributed Object Computing Conference Workshops, EDOCW2009, September 13
, pp. 301-309
-
-
Lautenbacher, F.1
Eisenbarth, T.2
Bauer, B.3
-
16
-
-
72849120740
-
Token analysis of graph-oriented process models
-
Gotz, M., Roser, S., Lautenbacher, F., Bauer, B.: Token analysis of graph-oriented process models. In: Enterprise Distributed Object Computing Conference Workshops, EDOCW2009, September 13, pp. 15 -24 (2009)
-
(2009)
Enterprise Distributed Object Computing Conference Workshops, EDOCW2009, September 13
, pp. 15-24
-
-
Gotz, M.1
Roser, S.2
Lautenbacher, F.3
Bauer, B.4
|