메뉴 건너뛰기




Volumn , Issue , 2009, Pages 17-24

Control flow requirements for automated service composition

Author keywords

[No Author keywords available]

Indexed keywords

AUTOMATED COMPOSITION; AUTOMATED SERVICE COMPOSITION; COMPLEX COMPOSITIONS; CONTROL FLOWS; PROTOTYPE IMPLEMENTATIONS; REALISTIC SCENARIO; SERVICE-ORIENTED DEVELOPMENT; STATEFUL SERVICES;

EID: 70449470373     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/ICWS.2009.31     Document Type: Conference Paper
Times cited : (25)

References (17)
  • 2
    • 0011491265 scopus 로고    scopus 로고
    • Adapting golog for composition of semantic web services
    • S. McIlraith and S. Son, "Adapting Golog for Composition of Semantic Web Services, " in Proc. KR'02, 2002.
    • (2002) Proc. KR'02
    • McIlraith, S.1    Son, S.2
  • 5
    • 70349896736 scopus 로고    scopus 로고
    • Simulation, verification and automated composition of web services
    • S. Narayanan and S. McIlraith, "Simulation, Verification and Automated Composition of Web Services, " in Proc. WWW'02, 2002.
    • (2002) Proc. WWW'02
    • Narayanan, S.1    McIlraith, S.2
  • 7
    • 84890303891 scopus 로고    scopus 로고
    • Automated composition of web services by planning in asynchronous domains
    • M. Pistore, P. Traverso, and P. Bertoli, "Automated Composition of Web Services by Planning in Asynchronous Domains, " in Proc. ICAPS'05, 2005.
    • (2005) Proc. ICAPS'05
    • Pistore, M.1    Traverso, P.2    Bertoli, P.3
  • 8
    • 33749043026 scopus 로고    scopus 로고
    • Web services composition: A story of models, automata, and logics
    • R. Hull, "Web Services Composition: A Story of Models, Automata, and Logics, " in Proc. of ICWS'05, 2005.
    • (2005) Proc. of ICWS'05
    • Hull, R.1
  • 9
    • 82655171718 scopus 로고    scopus 로고
    • Specifying data-flow requirements for the automated composition of web services
    • A. Marconi, M. Pistore, and P. Traverso, "Specifying Data-Flow Requirements for the Automated Composition of Web Services, " in Proc. SEFM'06, 2006.
    • (2006) Proc. SEFM'06
    • Marconi, A.1    Pistore, M.2    Traverso, P.3
  • 12
    • 85131841064 scopus 로고    scopus 로고
    • Inheritance of interorganizational workflows to enable business-to-business
    • W. M. P. van der Aalst, "Inheritance of Interorganizational Workflows to Enable Business-to-Business, " Electronic Commerce Research, vol.2, no.3, pp. 195-231, 2002.
    • (2002) Electronic Commerce Research , vol.2 , Issue.3 , pp. 195-231
    • Van Der Aalst, W.M.P.1
  • 13
    • 0023365727 scopus 로고
    • Statecharts: A visual formalism for complex systems
    • D. Harel, "Statecharts: A Visual Formalism for Complex Systems, " Science of Computer Programming, vol.8, no.3, pp. 231-274, 1987.
    • (1987) Science of Computer Programming , vol.8 , Issue.3 , pp. 231-274
    • Harel, D.1
  • 16
    • 84880852617 scopus 로고    scopus 로고
    • A heuristic search approach to planning with temporally extended preferences
    • J. Baier, F. Bacchus, and S. McIlraith, "A Heuristic Search Approach to Planning with Temporally Extended Preferences, " in Proc. IJCAI'07, 2007.
    • (2007) Proc. IJCAI'07
    • Baier, J.1    Bacchus, F.2    McIlraith, S.3
  • 17
    • 57749120007 scopus 로고    scopus 로고
    • Exploiting procedural domain control knowledge in state-of-the-art planners
    • J. Baier, C. Fritz, and S. McIlraith, "Exploiting procedural domain control knowledge in state-of-the-art planners, " in Proc. of ICAPS'07, 2007.
    • (2007) Proc. of ICAPS'07
    • Baier, J.1    Fritz, C.2    McIlraith, S.3


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