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
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"
Conference_Titel :
Consumer Electronics (GCCE), 2015 IEEE 4th Global Conference on
DOI :
10.1109/GCCE.2015.7398580
