메뉴 건너뛰기




Volumn 4184 LNCS, Issue , 2006, Pages 163-177

Execution semantics for service choreographies

Author keywords

[No Author keywords available]

Indexed keywords

LIFE CYCLE; MATHEMATICAL MODELS; SEMANTICS; TELECOMMUNICATION SERVICES;

EID: 33845191288     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/11841197_11     Document Type: Conference Paper
Times cited : (29)

References (15)
  • 5
    • 0013222762 scopus 로고    scopus 로고
    • EbXML Business Process Specification Schema Version 1.01
    • J. Clark, C. Casanave, K. Kanaskie, B. Harvey, N. Smith, J. Yunker, K. Riemer (Eds.): May
    • J. Clark, C. Casanave, K. Kanaskie, B. Harvey, N. Smith, J. Yunker, K. Riemer (Eds.): ebXML Business Process Specification Schema Version 1.01, UN/CEFACT and OASIS Specification, May 2001. http://www.ebxml.org/specs/ebBPSS. pdf
    • (2001) UN/CEFACT and OASIS Specification
  • 6
    • 24344444145 scopus 로고    scopus 로고
    • Tools for composite web services: A short overview
    • R. Hull, J. Su: Tools for composite web services: a short overview. SIGMOD Record 34(2): 86-95, 2005.
    • (2005) SIGMOD Record , vol.34 , Issue.2 , pp. 86-95
    • Hull, R.1    Su, J.2
  • 8
    • 70449615691 scopus 로고    scopus 로고
    • Formalizing service interactions
    • Vienna, Austria, Springer Verlag
    • G. Decker, F. Puhlmann, M. Weske: Formalizing Service Interactions. In Proceedings of BPM 2006, Vienna, Austria, 2006, Springer Verlag.
    • (2006) Proceedings of BPM 2006
    • Decker, G.1    Puhlmann, F.2    Weske, M.3
  • 10
    • 27144489778 scopus 로고    scopus 로고
    • Using the π-calculus for formalizing workflow patterns
    • Nancy, France, September Springer Verlag
    • F. Puhlmann, M. Weske: Using the π-Calculus for Formalizing Workflow Patterns. In Proceedings of BPM 2005, Nancy, France, September 2005, pp 153-168, Springer Verlag.
    • (2005) Proceedings of BPM 2005 , pp. 153-168
    • Puhlmann, F.1    Weske, M.2
  • 11
    • 0030532165 scopus 로고    scopus 로고
    • A theory of bisimulation for the π-calculus
    • D. Sangiorgi: A theory of bisimulation for the π-calculus. In Acta Informatica 16(33): 69-97, 1996.
    • (1996) Acta Informatica , vol.16 , Issue.33 , pp. 69-97
    • Sangiorgi, D.1


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