메뉴 건너뛰기




Volumn , Issue , 2007, Pages 29-33

A reuse-based approach to the correct and automatic composition of web-services

Author keywords

[No Author keywords available]

Indexed keywords

DISTRIBUTED COMPUTER SYSTEMS; RESOURCE ALLOCATION; SPECIFICATIONS;

EID: 41149083963     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1294904.1294908     Document Type: Conference Paper
Times cited : (11)

References (13)
  • 2
    • 84947802286 scopus 로고    scopus 로고
    • Synthesis of concurrent and distributed adaptors for component-based systems
    • M. Autili, M. Flammini, P. Inverardi, A. Navarra, and M. Tivoli. Synthesis of concurrent and distributed adaptors for component-based systems. In LNCS 4344. 2006.
    • (2006) LNCS , vol.4344
    • Autili, M.1    Flammini, M.2    Inverardi, P.3    Navarra, A.4    Tivoli, M.5
  • 3
    • 34548764370 scopus 로고    scopus 로고
    • M. Autili, P. Inverardi, A. Navarra, and M. Tivoli. SYNTHESIS: a tool for automatically assembling correct and distributed component-based systems. In In proceedings of the International Conference on Software Engineering (ICSE 2007) - Research Tool Demos Track., 2007.
    • M. Autili, P. Inverardi, A. Navarra, and M. Tivoli. SYNTHESIS: a tool for automatically assembling correct and distributed component-based systems. In In proceedings of the International Conference on Software Engineering (ICSE 2007) - Research Tool Demos Track., 2007.
  • 4
    • 41149173486 scopus 로고    scopus 로고
    • A. Brogi, C. Canal, and E. Pimentel. Behavioural types for service integration: achievements and challenges. In Electronic Notes in Theoretical Computer Science, Elsevier, ISSN 1571-0661, 2004.
    • A. Brogi, C. Canal, and E. Pimentel. Behavioural types for service integration: achievements and challenges. In Electronic Notes in Theoretical Computer Science, Elsevier, ISSN 1571-0661, 2004.
  • 5
    • 10444244298 scopus 로고    scopus 로고
    • A. Brogi, C. Canal, E. Pimentel, and A. Vallecillo. Formalizing web service choreographies. In Electronic Notes in Theoretical Computer Science, 105:73-94, Elsevier. ISSN 1571-0661, 2004.
    • A. Brogi, C. Canal, E. Pimentel, and A. Vallecillo. Formalizing web service choreographies. In Electronic Notes in Theoretical Computer Science, 105:73-94, Elsevier. ISSN 1571-0661, 2004.
  • 6
    • 77049085525 scopus 로고    scopus 로고
    • A. Brogi and R. Popescu. Automated Generation of BPEL Adapters. In In A. Dan and W. Lamersdorf, editors, Proceedings of the 4th International Conference on Service Oriented Computing (ICSOC 06), Springer-Verlag LNCS 4294, pages 27-39, 2006.
    • A. Brogi and R. Popescu. Automated Generation of BPEL Adapters. In In A. Dan and W. Lamersdorf, editors, Proceedings of the 4th International Conference on Service Oriented Computing (ICSOC 06), Springer-Verlag LNCS vol. 4294, pages 27-39, 2006.
  • 7
    • 41149120913 scopus 로고    scopus 로고
    • IBM. BPEL4WS, Business Process Execution Language for Web Services, version 1.1, 3
    • IBM. BPEL4WS, Business Process Execution Language for Web Services, version 1.1, http://download.boulder.ibm.com/ibmdl/pub/software/dw/specs/ws- bpel/ws-bpel.pdf. 2003.
  • 8
    • 34548773547 scopus 로고    scopus 로고
    • Software Architecture for Correct Components Assembly, volume
    • P. Inverardi and M. Tivoli. Software Architecture for Correct Components Assembly, volume LNCS 2804. 2003.
    • (2003) LNCS , vol.2804
    • Inverardi, P.1    Tivoli, M.2
  • 10
    • 0035657983 scopus 로고    scopus 로고
    • A survey of approaches to automatic schema matching
    • E. Rahm and P. A. Bernstein. A survey of approaches to automatic schema matching. The VLDB journal, 10:334-350, 2001.
    • (2001) The VLDB journal , vol.10 , pp. 334-350
    • Rahm, E.1    Bernstein, P.A.2
  • 11
    • 4544277896 scopus 로고    scopus 로고
    • Describing and reasoning on web services using process algebra
    • IEEE Computer Society Press, San Diego, USA
    • G. Salaun, L. Bordeaux, and M. Schaerf. Describing and reasoning on web services using process algebra. In ICWS'04, IEEE Computer Society Press, pages 43-51, San Diego, USA., 2004.
    • (2004) ICWS'04 , pp. 43-51
    • Salaun, G.1    Bordeaux, L.2    Schaerf, M.3


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