基于权限模型的pi演算动态Web服务组合建模

Q2 Social Sciences

New Review of Information Networking Pub Date : 2015-12-15 DOI:10.1080/13614576.2017.1368404

Sok-Min Han, Un-Chol Pang, Hyok-Chol Choe, Chol-Jun Hwang

{"title":"基于权限模型的pi演算动态Web服务组合建模","authors":"Sok-Min Han, Un-Chol Pang, Hyok-Chol Choe, Chol-Jun Hwang","doi":"10.1080/13614576.2017.1368404","DOIUrl":null,"url":null,"abstract":"ABSTRACT There are numerous research articles on web service, composition, modeling, verification, and other problems. These research works are performed on the basis of formal methods, such as petri-net, pi-calculus, automata theory, and so on. Pi-calculus is a natural vehicle to model the mobility aspect in dynamic web services composition (DWSC). However, it has recently been shown that pi-calculus needs to be extended suitably to specify and verify DWSC. In this article, we consider the authority model for DWSC, extend pi-calculus in order to model dynamic attributes of system, and propose a automatic method for modeling DWSC based on extended pi-calculus.","PeriodicalId":35726,"journal":{"name":"New Review of Information Networking","volume":null,"pages":null},"PeriodicalIF":0.0000,"publicationDate":"2015-12-15","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://sci-hub-pdf.com/10.1080/13614576.2017.1368404","citationCount":"2","resultStr":"{\"title\":\"Using Pi-calculus to Model Dynamic Web Services Composition Based on the Authority Model\",\"authors\":\"Sok-Min Han, Un-Chol Pang, Hyok-Chol Choe, Chol-Jun Hwang\",\"doi\":\"10.1080/13614576.2017.1368404\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"ABSTRACT There are numerous research articles on web service, composition, modeling, verification, and other problems. These research works are performed on the basis of formal methods, such as petri-net, pi-calculus, automata theory, and so on. Pi-calculus is a natural vehicle to model the mobility aspect in dynamic web services composition (DWSC). However, it has recently been shown that pi-calculus needs to be extended suitably to specify and verify DWSC. In this article, we consider the authority model for DWSC, extend pi-calculus in order to model dynamic attributes of system, and propose a automatic method for modeling DWSC based on extended pi-calculus.\",\"PeriodicalId\":35726,\"journal\":{\"name\":\"New Review of Information Networking\",\"volume\":null,\"pages\":null},\"PeriodicalIF\":0.0000,\"publicationDate\":\"2015-12-15\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"https://sci-hub-pdf.com/10.1080/13614576.2017.1368404\",\"citationCount\":\"2\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"New Review of Information Networking\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://doi.org/10.1080/13614576.2017.1368404\",\"RegionNum\":0,\"RegionCategory\":null,\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"Q2\",\"JCRName\":\"Social Sciences\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"New Review of Information Networking","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1080/13614576.2017.1368404","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"Q2","JCRName":"Social Sciences","Score":null,"Total":0}

引用次数: 2

摘要

关于web服务、组合、建模、验证等问题的研究文章很多。这些研究工作是在petri-net、pi-calculus、自动机理论等形式化方法的基础上进行的。pi演算是动态web服务组合(DWSC)中对移动性方面建模的天然工具。然而，最近的研究表明，需要适当地扩展π微积分来指定和验证DWSC。本文考虑了DWSC的权限模型，扩展了pi-calculus来对系统的动态属性进行建模，提出了一种基于扩展pi-calculus的DWSC自动建模方法。

本文章由计算机程序翻译，如有差异，请以英文原文为准。

查看原文本刊更多论文

Using Pi-calculus to Model Dynamic Web Services Composition Based on the Authority Model

ABSTRACT There are numerous research articles on web service, composition, modeling, verification, and other problems. These research works are performed on the basis of formal methods, such as petri-net, pi-calculus, automata theory, and so on. Pi-calculus is a natural vehicle to model the mobility aspect in dynamic web services composition (DWSC). However, it has recently been shown that pi-calculus needs to be extended suitably to specify and verify DWSC. In this article, we consider the authority model for DWSC, extend pi-calculus in order to model dynamic attributes of system, and propose a automatic method for modeling DWSC based on extended pi-calculus.

求助全文

通过发布文献求助，成功后即可免费获取论文全文。去求助

来源期刊

New Review of Information Networking Social Sciences-Education

CiteScore

2.10

自引率

0.00%

发文量

期刊介绍： Information networking is an enabling technology with the potential to integrate and transform information provision, communication and learning. The New Review of Information Networking, published biannually, provides an expert source on the needs and behaviour of the network user; the role of networks in teaching, learning, research and scholarly communication; the implications of networks for library and information services; the development of campus and other information strategies; the role of information publishers on the networks; policies for funding and charging for network and information services; and standards and protocols for network applications.