메뉴 건너뛰기




Volumn 4102 LNCS, Issue , 2006, Pages 458-464

A hybrid approach for generating compatible WS-BPEL partner processes

Author keywords

Behavioral Compatibility; Business Process Modeling; Petri nets; Tool based Verification; Web Service; WS BPEL

Indexed keywords

ADMINISTRATIVE DATA PROCESSING; COMPUTATIONAL METHODS; COMPUTER SIMULATION; INFORMATION SERVICES; MATHEMATICAL MODELS; PETRI NETS; WORLD WIDE WEB;

EID: 33749992390     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/11841760_39     Document Type: Conference Paper
Times cited : (10)

References (8)
  • 1
    • 24644509903 scopus 로고    scopus 로고
    • Analyzing Web service based business processes
    • Maura Cerioli, editor, LNCS 3442, Edinburgh, Scotland, April. Springer
    • A.Martens. Analyzing Web Service based Business Processes. In Maura Cerioli, editor, Proc. of FASE'05, LNCS 3442, Edinburgh, Scotland, April 2005. Springer.
    • (2005) Proc. of FASE'05
    • Martens, A.1
  • 5
    • 4544339500 scopus 로고    scopus 로고
    • A Petri net based model for Web service composition
    • Australian Computer Society, Inc.
    • R. Hamadi and B. Benatallah. A Petri Net based Model for Web Service Composition. In Proc. of ADC 2003. Australian Computer Society, Inc., 2003.
    • (2003) Proc. of ADC 2003
    • Hamadi, R.1    Benatallah, B.2
  • 8
    • 85038589398 scopus 로고    scopus 로고
    • Modeling and analyzing interorganizational workflows
    • IEEE Computer Society Press
    • W.M.P. van der Aalst. Modeling and Analyzing Interorganizational Workflows. In Proc. of CSD'98. IEEE Computer Society Press, 1998.
    • (1998) Proc. of CSD'98
    • Van Der Aalst, W.M.P.1


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