封面
声明
中文摘要
英文摘要
目录
1 绪 论
1.1 引言
1.2 研究现状
1.3 主要工作及创新点
1.4 论文组织结构
2相关知识
2.1 逻辑Petri网(LPNs)
2.2 Web服务
3 LPNs的向量分析方法
3.1 LPNs模型及其优点
3.2 向量匹配方法
3.3 使能变迁的判定
3.4 可达标识方程
3.5 性质分析
3.6 实例分析
4 基于LPNs的服务组合
4.1 逻辑网元Logical net units (LNUs)
4.2 服务簇及其形式化模型
4.3 服务网的顺序模式
4.4 服务网的其它模式
4.5 基于簇的服务组合的应用
5 总结与展望
5.1 工作总结
5.2 研究展望
参考文献
致谢
攻读硕士期间主要成果
山东科技大学;