CTL Model Checking of Web Services Composition based on Open Workflow Nets Modeling

Publisher： IGI Global_journal

E-ISSN： 1947-9603|7|1|27-42

ISSN： 1947-959x

Source： International Journal of Service Science, Management, Engineering, and Technology (IJSSMET), Vol.7, Iss.1, 2016-01, pp. : 27-42

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

Integrating Semantic Web Technology, Web Services, and Workflow Modeling: Achieving System and Business Interoperability

By  

International Journal of Enterprise Information Systems (IJEIS), Vol. 3, Iss. 1, 2007-01 ,pp. : 22-41

IGI Global_journal

Access to resources Recommend Favorite

Challenges for Deploying Web Services-Based E-Business Systems in SMEs

By  

International Journal of E-Business Research (IJEBR), Vol. 2, Iss. 1, 2006-01 ,pp. : 1-18

IGI Global_journal

Access to resources Recommend Favorite

A Semantic Web-Based Approach for Building Personalized News Services

By  

International Journal of E-Business Research (IJEBR), Vol. 5, Iss. 3, 2009-07 ,pp. : 35-53

IGI Global_journal

Access to resources Recommend Favorite

A Movie E-shop Recommendation Model Based on Web Usage and Ontological Data

By  

Journal of Electronic Commerce in Organizations (JECO), Vol. 5, Iss. 3, 2007-07 ,pp. : 17-34

IGI Global_journal

Access to resources Recommend Favorite

A Communication Platform for Group Decision Support System: Based Web Services and Multicriteria Method

By  

International Journal of E-Services and Mobile Applications (IJESMA), Vol. 10, Iss. 3, 2018-07 ,pp. : 19-41

IGI Global_journal

Access to resources Recommend Favorite