-
2
-
-
33646698687
-
Process Mining and Verification of Properties: An Approach Based on Temporal Logic
-
Meersman, R. (ed.) OTM 2005. Springer, Heidelberg
-
van der Aalst, W.M.P., de Beer, H.T., van Dongen, B.F.: Process Mining and Verification of Properties: An Approach Based on Temporal Logic. In: Meersman, R. (ed.) OTM 2005. LNCS, vol. 3760, pp. 130-147. Springer, Heidelberg (2005)
-
(2005)
LNCS
, vol.3760
, pp. 130-147
-
-
Van Der Aalst, W.M.P.1
De Beer, H.T.2
Van Dongen, B.F.3
-
3
-
-
78651086490
-
Conceptual Model for Online Auditing
-
van der Aalst, W.M.P., van Hee, K.M., van der Werf, J.M.E.M., Kumar, A., Verdonk, M.: Conceptual Model for Online Auditing. Decision Support Systems 50(3), 636-647 (2011)
-
(2011)
Decision Support Systems
, vol.50
, Issue.3
, pp. 636-647
-
-
Van Der Aalst, W.M.P.1
Van Hee, K.M.2
Van Der Werf, J.M.E.M.3
Kumar, A.4
Verdonk, M.5
-
5
-
-
84878834015
-
Business Process Compliance Checking: Current State and Future Challenges
-
Modellierung betrieblicher Informationssysteme (MobIS)
-
El Kharbili, M., de Medeiros, A.K.A., Stein, S., van der Aalst, W.M.P.: Business Process Compliance Checking: Current State and Future Challenges. In: Modellierung betrieblicher Informationssysteme (MobIS). LNI, pp. 107-113 (2008)
-
(2008)
LNI
, pp. 107-113
-
-
El Kharbili, M.1
De Medeiros, A.K.A.2
Stein, S.3
Van Der Aalst, W.M.P.4
-
6
-
-
84885779105
-
Modeling and Verifying Workflow-based Regulations
-
Fötsch, D., Pulverm?uller, E., Rossak, W.: Modeling and Verifying Workflow-based Regulations. In: Regulations Modelling and their Validation/ Verification, pp. 825-830 (2006)
-
(2006)
Regulations Modelling and Their Validation/ Verification
, pp. 825-830
-
-
Fötsch, D.1
Pulvermuller, E.2
Rossak, W.3
-
7
-
-
38349004887
-
Auditing Business Process Compliance
-
Kr?amer, B.J., Lin, K.-J., Narasimhan, P. (eds.) ICSOC 2007. Springer, Heidelberg
-
Ghose, A., Koliadis, G.: Auditing Business Process Compliance. In: Kr?amer, 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
-
8
-
-
84944105044
-
Regulations Expressed As Logical Models (REALM)
-
Giblin, C., Liu, A.Y., Müller, S., Pfitzmann, B., Zhou, X.: Regulations Expressed As Logical Models (REALM). JURIX, 37-48 (2005)
-
(2005)
JURIX
, pp. 37-48
-
-
Giblin, C.1
Liu, A.Y.2
Müller, S.3
Pfitzmann, B.4
Zhou, X.5
-
9
-
-
84885005456
-
Towards a Framework for Semantic Business Process Compliance Management
-
GRCIS
-
Kharbili, M., Stein, S., Markovic, I., Pulverm?uller, E.: Towards a Framework for Semantic Business Process Compliance Management. In: GRCIS. CEUR Workshop Proceedings, vol. 339, pp. 1-15 (2008)
-
(2008)
CEUR Workshop Proceedings
, vol.339
, pp. 1-15
-
-
Kharbili, M.1
Stein, S.2
Markovic, I.3
Pulvermuller, E.4
-
10
-
-
40549095696
-
Compliance aware business process design
-
DOI 10.1007/978-3-540-78238-4-14, Business Process Management Workshops - BPM 2007 International Workshops BPI, BPD, CBP, ProHealth, RefMod, semantics4ws, Revised Selected Papers
-
Lu, R., Sadiq, S., 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) (Pubitemid 351358247)
-
(2008)
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
, vol.4928 LNCS
, pp. 120-131
-
-
Lu, R.1
Sadiq, S.2
Governatori, G.3
-
11
-
-
80052786262
-
Monitoring Business Constraints with Linear Temporal Logic: An Approach Based on Colored Automata
-
Rinderle-Ma, S., Toumani, F., Wolf, K. (eds.) BPM 2011. Springer, Heidelberg
-
Maggi, F.M., Montali, M., Westergaard, M., van der Aalst, W.M.P.: Monitoring Business Constraints with Linear Temporal Logic: An Approach Based on Colored Automata. In: Rinderle-Ma, S., Toumani, F., Wolf, K. (eds.) BPM 2011. LNCS, LNBIP, vol. 6896, pp. 132-147. Springer, Heidelberg (2011)
-
(2011)
LNCS, LNBIP
, vol.6896
, pp. 132-147
-
-
Maggi, F.M.1
Montali, M.2
Westergaard, M.3
Van Der Aalst, W.M.P.4
-
13
-
-
84856571653
-
IBM's Unified Governance Framework (UGF)
-
Technical report, IBM Research Division, Zurich, (99709) December 10
-
Waidner, M., Pfitzmann, B., Powers, C.: IBM's Unified Governance Framework (UGF). Technical report, IBM Research Division, Zurich, IBM Research Report RZ 3699 (99709) (December 10, 2007)
-
(2007)
IBM Research Report RZ 3699
-
-
Waidner, M.1
Pfitzmann, B.2
Powers, C.3
-
14
-
-
67349262765
-
Workflow Simulation for Operational Decision Support
-
Rozinat, A., Wynn, M.T., van der Aalst, W.M.P., ter Hofstede, A.H.M., Fridge, C.J.: Workflow Simulation for Operational Decision Support. Data & Knowledge Engineering 68, 834-850 (2009)
-
(2009)
Data & Knowledge Engineering
, vol.68
, pp. 834-850
-
-
Rozinat, A.1
Wynn, M.T.2
Van Der Aalst, W.M.P.3
Ter Hofstede, A.H.M.4
Fridge, C.J.5
-
15
-
-
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
|