메뉴 건너뛰기




Volumn 7651 LNCS, Issue , 2012, Pages 652-658

Definition and enactment of instance-spanning process constraints

Author keywords

Instance spanning Process Constraints; Process Engine; Process based Compliance Management; Web based Business Processes

Indexed keywords

BUSINESS PROCESS; COMPLIANCE MANAGEMENT; CONSTRAINT VERIFICATIONS; HOLISTIC APPROACH; PROCESS CONSTRAINTS; PROCESS ENGINES; PROTOTYPICAL IMPLEMENTATION; STILL MISSING; WEB-BASED BUSINESS;

EID: 84869439450     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-642-35063-4_49     Document Type: Conference Paper
Times cited : (24)

References (14)
  • 1
    • 75649086163 scopus 로고    scopus 로고
    • 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
  • 2
    • 0002848811 scopus 로고    scopus 로고
    • The specification and enforcement of authorization constraints in workflow management systems
    • Bertino, E., Ferrari, E., Atluri, V.: The specification and enforcement of authorization constraints in workflow management systems. ACM Trans. Inf. Syst. Secur. 2(1), 65-104 (1999)
    • (1999) ACM Trans. Inf. Syst. Secur. , vol.2 , Issue.1 , pp. 65-104
    • Bertino, E.1    Ferrari, E.2    Atluri, V.3
  • 3
    • 80455159345 scopus 로고    scopus 로고
    • Synchronization of Concurrent Workflows Using Interaction Expressions and Coordination Protocols
    • Meersman, R., Tari, Z. (eds.) CoopIS/- DOA/ODBASE 2002. Springer, Heidelberg
    • Heinlein, C.: Synchronization of Concurrent Workflows Using Interaction Expressions and Coordination Protocols. In: Meersman, R., Tari, Z. (eds.) CoopIS/- DOA/ODBASE 2002. LNCS, vol. 2519, pp. 54-71. Springer, Heidelberg (2002)
    • (2002) LNCS , vol.2519 , pp. 54-71
    • Heinlein, C.1
  • 4
    • 81255207799 scopus 로고    scopus 로고
    • Monitoring Business Process Compliance Using Compliance Rule Graphs
    • Meersman, R., Dillon, T., Herrero, P., Kumar, A., Reichert, M., Qing, L., Ooi, B.-C., Damiani, E., Schmidt, D.C., White, J., Hauswirth, M., Hitzler, P., Mohania, M. (eds.) OTM 2011, Part I. Springer, Heidelberg
    • Ly, L.T., Rinderle-Ma, S., Knuplesch, D., Dadam, P.: Monitoring Business Process Compliance Using Compliance Rule Graphs. In: Meersman, R., Dillon, T., Herrero, P., Kumar, A., Reichert, M., Qing, L., Ooi, B.-C., Damiani, E., Schmidt, D.C., White, J., Hauswirth, M., Hitzler, P., Mohania, M. (eds.) OTM 2011, Part I. LNCS, vol. 7044, pp. 82-99. Springer, Heidelberg (2011)
    • (2011) LNCS , vol.7044 , pp. 82-99
    • Ly, L.T.1    Rinderle-Ma, S.2    Knuplesch, D.3    Dadam, P.4
  • 8
    • 14544287677 scopus 로고    scopus 로고
    • Specification and validation of process constraints for flexible workflows
    • Sadiq, S., Orlowska, M., Sadiq, W.: Specification and validation of process constraints for flexible workflows. Inf. Syst. 30(5), 349-378 (2005)
    • (2005) Inf. Syst. , vol.30 , Issue.5 , pp. 349-378
    • Sadiq, S.1    Orlowska, M.2    Sadiq, W.3
  • 9
    • 0003479190 scopus 로고    scopus 로고
    • (Document no. WFMC-TC-1011. document Status-Issue 3.0). Tech. rep.,Workflow Management Coalition Specification February
    • Specification, W.M.C.: Workflow management coalition terminology & glossary (Document no. WFMC-TC-1011. document Status-Issue 3.0). Tech. rep.,Workflow Management Coalition Specification (February 1999)
    • (1999) Workflow Management Coalition Terminology & Glossary
    • Specification, W.M.C.1
  • 11
    • 33646698687 scopus 로고    scopus 로고
    • 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


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