A Platform for Analyzing Behaviors of Service-Oriented Application Based on the Probabilistic Model Checking

Publisher： IGI Global_journal

E-ISSN： 2166-7179|3|2|24-38

ISSN： 2166-7160

Source： International Journal of Software Innovation (IJSI), Vol.3, Iss.2, 2015-04, pp. : 24-38

Disclaimer: Any content in publications that violate the sovereignty, the constitution or regulations of the PRC is not accepted or approved by CNPIEC.

Previous Menu Next

Abstract

Related content

Service-oriented e-Marketplace: an agent-based model

By Hamada Ghenniwa   Weiming Shen  

Production Planning and Control, Vol. 15, Iss. 7, 2004-10 ,pp. : 696-709

Taylor & Francis Ltd

Access to resources Recommend Favorite

SMINER - a platform for data mining based on service-oriented architecture

By Esmin Ahmed A.A.   Pereira Denilson Alves   Pereira Marluce Rodrigues   Araújo Deivison Luiz  

International Journal of Business Intelligence and Data Mining, Vol. 8, Iss. 1, 2013-08 ,pp. : 1-18

Inderscience Publishers

Access to resources Recommend Favorite

Sens-ation: a service-oriented platform for developing sensor-based infrastructures

By Gross Tom   Egla Tareg   Marquardt Nicolai  

International Journal of Internet Protocol Technology, Vol. 1, Iss. 3, 2006-05 ,pp. : 159-167

Inderscience Publishers

Access to resources Recommend Favorite

A Service-Oriented Multimedia Componentization Model

By  

International Journal of Web Services Research (IJWSR), Vol. 2, Iss. 1, 2005-01 ,pp. : 54-76

IGI Global_journal

Access to resources Recommend Favorite

An Approach to Checking Compatibility of Service Contracts in Service-Oriented Applications

By  

International Journal of Web Services Research (IJWSR), Vol. 6, Iss. 2, 2009-04 ,pp. : 42-65

IGI Global_journal

Access to resources Recommend Favorite