Intelligent Web Based on Mathematic Theory Case Study : Service Composition Validation via Distributed Compiler and Graph Theory

@inproceedings{Karawash2013IntelligentWB,
  title={Intelligent Web Based on Mathematic Theory Case Study : Service Composition Validation via Distributed Compiler and Graph Theory},
  author={Ahmad Karawash and Hamid Mcheick and Mohamed Dbouk},
  year={2013}
}
This paper discusses a model for verifying service composition by building a distributed semi-compiler of service process. In this talk, we introduce a technique that solves the service composition problems such as infinite loops,deadlock and replicate use of the service. Specifically, the client needs to build a composite service by invoking other services but without knowing the exact design of these loosely coupled services. The proposed Distributed Global Service Compiler, by this article… CONTINUE READING