Monitoring safety properties of composite web services at runtime using CSP

@article{Khaxar2009MonitoringSP,
  title={Monitoring safety properties of composite web services at runtime using CSP},
  author={Mohsen Khaxar and Saeed Jalili and Narges Khakpour and M. Shaban Jokhio},
  journal={2009 13th Enterprise Distributed Object Computing Conference Workshops},
  year={2009},
  pages={107-113}
}
Nowadays, service oriented architecture has been given strong attention as an important approach to integrate heterogeneous systems, in which complex services are created by composing simpler services offered by various systems. The correctness of composition requires techniques to verify if the composite service behaves properly. To this end, in this paper we propose a new method for runtime monitoring of composite services which uses Communicating Sequential Processes (CSP) to specify… CONTINUE READING