메뉴 건너뛰기




Volumn , Issue , 2014, Pages 134-143

Monitoring data-aware business constraints with finite state automata

Author keywords

Compliance Monitoring; First order Linear Temporal Logic; Operational Decision Support; Runtime Verification

Indexed keywords

DECISION SUPPORT SYSTEMS; TEMPORAL LOGIC; FINITE AUTOMATA; FORMAL SPECIFICATION; MODELING LANGUAGES;

EID: 84902494191     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/2600821.2600835     Document Type: Conference Paper
Times cited : (36)

References (35)
  • 3
    • 77954971404 scopus 로고    scopus 로고
    • Policy monitoring in first-order temporal logic
    • D. A. Basin, F. Klaedtke, and S. Müller. Policy monitoring in first-order temporal logic. In CAV, pages 1-18, 2010.
    • (2010) CAV , pp. 1-18
    • Basin, D.A.1    Klaedtke, F.2    Müller, S.3
  • 4
    • 84887444663 scopus 로고    scopus 로고
    • From propositional to first-order monitoring
    • A. Bauer, J.-C. Küster, and G. Vegliach. From propositional to first-order monitoring. In RV, pages 59-75, 2013.
    • (2013) RV , pp. 59-75
    • Bauer, A.1    Küster, J.-C.2    Vegliach, G.3
  • 5
    • 38549167868 scopus 로고    scopus 로고
    • The good, the bad, and the ugly, but how ugly is ugly?
    • A. Bauer, M. Leucker, and C. Schallhart. The good, the bad, and the ugly, but how ugly is ugly? In RV, pages 126-138, 2007.
    • (2007) RV , pp. 126-138
    • Bauer, A.1    Leucker, M.2    Schallhart, C.3
  • 7
    • 82055200394 scopus 로고    scopus 로고
    • Verification of deployed artifact systems via data abstraction
    • F. Belardinelli, A. Lomuscio, and F. Patrizi. Verification of deployed artifact systems via data abstraction. In ICSOC, pages 142-156, 2011.
    • (2011) ICSOC , pp. 142-156
    • Belardinelli, F.1    Lomuscio, A.2    Patrizi, F.3
  • 8
    • 84976843391 scopus 로고
    • Efficient checking of temporal integrity constraints using bounded history encoding
    • J. Chomicki. Efficient checking of temporal integrity constraints using bounded history encoding. ACM Transactions on Database Systems, 20(2):149-186, 1995.
    • (1995) ACM Transactions on Database Systems , vol.20 , Issue.2 , pp. 149-186
    • Chomicki, J.1
  • 9
    • 80052808569 scopus 로고    scopus 로고
    • Automatic verification of data-centric business processes
    • E. Damaggio, A. Deutsch, R. Hull, and V. Vianu. Automatic verification of data-centric business processes. In BPM, pages 3-16, 2011.
    • (2011) BPM , pp. 3-16
    • Damaggio, E.1    Deutsch, A.2    Hull, R.3    Vianu, V.4
  • 10
    • 26444539487 scopus 로고    scopus 로고
    • Efficient monitoring of omega-languages
    • M. d'Amorim and G. Rosu. Efficient monitoring of omega-languages. In CAV, pages 364-378, 2005.
    • (2005) CAV , pp. 364-378
    • D'Amorim, M.1    Rosu, G.2
  • 13
    • 84892417657 scopus 로고    scopus 로고
    • Runtime enforcement of first-order ltl properties on data-aware business processes
    • R. De Masellis and J. Su. Runtime enforcement of first-order ltl properties on data-aware business processes. In ICSOC, pages 54-68, 2013.
    • (2013) ICSOC , pp. 54-68
    • De Masellis, R.1    Su, J.2
  • 17
    • 0002147440 scopus 로고
    • Simple on-the-fly automatic verification of linear temporal logic
    • R. Gerth, D. Peled, M. Y. Vardi, and P. Wolper. Simple on-the-fly automatic verification of linear temporal logic. In PSTV, pages 3-18, 1995.
    • (1995) PSTV , pp. 3-18
    • Gerth, R.1    Peled, D.2    Vardi, M.Y.3    Wolper, P.4
  • 18
    • 72849125151 scopus 로고    scopus 로고
    • Automata-based verification of temporal properties on running programs
    • D. Giannakopoulou and K. Havelund. Automata-based verification of temporal properties on running programs. In ASE, pages 412-416, 2001.
    • (2001) ASE , pp. 412-416
    • Giannakopoulou, D.1    Havelund, K.2
  • 19
    • 56649120680 scopus 로고    scopus 로고
    • Runtime monitoring of message-based workflows with data
    • S. Hallé and R. Villemaire. Runtime monitoring of message-based workflows with data. In EDOC, pages 63-72, 2008.
    • (2008) EDOC , pp. 63-72
    • Hallé, S.1    Villemaire, R.2
  • 22
    • 0035501581 scopus 로고    scopus 로고
    • Model checking of safety properties
    • DOI 10.1023/A:1011254632723
    • O. Kupferman and M. Y. Vardi. Model checking of safety properties. Formal Methods in System Design, 19(3):291-314, 2001. (Pubitemid 32902639)
    • (2001) Formal Methods in System Design , vol.19 , Issue.3 , pp. 291-314
    • Kupferman, O.1    Vardi, M.Y.2
  • 23
    • 80052786262 scopus 로고    scopus 로고
    • Monitoring business constraints with linear temporal logic: An approach based on colored automata
    • F. Maggi, M. Montali, M. Westergaard, and W. van der Aalst. Monitoring business constraints with linear temporal logic: An approach based on colored automata. In BPM 2011, volume 6896, pages 132-147, 2011.
    • (2011) BPM 2011 , vol.6896 , pp. 132-147
    • Maggi, F.1    Montali, M.2    Westergaard, M.3    Van Der Aalst, W.4
  • 24
    • 84897714794 scopus 로고    scopus 로고
    • Declarative process mining with the declare component of prom
    • F. M. Maggi. Declarative process mining with the declare component of prom. In BPM (Demos), 2013.
    • (2013) BPM (Demos)
    • Maggi, F.M.1
  • 25
  • 26
    • 84861217384 scopus 로고    scopus 로고
    • Runtime verification of LTL-based declarative process models
    • F. M. Maggi, M. Westergaard, M. Montali, and W. M. P. van der Aalst. Runtime verification of LTL-based declarative process models. In RV 2011, volume 7186, pages 131-146.
    • RV 2011 , vol.7186 , pp. 131-146
    • Maggi, F.M.1    Westergaard, M.2    Montali, M.3    Van Der Aalst, W.M.P.4
  • 27
    • 84861217384 scopus 로고    scopus 로고
    • Runtime verification of ltl-based declarative process models
    • F. M. Maggi, M. Westergaard, M. Montali, and W. M. P. van der Aalst. Runtime verification of ltl-based declarative process models. In RV, pages 131-146, 2011.
    • (2011) RV , pp. 131-146
    • Maggi, F.M.1    Westergaard, M.2    Montali, M.3    Van Der Aalst, W.M.P.4
  • 28
    • 77955723244 scopus 로고    scopus 로고
    • Specification and Verification of Declarative Open Interaction Models: A Logic-Based Approach
    • Springer
    • M. Montali. Specification and Verification of Declarative Open Interaction Models: a Logic-Based Approach, volume 56 of Lecture Notes in Business Information Processing. Springer, 2010.
    • (2010) Lecture Notes in Business Information Processing , vol.56
    • Montali, M.1
  • 29
    • 84878000784 scopus 로고    scopus 로고
    • Towards data-aware constraints in declare
    • ACM Press and Addison Wesley
    • M. Montali, F. Chesani, F. M. Maggi, and P. Mello. Towards data-aware constraints in declare. In SAC, pages 1391-1396. ACM Press and Addison Wesley, 2013.
    • (2013) SAC , pp. 1391-1396
    • Montali, M.1    Chesani, F.2    Maggi, F.M.3    Mello, P.4
  • 32
    • 47949131563 scopus 로고    scopus 로고
    • DECLARE: Full Support for Loosely-Structured Processes
    • IEEE
    • M. Pesic, H. Schonenberg, and W. van der Aalst. DECLARE: Full Support for Loosely-Structured Processes. In Proc. of EDOC, pages 287-300. IEEE, 2007.
    • (2007) Proc. of EDOC , pp. 287-300
    • Pesic, M.1    Schonenberg, H.2    Van Der Aalst, W.3
  • 33
    • 67349232819 scopus 로고    scopus 로고
    • Declarative Workflows: Balancing Between Flexibility and Support
    • W. van der Aalst, M. Pesic, and H. Schonenberg. Declarative Workflows: Balancing Between Flexibility and Support. Computer Science - R&D, pages 99-113, 2009.
    • (2009) Computer Science - R&D , pp. 99-113
    • Van Der Aalst, W.1    Pesic, M.2    Schonenberg, H.3
  • 34
    • 84866346245 scopus 로고    scopus 로고
    • Declare: A tool suite for declarative workflow modeling and enactment
    • M. Westergaard and F. M. Maggi. Declare: A tool suite for declarative workflow modeling and enactment. In BPM (Demos), 2011.
    • (2011) BPM (Demos)
    • Westergaard, M.1    Maggi, F.M.2
  • 35
    • 84872797203 scopus 로고    scopus 로고
    • Looking into the future: Using timed automata to provide a priori advice about timed declarative process models
    • OTM, Springer
    • M. Westergaard and F. M. Maggi. Looking into the future: Using timed automata to provide a priori advice about timed declarative process models. In OTM, volume 7565 of Lecture Notes in Computer Science, pages 250-267. Springer, 2012.
    • (2012) Lecture Notes in Computer Science , vol.7565 , pp. 250-267
    • Westergaard, M.1    Maggi, F.M.2


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