-
1
-
-
79651475709
-
Visually specifying compliance rules and explaining their violations for business processes
-
A. Awad, M. Weidlich, and M. Weske. Visually specifying compliance rules and explaining their violations for business processes. Journal of Visual Languages & Computing, 22(1):30-55, 2011.
-
(2011)
Journal of Visual Languages & Computing
, vol.22
, Issue.1
, pp. 30-55
-
-
Awad, A.1
Weidlich, M.2
Weske, M.3
-
3
-
-
0034998534
-
Workflow and process synchronization with interaction expressions and graphs
-
C. Heinlein. Workflow and Process Synchronization with Interaction Expressions and Graphs. In Proc. Int'l Conf. on Data Engineering, page 243-252, 2001.
-
(2001)
Proc. Int'l Conf. on Data Engineering
, pp. 243-252
-
-
Heinlein, C.1
-
5
-
-
78649924571
-
On enabling data-aware compliance checking of business process models
-
D. Knuplesch, L.T. Ly, S. Rinderle-Ma, H. Pfeifer, and P. Dadam. On Enabling Data-Aware Compliance Checking of Business Process Models. In Int'l Conf. Conceptual Modeling, volume 6412, pages 332-346, 2010.
-
(2010)
Int'l Conf. Conceptual Modeling
, vol.6412
, pp. 332-346
-
-
Knuplesch, D.1
Ly, L.T.2
Rinderle-Ma, S.3
Pfeifer, H.4
Dadam, P.5
-
6
-
-
79956313469
-
Design and verification of instantiable compliance rule graphs in process-aware information systems
-
L.T. Ly, S. Rinderle-Ma, and P. Dadam. Design and Verification of Instantiable Compliance Rule Graphs in Process-Aware Information Systems. In Proc. Int'l Conf. on Advanced Systems Engineering, pages 9-23, 2010.
-
(2010)
Proc. Int'l Conf. on Advanced Systems Engineering
, pp. 9-23
-
-
Ly, L.T.1
Rinderle-Ma, S.2
Dadam, P.3
-
7
-
-
78449262411
-
On enabling integrated process compliance with semantic constraints in process management systems - Requirements, challenges, solutions
-
T. Ly, S. Rinderle-Ma, K. Göser, and P. Dadam. On Enabling Integrated Process Compliance with Semantic Constraints in Process Management Systems - Requirements, Challenges, Solutions. Information Systems Frontiers, pages 1-25, 2009.
-
(2009)
Information Systems Frontiers
, pp. 1-25
-
-
Ly, T.1
Rinderle-Ma, S.2
Göser, K.3
Dadam, P.4
-
13
-
-
38049150939
-
Modeling control objectives for business process compliance
-
S. Sadiq, G. Governatori, and K. Naimiri. Modeling Control Objectives for Business Process Compliance. In Proc. BPM '07, pages 149-164, 2007.
-
(2007)
Proc. BPM '07
, pp. 149-164
-
-
Sadiq, S.1
Governatori, G.2
Naimiri, K.3
-
14
-
-
78650098860
-
Generic algorithms for consistency checking of mutual-exclusion and binding constraints in a business process context
-
M. Strembeck and J. Mendling. Generic Algorithms for Consistency Checking of Mutual-Exclusion and Binding Constraints in a Business Process Context. In OTM Conferences (1), pages 204-221, 2010.
-
(2010)
OTM Conferences
, Issue.1
, pp. 204-221
-
-
Strembeck, M.1
Mendling, J.2
-
15
-
-
84874226316
-
7th report of the joint national committee on prevention, detection, evaluation, and treatment of high blood pressure
-
U.S. Department of Health and Human Services
-
U.S. Department of Health and Human Services. 7th Report of the Joint National Committee on Prevention, Detection, Evaluation, and Treatment of High Blood Pressure. Technical Report 03-5233, National Heart Lung and Blood Institute, 2003.
-
(2003)
Technical Report 03-5233, National Heart Lung and Blood Institute
-
-
-
16
-
-
33646698687
-
Process mining and verification of properties: An approach based on temporal logic
-
W. van der Aalst, H. de Beer, and B. van Dongen. Process Mining and Verification of Properties: An Approach based on Temporal Logic. In Int'l OnTheMove Conferences, volume 3761, page 130-147, 2005.
-
(2005)
Int'l OnTheMove Conferences
, vol.3761
, pp. 130-147
-
-
Van Der Aalst, W.1
De Beer, H.2
Van Dongen, B.3
|