메뉴 건너뛰기




Volumn 7498 LNCS, Issue , 2012, Pages 147-162

Specifying and verifying declarative fluent temporal logic properties of workflows

Author keywords

[No Author keywords available]

Indexed keywords

ENCODING MODELS; FLUENTS; LABELED TRANSITION SYSTEMS; LINEAR TIME TEMPORAL LOGIC; TEMPORAL LOGIC PROPERTIES; WORK-FLOWS; WORKFLOW EXECUTION; WORKFLOW PATTERNS; WORKFLOW SPECIFICATION;

EID: 84868225242     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-642-33296-8_12     Document Type: Conference Paper
Times cited : (9)

References (21)
  • 3
    • 79956158125 scopus 로고    scopus 로고
    • Soundness of workflow nets: Classification, decidability, and analysis
    • van der Aalst, W.M.P., et al.: Soundness of workflow nets: classification, decidability, and analysis. Formal Asp. Comput. 23(3), 333-363 (2011)
    • (2011) Formal Asp. Comput. , vol.23 , Issue.3 , pp. 333-363
    • Van Der Aalst, W.M.P.1
  • 6
    • 77954832845 scopus 로고    scopus 로고
    • YAWL2DVE: An Automated Translator for Workflow Verification
    • Rabbi, F., Wang, H., MacCaull, W.: YAWL2DVE: An Automated Translator for Workflow Verification. In: SSIRI, pp. 53-59 (2010)
    • (2010) SSIRI , pp. 53-59
    • Rabbi, F.1    Wang, H.2    MacCaull, W.3
  • 7
    • 77954472004 scopus 로고    scopus 로고
    • Fluent model checking for event-based systems
    • Giannakopoulou, D., Magee, J.: Fluent model checking for event-based systems. In: ESEC / SIGSOFT FSE, pp. 257-266 (2003)
    • (2003) ESEC / SIGSOFT FSE , pp. 257-266
    • Giannakopoulou, D.1    Magee, J.2
  • 11
    • 27544451161 scopus 로고    scopus 로고
    • On the semantics of EPCs: Resolving the vicious circle
    • Kindler, E.: On the semantics of EPCs: Resolving the vicious circle. Data Knowl. Eng. 56(1), 23-40 (2006)
    • (2006) Data Knowl. Eng. , vol.56 , Issue.1 , pp. 23-40
    • Kindler, E.1
  • 14
    • 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
  • 18
    • 47749101800 scopus 로고    scopus 로고
    • A Survey of Formal Verification for Business Process Modeling
    • Morimoto, S.: A Survey of Formal Verification for Business Process Modeling. In: ICCS 2008, pp. 514-522 (2008)
    • (2008) ICCS 2008 , pp. 514-522
    • Morimoto, S.1
  • 20
    • 78650603905 scopus 로고    scopus 로고
    • Specifying and Verifying Business Processes Using PPML
    • Breitman, K., Cavalcanti, A. (eds.) ICFEM 2009. Springer, Heidelberg
    • Regis, G., Aguirre, N., Maibaum, T.: Specifying and Verifying Business Processes Using PPML. In: Breitman, K., Cavalcanti, A. (eds.) ICFEM 2009. LNCS, vol. 5885, pp. 737-756. Springer, Heidelberg (2009)
    • (2009) LNCS , vol.5885 , pp. 737-756
    • Regis, G.1    Aguirre, N.2    Maibaum, T.3
  • 21
    • 79956369890 scopus 로고    scopus 로고
    • Property specifications for workflow modelling
    • Wong, P.Y.H., Gibbons, J.: Property specifications for workflow modelling. Sci. Comput. Program 76(10), 942-967 (2011)
    • (2011) Sci. Comput. Program , vol.76 , Issue.10 , pp. 942-967
    • Wong, P.Y.H.1    Gibbons, J.2


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