王昇
- 作品数：6 被引量：13H指数：2
- 供职机构：苏州大学计算机科学与技术学院更多>>
- 发文基金：国家重点实验室开放基金江苏省高校自然科学研究项目江苏省自然科学基金更多>>
- 相关领域：自动化与计算机技术电子电信更多>>
- 时间感知Web服务交互适配技术研究
- 随着Internet的快速发展与普及,网络化软件正逐步成为未来软件发展的趋势之一。“软件服务”作为一种新的软件实体,承担着封装各种资源、完成计算并对外提供服务的任务,被认为是网络化软件的基本组成成分。近年来,以Web服务...
- 王昇
- 关键词：网络化软件
- 文献传递
- 一种面向服务架构中服务容错的策略被引量：1
- 2009年
- 服务作为面向服务架构中的基本组成元素往往分布在局域网络甚至是广域网络的异构平台中,如何在开放、动态、难控的网络环境中充分保证系统的可靠性成为亟待解决的重要问题.构造具有容错能力的可信服务是一种较为可行的策略,即在服务构件接口模型的基础上,选用行为一致的候选构件动态置换出错构件.提出了服务构件间的可置换性定义、相关定理,保证了契约一致的候选构件与原构件是可组合的,最后通过订单和仓库管理系统实例讨论了该策略的可行性.
- 王昇张广泉章晓芳
- 关键词：面向服务架构
- 对称式面向方面软件体系结构动态演化研究
- 2009年
- 提出了一种对称式的面向方面体系结构模型(SAOSA),该模型将系统的功能模块、非功能模块都封装成了方面,编织这些方面构成软件体系结构中的构件、连接件.从抽象层次和实现层次出发,SAOSA模型的演化能力包括类型演化和动态重配置两种,结合一个ATM系统实例说明了SAOSA模型的动态演化机制.
- 汪玲张广泉王昇何亚丽
- 基于XYZ/ADL的Web服务组合精化检验
- 2010年
- Web服务组合的正确性验证在Web服务组合过程中至关重要.从软件体系结构角度考虑Web服务组合,可以从整体上把握系统布局.采用体系结构描述语言XYZ/ADL描述Web服务组合,并将XYZ/ADL中的XYZ/RE程序映射至时间自动机,使用精化检验方法验证Web服务组合的正确性.
- 何亚丽张广泉王昇
- 关键词：WEB服务组合XYZ/ADL时间自动机
- 时间感知Web服务交互行为建模与失配检测方法研究被引量：6
- 2011年
- 针对现有Web服务组合过程中存在时间感知力弱、服务利用率低、组合可靠性差等问题,通过将定量时间属性引入Web服务交互适配框架中,研究时间感知Web服务交互行为的形式化建模与交互行为失配的自动检测问题.提出了用于表达单个时间感知Web服务交互行为的时间服务协议(TSP)模型和用于表达多个时间感知Web服务并发组合的时间服务协议网络(TSPN)模型;将时间感知Web服务交互失配检测问题转化为TSP模型之间的兼容性判定问题,定义了从时间感知Web服务描述至TSP模型和从TSP模型至UPPAAL规约的映射规则,给出了TSP模型兼容性性质的CTL公式表示,基于模型检测工具UPPAAL实现时间感知Web服务交互失配的自动化检测,其检测结果作为下一步是否需要构造适配器的判断依据;最后通过实例分析进一步阐述了上述方法的可行性和有效性.
- 张广泉戎玫王昇
- 基于Bigraph的面向方面动态软件体系结构演化研究被引量：6
- 2010年
- 随着网络技术的发展,软件运行环境的开放化和用户需求的多样化,使得人们对软件动态演化能力提出了更高的要求。面向方面软件开发中的关注点分离思想很好地支持了软件动态演化,现有的形式化方法难以直观地表示体系结构的动态性,且不能很好地验证系统演化前后的正确性。Bigraph不仅具有直观的图形化表达能力,而且具备良好的数学基础,可以推理和验证系统的演化性质。因此,提出了一种面向方面动态软件体系结构(AODSA)模型,扩展的Bigraph用于描述AODSA的结构,使用Bigraph反应系统(BRS)来描述AODSA的动态演化。最后以一个简化的ATM存款系统模型为例,说明Bigraph表示的ATM模型以及基于BRS的演化过程。
- 汪玲戎玫张广泉王昇
