| 刘振文.基于时间自动机的动态服务组合方法研究[J].井冈山大学自然版,2010,(1): |
| 基于时间自动机的动态服务组合方法研究 |
| DYNAMIC SERVICE COMPOSITION BASED ON TIMED AUTOMATA |
| |
| DOI： |
| 中文关键词: Web服务 动态服务组合 服务质量 时间自动机 |
| 英文关键词: |
| 基金项目: |
|
| 摘要点击次数: 10360 |
| 全文下载次数: 0 |
| 中文摘要: |
| 动态网络环境下,Web服务资源具有高度自治性和动态性,如何根据运行时具体的用户需求完成动态的服务组合是一个重要问题.时间自动机是一种形式化的实时并发系统模型,它为实时系统的行为描述提供了较好的分析方法.本文通过引入基于时间自动机的二部图表示可以实现对动态服务组合的建模与控制. |
| 英文摘要: |
| |
|
查看全文
查看/发表评论 下载PDF阅读器 |
| 关闭 |
|
|
|
