|
本文提出基于时间约束Petri网（TCPN）的LBS动态服务组合建模方法，用于解决位置服务中服务动态变化的问题。通过引入时间约束和动态组合机制，实现了对服务流程的精确控制与验证。该方法在CCF NCSC2011会议上发表，为LBS服务组合提供了有效的建模与分析工具。 文档为pdf格式，0.44MB，总共6页。
- 文件大小:
- 450.56 KB
- 下载次数:
- 60
- 基于TCPN的LBS动态服务组合建模与验证 - 2011年中国计算机学会服务计算学术会议(CCF NCSC2011).pdf ...
-
高速下载
| 
