메뉴 건너뛰기




Volumn 8274 LNCS, Issue , 2013, Pages 54-68

Runtime enforcement of first-order LTL properties on data-aware business processes

Author keywords

data aware business processes; formal verification; runtime monitoring

Indexed keywords

BUSINESS PROCESS; FOLLOWING PROBLEM; FORMAL VERIFICATIONS; PROCESS EXECUTION; PROPOSITIONAL FORMULAS; RUNTIME ENFORCEMENTS; RUNTIME MONITORING; TEMPORAL PROPERTY;

EID: 84892417657     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-642-45005-1_5     Document Type: Conference Paper
Times cited : (9)

References (28)
  • 2
    • 77954971404 scopus 로고    scopus 로고
    • Policy monitoring in first-order temporal logic
    • Touili, T., Cook, B., Jackson, P. (eds.) CAV 2010. Springer, Heidelberg
    • Basin, D., Klaedtke, F., Müller, S.: Policy monitoring in first-order temporal logic. In: Touili, T., Cook, B., Jackson, P. (eds.) CAV 2010. LNCS, vol. 6174, pp. 1-18. Springer, Heidelberg (2010)
    • (2010) LNCS , vol.6174 , pp. 1-18
    • Basin, D.1    Klaedtke, F.2    Müller, S.3
  • 4
    • 82055200394 scopus 로고    scopus 로고
    • Verification of deployed artifact systems via data abstraction
    • Kappel, G., Maamar, Z., Motahari-Nezhad, H.R. (eds.) ICSOC 2011. Springer, Heidelberg
    • Belardinelli, F., Lomuscio, A., Patrizi, F.: Verification of deployed artifact systems via data abstraction. In: Kappel, G., Maamar, Z., Motahari-Nezhad, H.R. (eds.) ICSOC 2011. LNCS, vol. 7084, pp. 142-156. Springer, Heidelberg (2011)
    • (2011) LNCS , vol.7084 , pp. 142-156
    • Belardinelli, F.1    Lomuscio, A.2    Patrizi, F.3
  • 5
    • 38049138975 scopus 로고    scopus 로고
    • Towards formal analysis of artifact-centric business process models
    • Alonso, G., Dadam, P., Rosemann, M. (eds.) BPM 2007. Springer, Heidelberg
    • Bhattacharya, K., Gerede, C., Hull, R., Liu, R., Su, J.: Towards formal analysis of artifact-centric business process models. In: Alonso, G., Dadam, P., Rosemann, M. (eds.) BPM 2007. LNCS, vol. 4714, pp. 288-304. Springer, Heidelberg (2007), http://www.springerlink.com/content/w31j312311x6310j
    • (2007) LNCS , vol.4714 , pp. 288-304
    • Bhattacharya, K.1    Gerede, C.2    Hull, R.3    Liu, R.4    Su, J.5
  • 6
    • 84976843391 scopus 로고
    • Efficient checking of temporal integrity constraints using bounded history encoding
    • Chomicki, J.: 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
  • 8
    • 80052808569 scopus 로고    scopus 로고
    • Automatic verification of datacentric business processes
    • Rinderle-Ma, S., Toumani, F., Wolf, K. (eds.) BPM 2011. Springer, Heidelberg
    • Damaggio, E., Deutsch, A., Hull, R., Vianu, V.: Automatic verification of datacentric business processes. In: Rinderle-Ma, S., Toumani, F., Wolf, K. (eds.) BPM 2011. LNCS, vol. 6896, pp. 3-16. Springer, Heidelberg (2011)
    • (2011) LNCS , vol.6896 , pp. 3-16
    • Damaggio, E.1    Deutsch, A.2    Hull, R.3    Vianu, V.4
  • 9
    • 26444539487 scopus 로고    scopus 로고
    • Efficient monitoring of w-languages
    • Etessami, K., Rajamani, S.K. (eds.) CAV 2005. Springer, Heidelberg
    • D'Amorim, M., Roşu, G.: Efficient monitoring of w-languages. In: Etessami, K., Rajamani, S.K. (eds.) CAV 2005. LNCS, vol. 3576, pp. 364-378. Springer, Heidelberg (2005)
    • (2005) LNCS , vol.3576 , pp. 364-378
    • D'Amorim, M.1    Roşu, G.2
  • 13
    • 35248878834 scopus 로고    scopus 로고
    • Reasoning with temporal logic on truncated paths
    • Hunt Jr., W.A., Somenzi, F. (eds.) CAV 2003. Springer, Heidelberg
    • Eisner, C., Fisman, D., Havlicek, J., Lustig, Y., McIsaac, A., Van Campenhout, D.: Reasoning with temporal logic on truncated paths. In: Hunt Jr., W.A., Somenzi, F. (eds.) CAV 2003. LNCS, vol. 2725, pp. 27-39. Springer, Heidelberg (2003)
    • (2003) LNCS , vol.2725 , pp. 27-39
    • Eisner, C.1    Fisman, D.2    Havlicek, J.3    Lustig, Y.4    McIsaac, A.5    Van Campenhout, D.6
  • 14
    • 70349303600 scopus 로고    scopus 로고
    • Instantaneous soundness checking of industrial business process models
    • Dayal, U., Eder, J., Koehler, J., Reijers, H.A. (eds.) BPM 2009. Springer, Heidelberg
    • Fahland, D., Favre, C., Jobstmann, B., Koehler, J., Lohmann, N., Völzer, H., Wolf, K.: Instantaneous soundness checking of industrial business process models. In: Dayal, U., Eder, J., Koehler, J., Reijers, H.A. (eds.) BPM 2009. LNCS, vol. 5701, pp. 278-293. Springer, Heidelberg (2009)
    • (2009) LNCS , vol.5701 , pp. 278-293
    • Fahland, D.1    Favre, C.2    Jobstmann, B.3    Koehler, J.4    Lohmann, N.5    Völzer, H.6    Wolf, K.7
  • 16
    • 84958741847 scopus 로고    scopus 로고
    • Fast LTL to Büchi automata translation
    • Berry, G., Comon, H., Finkel, A. (eds.) CAV 2001. Springer, Heidelberg
    • Gastin, P., Oddoux, D.: Fast LTL to Büchi automata translation. In: Berry, G., Comon, H., Finkel, A. (eds.) CAV 2001. LNCS, vol. 2102, pp. 53-65. Springer, Heidelberg (2001)
    • (2001) LNCS , vol.2102 , pp. 53-65
    • Gastin, P.1    Oddoux, D.2
  • 17
    • 38349066387 scopus 로고    scopus 로고
    • Specification and verification of artifact behaviors in business process models
    • Krämer, B.J., Lin, K.-J., Narasimhan, P. (eds.) ICSOC 2007. Springer, Heidelberg
    • Gerede, C.E., Su, J.: Specification and verification of artifact behaviors in business process models. In: Krämer, B.J., Lin, K.-J., Narasimhan, P. (eds.) ICSOC 2007. LNCS, vol. 4749, pp. 181-192. Springer, Heidelberg (2007), http://www.springerlink.com/content/c371144007878627
    • (2007) LNCS , vol.4749 , pp. 181-192
    • Gerede, C.E.1    Su, J.2
  • 18
    • 56649120680 scopus 로고    scopus 로고
    • Runtime monitoring of message-based workflows with data
    • Hallé, S., Villemaire, R.: Runtime monitoring of message-based workflows with data. In: EDOC, pp. 63-72 (2008)
    • (2008) EDOC , pp. 63-72
    • Hallé, S.1    Villemaire, R.2
  • 20
    • 11144356750 scopus 로고    scopus 로고
    • Foreword - Selected papers from the first international workshop on runtime verification held in paris, july 2001 (rv'01)
    • Havelund, K., Rosu, G.: Foreword - selected papers from the first international workshop on runtime verification held in paris, july 2001 (rv'01). Formal Methods in System Design 24(2), 99-100 (2004)
    • (2004) Formal Methods in System Design , vol.24 , Issue.2 , pp. 99-100
    • Havelund, K.1    Rosu, G.2
  • 21
    • 70349303596 scopus 로고    scopus 로고
    • Symbolic abstraction and deadlock-freeness verification of inter-enterprise processes
    • Dayal, U., Eder, J., Koehler, J., Reijers, H.A. (eds.) BPM 2009. Springer, Heidelberg
    • Klai, K., Tata, S., Desel, J.: Symbolic abstraction and deadlock-freeness verification of inter-enterprise processes. In: Dayal, U., Eder, J., Koehler, J., Reijers, H.A. (eds.) BPM 2009. LNCS, vol. 5701, pp. 294-309. Springer, Heidelberg (2009)
    • (2009) LNCS , vol.5701 , pp. 294-309
    • Klai, K.1    Tata, S.2    Desel, J.3
  • 24
    • 0141940583 scopus 로고    scopus 로고
    • Business artifacts: An approach to operational specification
    • Nigam, A., Caswell, N.S.: Business artifacts: An approach to operational specification. IBM Systems Journal 42(3), 428-445 (2003)
    • (2003) IBM Systems Journal , vol.42 , Issue.3 , pp. 428-445
    • Nigam, A.1    Caswell, N.S.2
  • 25
    • 85047040703 scopus 로고
    • The temporal logic of programs
    • Pnueli, A.: The temporal logic of programs. In: FOCS, pp. 46-57 (1977)
    • (1977) FOCS , pp. 46-57
    • Pnueli, A.1
  • 27
    • 84880047436 scopus 로고    scopus 로고
    • Expiration of historical databases
    • Toman, D.: Expiration of historical databases. In: TIME, pp. 128-135 (2001)
    • (2001) TIME , pp. 128-135
    • Toman, D.1
  • 28
    • 84947731286 scopus 로고    scopus 로고
    • An automata-theoretic approach to linear temporal logic
    • Moller, F., Birtwistle, G. (eds.) Logics for Concurrency. Springer, Heidelberg
    • Vardi, M.Y.: An automata-theoretic approach to linear temporal logic. In: Moller, F., Birtwistle, G. (eds.) Logics for Concurrency. LNCS, vol. 1043, pp. 238-266. Springer, Heidelberg (1996)
    • (1996) LNCS , vol.1043 , pp. 238-266
    • Vardi, M.Y.1


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