메뉴 건너뛰기




Volumn , Issue , 2011, Pages 51-64

Integration of process constraints from heterogeneous sources in process-aware information systems

Author keywords

[No Author keywords available]

Indexed keywords

BUSINESS PROCESS; BUSINESS PROCESS COMPLIANCES; CONSISTENCY CHECKS; DIFFERENT DOMAINS; HETEROGENEOUS SOURCES; INTEGRATED PROCESS; INTERNAL CONTROLS; PROCESS CONSTRAINTS; PROCESS-AWARE INFORMATION SYSTEMS; REAL-WORLD PROCESS; SECURITY AND PRIVACY;

EID: 84874274461     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper
Times cited : (12)

References (16)
  • 1
    • 79651475709 scopus 로고    scopus 로고
    • 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 scopus 로고    scopus 로고
    • 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
  • 6
    • 79956313469 scopus 로고    scopus 로고
    • 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 scopus 로고    scopus 로고
    • 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
  • 12
  • 13
    • 38049150939 scopus 로고    scopus 로고
    • 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 scopus 로고    scopus 로고
    • 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 scopus 로고    scopus 로고
    • 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 scopus 로고    scopus 로고
    • 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


* 이 정보는 Elsevier사의 SCOPUS DB에서 KISTI가 분석하여 추출한 것입니다.