메뉴 건너뛰기




Volumn 3, Issue , 2011, Pages 2291-2309

Modeling and checking business process compliance rules in the financial sector

Author keywords

Business process compliance; Business rules; Conceptual modeling; Financial sector; Model checking; Pattern matching

Indexed keywords

BUSINESS PROCESS; BUSINESS PROCESS COMPLIANCES; BUSINESS PROCESS MODEL; BUSINESS RULES; CONCEPTUAL MODEL; DESIGN-SCIENCE RESEARCHES; FINANCIAL INSTITUTION; FINANCIAL SECTORS;

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

References (37)
  • 2
    • 79956300651 scopus 로고    scopus 로고
    • Emerging Challenges in Information Systems Research for Regulatory Compliance Management
    • Abdullah, S. N, Sadiq, S., and Indulska, M. 2010. "Emerging Challenges in Information Systems Research for Regulatory Compliance Management," Lecture Notes in Computer Science (6051), pp. 251-265.
    • (2010) Lecture Notes In Computer Science , vol.6051 , pp. 251-265
    • Abdullah, S.N.1    Sadiq, S.2    Indulska, M.3
  • 5
  • 11
    • 0003677229 scopus 로고    scopus 로고
    • 4th Edition, Heidelberg, Germany
    • Diestel, R. 2010. "Graph Theory" 4th Edition, Heidelberg, Germany.
    • (2010) Graph Theory
    • Diestel, R.1
  • 16
    • 0001116877 scopus 로고
    • Binary codes capable of correcting deletions, insertions, and reversals
    • Levenshtein, V. 1966. "Binary codes capable of correcting deletions, insertions, and reversals". Soviet Physics Doklady (10), pp. 707-710.
    • (1966) Soviet Physics Doklady , vol.10 , pp. 707-710
    • Levenshtein, V.1
  • 17
    • 34247861351 scopus 로고    scopus 로고
    • A static compliance-checking framework for business process models
    • Liu, X., Müller, S., and Xu, K. 2007 "A static compliance-checking framework for business process models" IBM Systems Journal (46:2), pp. 335-361.
    • (2007) IBM Systems Journal , vol.46 , Issue.2 , pp. 335-361
    • Liu, X.1    Müller, S.2    Xu, K.3
  • 19
    • 84884626701 scopus 로고    scopus 로고
    • Reducing Complexity: Business Rules in Business Process Management
    • (in German), 2009
    • Moormann, J., Vetter, D., and Hilgert, M. 2009. "Reducing Complexity: Business Rules in Business Process Management," (in German), Die Bank (109:11), 2009, pp. 30-37.
    • (2009) Die Bank , vol.109 , Issue.11 , pp. 30-37
    • Moormann, J.1    Vetter, D.2    Hilgert, M.3
  • 22
    • 84856011104 scopus 로고    scopus 로고
    • Facing the Financial Crisis: Bank of Italy's Implementing Regulation on Hedge Funds
    • Opromolla, G. 2009. "Facing the Financial Crisis: Bank of Italy's Implementing Regulation on Hedge Funds." Journal of Investment Compliance (10: 2), pp. 41-44.
    • (2009) Journal of Investment Compliance , vol.10 , Issue.2 , pp. 41-44
    • Opromolla, G.1
  • 27
    • 80055012731 scopus 로고    scopus 로고
    • Business Process Compliance
    • Rinderle-Ma, S., Ly, L. T., Dadam, P. 2008. "Business Process Compliance," EMISA Forum (28:2), pp. 24-29.
    • (2008) EMISA Forum , vol.28 , Issue.2 , pp. 24-29
    • Rinderle-Ma, S.1    Ly, L.T.2    Dadam, P.3
  • 28
    • 35748949584 scopus 로고    scopus 로고
    • Conformance Checking of Processes Based on Monitoring Real Behavior
    • Rozinat, A., and van der Aalst, W. M. P. 2008. "Conformance Checking of Processes Based on Monitoring Real Behavior," Information Systems (33:1), pp. 64-95.
    • (2008) Information Systems , vol.33 , Issue.1 , pp. 64-95
    • Rozinat, A.1    van der Aalst, W.M.P.2
  • 31
    • 78651446831 scopus 로고    scopus 로고
    • Semantic Process Modeling - Design and Implementation of an Ontology-Based Representation of Business Processes
    • Thomas, O., and Fellmann, M. 2009. "Semantic Process Modeling - Design and Implementation of an Ontology-Based Representation of Business Processes," Business & Information Systems Engineering (1:6), 438-451
    • (2009) Business & Information Systems Engineering , vol.1 , Issue.6 , pp. 438-451
    • Thomas, O.1    Fellmann, M.2
  • 32
    • 33646698687 scopus 로고    scopus 로고
    • Process Mining and Verification of Properties: An Approach Based on Temporal Logic
    • van der Aalst, W. M. P., de Beer, H. T., and van Dongen, B. F. 2005. "Process Mining and Verification of Properties: An Approach Based on Temporal Logic," Lecture Notes in Computer Science (3760), pp. 130-147.
    • (2005) Lecture Notes In Computer Science , Issue.3760 , pp. 130-147
    • van der Aalst, W.M.P.1    de Beer, H.T.2    van Dongen, B.F.3
  • 34
    • 0036915268 scopus 로고    scopus 로고
    • Research Commentary: Information Systems and Conceptual Modeling -A Research Agenda
    • Wand, Y., and Weber, R. 2002. "Research Commentary: Information Systems and Conceptual Modeling -A Research Agenda," Information Systems Research (13:4), pp. 363-376.
    • (2002) Information Systems Research , vol.13 , Issue.4 , pp. 363-376
    • Wand, Y.1    Weber, R.2
  • 37
    • 70350507334 scopus 로고    scopus 로고
    • Aligning Risk Management and Compliance Considerations with Business Process Development
    • Zoet, M., Welke, R., Versendaal, J., Ravesteyn, P. 2009. "Aligning Risk Management and Compliance Considerations with Business Process Development," Lecture Notes in Computer Science (5692), pp. 157-168.
    • (2009) Lecture Notes In Computer Science , Issue.5692 , pp. 157-168
    • Zoet, M.1    Welke, R.2    Versendaal, J.3    Ravesteyn, P.4


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