Web Ontology Language / individual web services / transformation algorithm / WEB SERVICES USING PROBABILISTIC MODEL CHECKING Giti Oghabi / Online sale chart / Web Services using Probabilistic Model Checking / Web Service Technology Stack / Online sale Markov chain diagram / Web Services using Probabilistic Model Checking Giti Oghabi In service computing / web service / Web-based Application / web services technology / Web Service Ontology Language / software tool / Web service stack / online sale scenario / web services / checking a web service / interacting web services / /
Organization
Concordia University / Department of Computer Science and Software Engineering Presented / Dean Faculty of Engineering and Computer Science / Concordia University School / /