• DocumentCode
    3740886
  • Title

    SMT-based scheduling of distributed mediator for web service composition

  • Author

    Yoshiki Maeda;Toshimitsu Ushio

  • Author_Institution
    Graduate School of Engineering Science, Osaka University, Toyonaka, Osaka 560-8531 Japan
  • fYear
    2015
  • Firstpage
    69
  • Lastpage
    70
  • Abstract
    It is important to achieve a correct composition of web services in Service Oriented Architecture(SOA). Mediators modifies incompatibility of data used in several services to establish proper interaction among them. In this paper, we consider a distributed mediator model and propose a method for scheduling in the distributed mediator using an SMT solver.
  • Keywords
    "Petri nets","Web services","Schedules","Distributed databases","Consumer electronics","Load management","Load modeling"
  • Publisher
    ieee
  • Conference_Titel
    Consumer Electronics (GCCE), 2015 IEEE 4th Global Conference on
  • Type

    conf

  • DOI
    10.1109/GCCE.2015.7398580
  • Filename
    7398580
    • Link To Document
    https://search.isc.ac/dl/search/defaultta.aspx?DTC=49&DC=3740886