메뉴 건너뛰기




Volumn 7321 LNCS, Issue , 2012, Pages 327-342

Patterns for a log-based strengthening of declarative compliance models

Author keywords

Compliance checking; Declare; Event log; Linear Temporal Logic; Vacuity detection

Indexed keywords

COMPLIANCE CHECKING; DECLARE; EVENT LOG; LINEAR TEMPORAL LOGIC; VACUITY DETECTION;

EID: 84864357727     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-642-30729-4_23     Document Type: Conference Paper
Times cited : (20)

References (17)
  • 4
    • 80055053056 scopus 로고    scopus 로고
    • Is my event log complete? - A probabilistic approach to process mining
    • IEEE
    • van Hee, K.M., Liu, Z., Sidorova, N.: Is my event log complete? - A probabilistic approach to process mining. In: Proceedings of RCIS 2011, pp. 1-7. IEEE (2011)
    • (2011) Proceedings of RCIS 2011 , pp. 1-7
    • Van Hee, K.M.1    Liu, Z.2    Sidorova, N.3
  • 5
    • 78649924571 scopus 로고    scopus 로고
    • On Enabling Data-Aware Compliance Checking of Business Process Models
    • Parsons, J., Saeki, M., Shoval, P., Woo, C., Wand, Y. (eds.) ER 2010. Springer, Heidelberg
    • Knuplesch, D., Ly, L.T., Rinderle-Ma, S., Pfeifer, H., Dadam, P.: On Enabling Data-Aware Compliance Checking of Business Process Models. In: Parsons, J., Saeki, M., Shoval, P., Woo, C., Wand, Y. (eds.) ER 2010. LNCS, vol. 6412, pp. 332-346. Springer, Heidelberg (2010)
    • (2010) LNCS , vol.6412 , pp. 332-346
    • Knuplesch, D.1    Ly, L.T.2    Rinderle-Ma, S.3    Pfeifer, H.4    Dadam, P.5
  • 7
    • 38049165950 scopus 로고    scopus 로고
    • Inducing Declarative Logic-Based Models from Labeled Traces
    • Alonso, G., Dadam, P., Rosemann, M. (eds.) BPM 2007. Springer, Heidelberg
    • Lamma, E., Mello, P., Montali, M., Riguzzi, F., Storari, S.: Inducing Declarative Logic-Based Models from Labeled Traces. In: Alonso, G., Dadam, P., Rosemann, M. (eds.) BPM 2007. LNCS, vol. 4714, pp. 344-359. Springer, Heidelberg (2007)
    • (2007) LNCS , vol.4714 , pp. 344-359
    • Lamma, E.1    Mello, P.2    Montali, M.3    Riguzzi, F.4    Storari, S.5
  • 8
    • 85035040046 scopus 로고
    • The Glory of the Past
    • Parikh, R. (ed.) Logic of Programs 1985. Springer, Heidelberg
    • Lichtenstein, O., Pnueli, A., Zuck, L.D.: The Glory of the Past. In: Parikh, R. (ed.) Logic of Programs 1985. LNCS, vol. 193, pp. 196-218. Springer, Heidelberg (1985)
    • (1985) LNCS , vol.193 , pp. 196-218
    • Lichtenstein, O.1    Pnueli, A.2    Zuck, L.D.3
  • 10
    • 80052786262 scopus 로고    scopus 로고
    • 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, vol. 6896, pp. 132-147. Springer, Heidelberg (2011)
    • (2011) LNCS , vol.6896 , pp. 132-147
    • Maggi, F.M.1    Montali, M.2    Westergaard, M.3    Van Der Aalst, W.M.P.4
  • 13
    • 33749635457 scopus 로고    scopus 로고
    • A Declarative Approach for Flexible Business Processes Management
    • Eder, J., Dustdar, S. (eds.) BPM Workshops 2006. Springer, Heidelberg
    • Pesic, M., van der Aalst, W.M.P.: A Declarative Approach for Flexible Business Processes Management. In: Eder, J., Dustdar, S. (eds.) BPM Workshops 2006. LNCS, vol. 4103, pp. 169-180. Springer, Heidelberg (2006)
    • (2006) LNCS , vol.4103 , pp. 169-180
    • Pesic, M.1    Van Der Aalst, W.M.P.2
  • 14
    • 38349047674 scopus 로고    scopus 로고
    • Constraint-Based Workflow Models: Change Made Easy
    • Meersman, R., Tari, Z. (eds.) OTM 2007, Springer, Heidelberg
    • Pesic, M., Schonenberg, M.H., Sidorova, N., van der Aalst, W.M.P.: Constraint-Based Workflow Models: Change Made Easy. In: Meersman, R., Tari, Z. (eds.) OTM 2007, Part I. LNCS, vol. 4803, pp. 77-94. Springer, Heidelberg (2007)
    • (2007) LNCS , vol.4803 , Issue.PART I , pp. 77-94
    • Pesic, M.1    Schonenberg, M.H.2    Sidorova, N.3    Van Der Aalst, W.M.P.4
  • 15
    • 47949131563 scopus 로고    scopus 로고
    • DECLARE: Full Support for Loosely-Structured Processes
    • IEEE Computer Society
    • Pesic, M., Schonenberg, M.H., van der Aalst, W.M.P.: DECLARE: Full Support for Loosely-Structured Processes. In: Proceedings of EDOC 2007, pp. 287-300. IEEE Computer Society (2007)
    • (2007) Proceedings of EDOC 2007 , pp. 287-300
    • Pesic, M.1    Schonenberg, M.H.2    Van Der Aalst, W.M.P.3
  • 16
    • 85047040703 scopus 로고
    • The Temporal Logic of Programs
    • IEEE Computer Society
    • Pnueli, A.: The Temporal Logic of Programs. In: Proceedings of FOCS 1977, pp. 46-57. IEEE Computer Society (1977)
    • (1977) Proceedings of FOCS 1977 , pp. 46-57
    • Pnueli, A.1
  • 17
    • 84937562666 scopus 로고    scopus 로고
    • Vacuum Cleaning CTL Formulae
    • Brinksma, E., Larsen, K.G. (eds.) CAV 2002. Springer, Heidelberg
    • Purandare, M., Somenzi, F.: Vacuum Cleaning CTL Formulae. In: Brinksma, E., Larsen, K.G. (eds.) CAV 2002. LNCS, vol. 2404, pp. 485-499. Springer, Heidelberg (2002)
    • (2002) LNCS , vol.2404 , pp. 485-499
    • Purandare, M.1    Somenzi, F.2


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