메뉴 건너뛰기




Volumn 83, Issue 10, 2010, Pages 1651-1661

A model checker for WS-CDL

Author keywords

Model checker; TLA; TLA4CDL; Web service composition; WS CDL

Indexed keywords

MODEL CHECKER; TLA; TLA4CDL; WEB SERVICE COMPOSITION; WS-CDL;

EID: 77956056291     PISSN: 01641212     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.jss.2010.03.076     Document Type: Article
Times cited : (8)

References (46)
  • 15
    • 84929062089 scopus 로고
    • Using partial orders for the efficient verification of deadlock freedom and safety properties
    • Aalborg, July
    • P. Godefroid, and P. Wolper Using partial orders for the efficient verification of deadlock freedom and safety properties Proceedings of the 3rd Workshop on Computer Aided Verification Aalborg, July 1991 332 342
    • (1991) Proceedings of the 3rd Workshop on Computer Aided Verification , pp. 332-342
    • Godefroid, P.1    Wolper, P.2
  • 16
    • 0027577622 scopus 로고
    • Using partial orders for the efficient verification of deadlock freedom and safety properties
    • P. Godefroid, and P. Wolper Using partial orders for the efficient verification of deadlock freedom and safety properties Formal Methods in System Design 2 April (2) 1993 149 164
    • (1993) Formal Methods in System Design , vol.2 , Issue.APRIL 2 , pp. 149-164
    • Godefroid, P.1    Wolper, P.2
  • 22
    • 36148944304 scopus 로고    scopus 로고
    • WS-CDL+ for Web service collaboration
    • Z. Kang, H. Wang, and P. Hung WS-CDL+ for Web service collaboration Information Systems Frontiers 9 September (4) 2007 375 389
    • (2007) Information Systems Frontiers , vol.9 , Issue.SEPTEMBER 4 , pp. 375-389
    • Kang, Z.1    Wang, H.2    Hung, P.3
  • 31
    • 44049113210 scopus 로고
    • A calculus of mobile processes. Part i and Part II
    • R. Milner, J. Parrow, and D. Walker A calculus of mobile processes. Part I and Part II Information and Computation 100 1 1992 1 77
    • (1992) Information and Computation , vol.100 , Issue.1 , pp. 1-77
    • Milner, R.1    Parrow, J.2    Walker, D.3
  • 32
    • 41649087956 scopus 로고    scopus 로고
    • OASIS Web Services Business Process Execution Language Technical Committee Version 2.0. OASIS Standard
    • OASIS Web Services Business Process Execution Language Technical Committee, 2007. Web Services Business Process Execution Language Version 2.0. OASIS Standard.
    • (2007) Web Services Business Process Execution Language
  • 33
    • 70449419385 scopus 로고    scopus 로고
    • Effective Web service composition in diverse and large-scale service networks
    • S.-C. Oh, D. Lee, and S.R.T. Kumara Effective Web service composition in diverse and large-scale service networks IEEE Transactions on Services Computing 1 January-March (1) 2008 15 32
    • (2008) IEEE Transactions on Services Computing , vol.1 , Issue.JANUARY-MARCH 1 , pp. 15-32
    • Oh, S.-C.1    Lee, D.2    Kumara, S.R.T.3
  • 35
    • 49149133038 scopus 로고
    • The temporal logic of concurrent programs
    • A. Pnueli The temporal logic of concurrent programs Theoretical Computer Science 13 1981 45 60
    • (1981) Theoretical Computer Science , Issue.13 , pp. 45-60
    • Pnueli, A.1
  • 37
    • 9444298254 scopus 로고    scopus 로고
    • The complexity of temporal logic model checking
    • Ph. Schnoebelen The complexity of temporal logic model checking Advances in Modal Logic 4 2002 1 44
    • (2002) Advances in Modal Logic , vol.4 , pp. 1-44
    • Schnoebelen, Ph.1
  • 39
    • 58149495956 scopus 로고    scopus 로고
    • A Petri net-based method for compatibility analysis and composition of Web services in business process execution language
    • W. Tan, Y. Fan, and M.C. Zhou A Petri net-based method for compatibility analysis and composition of Web services in business process execution language IEEE Transactions on Automation Science and Engineering 6 January (1) 2009 94 106
    • (2009) IEEE Transactions on Automation Science and Engineering , vol.6 , Issue.JANUARY 1 , pp. 94-106
    • Tan, W.1    Fan, Y.2    Zhou, M.C.3


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