| 基于Petri网的Web服务组合与分析 |
| |
| 引用本文： | 闫春钢,蒋昌俊,李启炎.基于Petri网的Web服务组合与分析[J].计算机科学,2007,34(2):100-103. |
| |
| 作者姓名： | 闫春钢 蒋昌俊 李启炎 |
| |
| 作者单位： | 同济大学计算机科学与技术系,上海,200092;国家高性能计算机工程技术研究中心同济分中心,上海,201804 |
| |
| 摘 要： | Web服务为互联网提供了一种新的应用环境。然而，Web服务还有许多需要进一步研究的问题。Web服务的组合及其验证就是需要深入研究的问题。本文针对通用构件描述语言（UCDL）提出一种Petri网模拟和验证方法，即对于Web服务的元活动和构件，提出相应的Petri网模型和建模方法。在此基础上进一步研究了Web服务系统Petri网的语言表达式生成算法，从而为Web服务系统的验证分析提供了有效工具。
|
| 关 键 词： | Petri网 化简技术 Web服务组合 语言 表达式 |
The Composition and Analysis of Web Service Based on Petri Net |
| |
| YAN Chun-Gang,JIANG Chang-Jun,LI Qi-Yan.The Composition and Analysis of Web Service Based on Petri Net[J].Computer Science,2007,34(2):100-103. |
| |
| Authors: | YAN Chun-Gang JIANG Chang-Jun LI Qi-Yan |
| |
| Abstract: | |
| |
| Keywords: | Petri net Reduction technique Web service combination Language Expression |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
|
点击此处可从《计算机科学》下载全文 |
