针对 Web 服务组合流程进行建模,可以实现可靠的服务组合。文中首先提出了一种基于 Petri 网理论的Web 服务组合建模方法,对服务组合进行形式化建模,然后通过分析 Web 服务网的可达性和活性对 Web 服务组合进行验证,最后举例说明此方法...针对 Web 服务组合流程进行建模,可以实现可靠的服务组合。文中首先提出了一种基于 Petri 网理论的Web 服务组合建模方法,对服务组合进行形式化建模,然后通过分析 Web 服务网的可达性和活性对 Web 服务组合进行验证,最后举例说明此方法的应用。展开更多
文摘形式化建模Web服务组合并分析其功能正确性和QoS可满足性,是提高组合服务可信性的重要手段,但目前形式化方法侧重功能正确性建模和分析,对QoS可满足性的建模和分析支持不足.为此提出一种时间概率代价进程代数TPPPA(Timed Probabilistic Priced Process Algebra),给出了TPPPA的语法和语义,并证明其具有功能、时间、概率和代价的统一建模和分析能力.用实例表明了TPPPA可有效支持Web服务组合功能正确性和QoS可满足性的形式化统一建模和分析.
基金Supported by the National Natural Science Foundation of China under Grant Nos.6037310360433010(国家自然科学基金)the Defence Pre-Research Project under Grant No.51315050105(装备预先研究项目)
基金Supposed by the National Natural Science Foundaion of China under Grant Nos.6053406060473094(国家自然科学基金)+1 种基金the National High-Tech Research and Development Plan of China under Grant No.2007AA01Z136(国家高技术研究发展计划(863))the National Basic Research Program ofChina under Grant No.2003CB317002(国家重点基础研究发展计划(973))
