-
2
-
-
38049150939
-
Modeling Control Objectives for Business Process Compliance
-
Alonso, G., Dadam, P., Rosemann, M. (eds.) BPM 2007. Springer, Heidelberg
-
Sadiq, S., Governatori, G., Namiri, K.: Modeling Control Objectives for Business Process Compliance. In: Alonso, G., Dadam, P., Rosemann, M. (eds.) BPM 2007. LNCS, vol. 4714, pp. 149-164. Springer, Heidelberg (2007)
-
(2007)
LNCS
, vol.4714
, pp. 149-164
-
-
Sadiq, S.1
Governatori, G.2
Namiri, K.3
-
3
-
-
34247861351
-
A Static Compliance-Checking Framework for Business Process Models
-
Liu, Y., Müller, S., Xu, K.: A Static Compliance-Checking Framework for Business Process Models. IBM Systems Journal 46, 335-361 (2007)
-
(2007)
IBM Systems Journal
, vol.46
, pp. 335-361
-
-
Liu, Y.1
Müller, S.2
Xu, K.3
-
4
-
-
75649132702
-
Ontology-based Representation of Compliance Requirements for Service Processes
-
Schmidt, R., Bartsch, C., Oberhauser, R.: Ontology-based Representation of Compliance Requirements for Service Processes. In: SBPM 2007. CEUR, vol. 251, pp. 28-39 (2007)
-
(2007)
SBPM 2007. CEUR
, vol.251
, pp. 28-39
-
-
Schmidt, R.1
Bartsch, C.2
Oberhauser, R.3
-
5
-
-
84885005456
-
Towards a Framework for Semantic Business Process Compliance Management
-
El Kharbili, M., Stein, S., Markovic, I., Pulvermüller, E.: Towards a Framework for Semantic Business Process Compliance Management. In: GRCIS 2008 Workshop at CAiSE 2008. CEUR, vol. 339, pp. 1-15 (2007)
-
(2007)
GRCIS 2008 Workshop at CAiSE 2008. CEUR
, vol.339
, pp. 1-15
-
-
El Kharbili, M.1
Stein, S.2
Markovic, I.3
Pulvermüller, E.4
-
6
-
-
84866639657
-
-
ARM Research, Boston, USA November JH 2006
-
Hagerty, J.: Sox spending for 2006. ARM Research, Boston, USA (November 2006), JH 2006
-
(2006)
Sox Spending for 2006
-
-
Hagerty, J.1
-
7
-
-
79551517853
-
SeaFlows Toolset - Compliance Verification Made Easy for Process-Aware Information Systems
-
Soffer, P., Proper, E. (eds.) CAiSE Forum 2010. Springer, Heidelberg
-
Ly, L.T., Knuplesch, D., Rinderle-Ma, S., Göser, K., Pfeifer, H., Reichert, M., Dadam, P.: SeaFlows Toolset - Compliance Verification Made Easy for Process-Aware Information Systems. In: Soffer, P., Proper, E. (eds.) CAiSE Forum 2010. LNBIP, vol. 72, pp. 76-91. Springer, Heidelberg (2011)
-
(2011)
LNBIP
, vol.72
, pp. 76-91
-
-
Ly, L.T.1
Knuplesch, D.2
Rinderle-Ma, S.3
Göser, K.4
Pfeifer, H.5
Reichert, M.6
Dadam, P.7
-
8
-
-
33750019247
-
Semantic Correctness in Adaptive Process Management Systems
-
Dustdar, S., Fiadeiro, J.L., Sheth, A.P. (eds.) BPM 2006. Springer, Heidelberg
-
Ly, L.T., Rinderle, S., Dadam, P.: Semantic Correctness in Adaptive Process Management Systems. In: Dustdar, S., Fiadeiro, J.L., Sheth, A.P. (eds.) BPM 2006. LNCS, vol. 4102, pp. 193-208. Springer, Heidelberg (2006)
-
(2006)
LNCS
, vol.4102
, pp. 193-208
-
-
Ly, L.T.1
Rinderle, S.2
Dadam, P.3
-
10
-
-
84856581309
-
A Methodological Framework for Aligning Business Processes and Regulatory Compliance
-
Springer, Berlin
-
Sadiq, S., Governatori, G.: A Methodological Framework for Aligning Business Processes and Regulatory Compliance. In: Handbook of Business Process Management: 2. Strategic Alignment, Governance, People and Culture, pp. 159-176. Springer, Berlin (2010)
-
(2010)
Handbook of Business Process Management: 2. Strategic Alignment, Governance, People and Culture
, pp. 159-176
-
-
Sadiq, S.1
Governatori, G.2
-
11
-
-
38349004887
-
Auditing Business Process Compliance
-
Krämer, B.J., Lin, K.-J., Narasimhan, P. (eds.) ICSOC 2007. Springer, Heidelberg
-
Ghose, A.K., Koliadis, G.: Auditing Business Process Compliance. In: Krämer, 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
-
12
-
-
67649921330
-
Detecting Regulatory Compliance for Business Process Models through Semantic Annotations
-
Ardagna, D., Mecella, M., Yang, J. (eds.) BPM Workshops 2008. Springer, Heidelberg
-
Governatori, G., Hoffmann, J., Sadiq, S., Weber, I.: Detecting Regulatory Compliance for Business Process Models through Semantic Annotations. In: Ardagna, D., Mecella, M., Yang, J. (eds.) BPM Workshops 2008. LNBIP, vol. 17, pp. 5-17. Springer, Heidelberg (2009)
-
(2009)
LNBIP
, vol.17
, pp. 5-17
-
-
Governatori, G.1
Hoffmann, J.2
Sadiq, S.3
Weber, I.4
-
14
-
-
82055163558
-
A Conceptually Rich Model of Business Process Compliance
-
Australian Computer Society
-
Governatori, G., Rotolo, A.: A Conceptually Rich Model of Business Process Compliance. In: APCCM 2010. CRPIT, vol. 110, pp. 3-12. Australian Computer Society (2010)
-
(2010)
APCCM 2010. CRPIT
, vol.110
, pp. 3-12
-
-
Governatori, G.1
Rotolo, A.2
-
15
-
-
9444235971
-
Deontic Logic and Contrary to duties
-
2nd edn., Kulwer, Dordrech
-
Carmo, J., Jones, J.: Deontic Logic and Contrary to duties. In: Handbook of Philosophical Logic, 2nd edn., pp. 265-343. Kulwer, Dordrech (2002)
-
(2002)
Handbook of Philosophical Logic
, pp. 265-343
-
-
Carmo, J.1
Jones, J.2
-
17
-
-
84867763616
-
Representation results for defeasible logic
-
Antoniou, G., Billington, D., Governatori, G., Maher, M.J.: Representation results for defeasible logic. ACM Transactions on Computational Logic 2, 255-287 (2001)
-
(2001)
ACM Transactions on Computational Logic
, vol.2
, pp. 255-287
-
-
Antoniou, G.1
Billington, D.2
Governatori, G.3
Maher, M.J.4
-
18
-
-
33750335026
-
Embedding defeasible logic into logic programming
-
Antoniou, G., Billington, D., Governatori, G., Maher, M.J.: Embedding defeasible logic into logic programming. Theory and Practice of Logic Programming 6, 703-735 (2006)
-
(2006)
Theory and Practice of Logic Programming
, vol.6
, pp. 703-735
-
-
Antoniou, G.1
Billington, D.2
Governatori, G.3
Maher, M.J.4
-
19
-
-
33750195346
-
Logic of Violations:A Gentzen System for Reasoning with Contrary-To-Duty Obligation
-
Governatori, G., Rotolo, A.: Logic of Violations:A Gentzen System for Reasoning with Contrary-To-Duty Obligation. Australasian Journal of Logic 4, 193-215 (2006)
-
(2006)
Australasian Journal of Logic
, vol.4
, pp. 193-215
-
-
Governatori, G.1
Rotolo, A.2
-
20
-
-
84866656966
-
Compliance Management in Multi-actor Contexts
-
article 7
-
Bonazzi, R., Pigneur, Y.: Compliance Management in Multi-actor Contexts. In: GRCIS 2009. CEUR, vol. 459, article 7 (2009)
-
(2009)
GRCIS 2009. CEUR
, vol.459
-
-
Bonazzi, R.1
Pigneur, Y.2
-
22
-
-
79960295554
-
Policy-Based Semantic Compliance Checking for Business Process Management
-
el Kharbili, M., Stein, S.: Policy-Based Semantic Compliance Checking for Business Process Management. In: MobIS Workshops 2008. CEUR, vol. 420, pp. 178-192 (2008)
-
(2008)
MobIS Workshops 2008. CEUR
, vol.420
, pp. 178-192
-
-
El Kharbili, M.1
Stein, S.2
-
23
-
-
84861459429
-
On Enabling Integrated Process Compliance with Semantic Constraints in Process Management Systems
-
Ly, L., Rinderle-Ma, S., Göser, K., Dadam, P.: On Enabling Integrated Process Compliance with Semantic Constraints in Process Management Systems. Information Systems Frontiers 14, 195-219 (2012)
-
(2012)
Information Systems Frontiers
, vol.14
, pp. 195-219
-
-
Ly, L.1
Rinderle-Ma, S.2
Göser, K.3
Dadam, P.4
-
24
-
-
40549095696
-
Compliance Aware Business Process Design
-
ter Hofstede, A.H.M., Benatallah, B., Paik, H.-Y. (eds.) BPM Workshops 2007. Springer, Heidelberg
-
Lu, R., Sadiq, S.K., Governatori, G.: Compliance Aware Business Process Design. In: ter Hofstede, A.H.M., Benatallah, B., Paik, H.-Y. (eds.) BPM Workshops 2007. LNCS, vol. 4928, pp. 120-131. Springer, Heidelberg (2008)
-
(2008)
LNCS
, vol.4928
, pp. 120-131
-
-
Lu, R.1
Sadiq, S.K.2
Governatori, G.3
-
25
-
-
33749642332
-
Designing Compliant Business Processes with Obligations and Permissions
-
Eder, J., Dustdar, S. (eds.) BPM Workshops 2006. Springer, Heidelberg
-
Goedertier, S., Vanthienen, J.: Designing Compliant Business Processes with Obligations and Permissions. In: Eder, J., Dustdar, S. (eds.) BPM Workshops 2006. LNCS, vol. 4103, pp. 5-14. Springer, Heidelberg (2006)
-
(2006)
LNCS
, vol.4103
, pp. 5-14
-
-
Goedertier, S.1
Vanthienen, J.2
-
26
-
-
38749096258
-
Translating business contract into compliant business processes
-
IEEE Press
-
Governatori, G., Milosevic, Z., Sadiq, S.: Translating business contract into compliant business processes. In: 10th IEEE International Enterprise Distributed Object Computing Conference, pp. 221-232. IEEE Press (2006)
-
(2006)
10th IEEE International Enterprise Distributed Object Computing Conference
, pp. 221-232
-
-
Governatori, G.1
Milosevic, Z.2
Sadiq, S.3
-
27
-
-
75549125082
-
Compliant and flexible business processes with business rules
-
Goedertier, S., Vanthienen, J.: Compliant and flexible business processes with business rules. In: BPMDS 2006. CEUR, vol. 236 (2006)
-
(2006)
BPMDS 2006. CEUR
, vol.236
-
-
Goedertier, S.1
Vanthienen, J.2
-
28
-
-
80052799188
-
Compliance by Design for Artifact-Centric Business Processes
-
Rinderle-Ma, S., Toumani, F., Wolf, K. (eds.) BPM 2011. Springer, Heidelberg
-
Lohmann, N.: Compliance by Design for Artifact-Centric Business Processes. In: Rinderle-Ma, S., Toumani, F., Wolf, K. (eds.) BPM 2011. LNCS, vol. 6896, pp. 99-115. Springer, Heidelberg (2011)
-
(2011)
LNCS
, vol.6896
, pp. 99-115
-
-
Lohmann, N.1
-
29
-
-
75649086163
-
Specification, Verification and Explanation of Violation for Data Aware Compliance Rules
-
Baresi, L., Chi, C.-H., Suzuki, J. (eds.) ICSOC-ServiceWave 2009. Springer, Heidelberg
-
Awad, A., Weidlich, M., Weske, M.: Specification, Verification and Explanation of Violation for Data Aware Compliance Rules. In: Baresi, L., Chi, C.-H., Suzuki, J. (eds.) ICSOC-ServiceWave 2009. LNCS, vol. 5900, pp. 500-515. Springer, Heidelberg (2009)
-
(2009)
LNCS
, vol.5900
, pp. 500-515
-
-
Awad, A.1
Weidlich, M.2
Weske, M.3
-
30
-
-
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
-
31
-
-
54349115014
-
Measurement of compliance distance in business processes
-
Lu, R., Sadiq, S., Governatori, G.: Measurement of compliance distance in business processes. Information Systems Management 25, 344-355 (2008)
-
(2008)
Information Systems Management
, vol.25
, pp. 344-355
-
-
Lu, R.1
Sadiq, S.2
Governatori, G.3
|