原文传递
基于Pi演算的交通Web服务组装的描述和验证
| 论文题名： | 基于Pi演算的交通Web服务组装的描述和验证 |
| 关键词： | 城市交通;Web服务系统;交通协同 |
| 摘要： | 当前城市交通系统的发展重点是如何在Internet环境下建立交通应用系统，实现广域范围内的资源共享与协同操作。并且使交城市交通系统提供的服务在面临各种事故、故障的情况下仍能继续工作，使城市交通系统具有可生存性。传统的软件技术体系无法有效地适应城市交通系统发展过程中所呈现的复杂性、分布性和异构性等特征，成为制约其发展的症结所在。本文将Internet环境下的Web服务技术引入到城市交通系统当中，用于指导交通应用系统的构建与维护。 Web服务是一种依赖互联网络的XML-RPC实现方法，具有开放式标准、与平台无关性、简单性、消息的可阅读性好等优点。应用它可以实现跨平台、可互操作的分布式应用，并可兼顾现有系统的可重用性。本文首先给出了基于Web服务的交通协同Web服务体系结构，以交通协同服务系统为例说明了服务的协同工作方式。Web服务的动态组合使系统根据环境需要实现服务系统的重配置，系统服务的可生存性得到增强。因为Pi演算不仅可以传递CCS中的变量和值等，还可以传递通道名，并且将这几种实体都统称为名字而不再作区分等优点这使得Pi演算具有了建立新通道的能力，因此Pi演算可以用来描述不断变化的并发系统[1]。本文基于Pi演算理论，用Pi演算理论形式化描述交通协同应急系统中的Web服务组合并对其进行建模。 最后本文将本体系结构用于本课题组开发的交通协同Web服务中并予以实现，然后通过Pi演算的操作语义、自动推演等理论判断Web服务之间交互的兼容性。该方法还能判断出服务在何种情况下能正常交互，在何种情况下无法进行交互，这对服务组合的正确运行和监控具有重要意义。 |
| 作者： | 刘澈 |
| 专业： | 计算机应用技术 |
| 导师： | 谭国真 |
| 授予学位： | 硕士 |
| 授予学位单位： | 大连理工大学 |
| 学位年度： | 2009 |
| 正文语种： | 中文 |
检索历史
应用推荐
