| 网络环境下服务系统的Petri网建模方法研究 |
| |
| 引用本文： | 何胜利.网络环境下服务系统的Petri网建模方法研究[J].现代防御技术,2009,37(2). |
| |
| 作者姓名： | 何胜利 |
| |
| 作者单位： | 北京外国语大学,计算中心,北京,100089 |
| |
| 摘 要： | 首先提出服务代数结构体系,通过严谨的数学定义阐明服务的抽象本质,组织服务及其合成行为,用于指导服务合成, 进行有效的服务行为特征数学描述和行为建模,给出针对服务合成形式化分析方法.接着给出了使用Petri进行服务合成活动的形式化描述、验证方法.最后阐述了下一步的研究内容.
|
| 关 键 词： | 服务系统 服务合成 服务建模 服务不确定性 |
Study on Network Service System Modeling Theory with Petri Net |
| |
| HE Sheng-li.Study on Network Service System Modeling Theory with Petri Net[J].Modern Defence Technology,2009,37(2). |
| |
| Authors: | HE Sheng-li |
| |
| Abstract: | |
| |
| Keywords: | |
| 本文献已被 万方数据 等数据库收录！ |
|
