메뉴 건너뛰기




Volumn 1, Issue , 2008, Pages 473-476

Petri net based web service interactive behavior compatibility analysis

Author keywords

Behavior compatibility; Petri Nets; Reachable tree; Service composition; Virification; Web service

Indexed keywords

FORESTRY; INFORMATION MANAGEMENT; PETRI NETS; WEBSITES;

EID: 70350155248     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/ISBIM.2008.106     Document Type: Conference Paper
Times cited : (2)

References (12)
  • 1
    • 84942047038 scopus 로고    scopus 로고
    • A survey on web services composition
    • S. Dustdar and W. Schreiner, "A survey on web services composition," Int. J. Web Grid Serv., vol. 1, pp. 1-30, 2005.
    • (2005) Int. J. Web Grid Serv , vol.1 , pp. 1-30
    • Dustdar, S.1    Schreiner, W.2
  • 4
    • 70350163106 scopus 로고    scopus 로고
    • Web Services Choreography Description Language Version 1.0 2004 [online
    • "Web Services Choreography Description Language Version 1.0" 2004 [online] http://www.w3.org/TR/2004/WD-ws-cdl-10-20041217/
  • 6
    • 8444221775 scopus 로고    scopus 로고
    • On compatibility of Web Services
    • Martens A. "On compatibility of Web Services". Petri Net Newsletter, 2003, 65:12-20
    • (2003) Petri Net Newsletter , vol.65 , pp. 12-20
    • Martens, A.1
  • 10
    • 0024645936 scopus 로고
    • Petri nets: Properties, analysis and applications
    • T. Murata, "Petri nets: Properties, analysis and applications," Proc of the IEEE, vol. 77, pp. 541-580, 1989.
    • (1989) Proc of the IEEE , vol.77 , pp. 541-580
    • Murata, T.1
  • 12
    • 37349071421 scopus 로고    scopus 로고
    • Substitution analysis of web service composition via process algebra, Jisuanji Xuebao/Chinese
    • In Chinese with English abstruct
    • F. F. Liu, Y. L. Shi, L. Zhang, and B. L. Shi, "Substitution analysis of web service composition via process algebra," Jisuanji Xuebao/Chinese Journal of Computers, vol. 30, pp. 2033-2039, 2007 (In Chinese with English abstruct).
    • (2007) Journal of Computers , vol.30 , pp. 2033-2039
    • Liu, F.F.1    Shi, Y.L.2    Zhang, L.3    Shi, B.L.4


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