排序方式: 共有4条查询结果,搜索用时 15 毫秒
1
1.
Web服务组合的正确性验证在Web服务组合过程中至关重要.从软件体系结构角度考虑Web服务组合,可以从整体上把握系统布局.采用体系结构描述语言XYZ/ADL描述Web服务组合,并将XYZ/ADL中的XYZ/RE程序映射至时间自动机,使用精化检验方法验证Web服务组合的正确性. 相似文献
2.
提出了一种对称式的面向方面体系结构模型(SAOSA),该模型将系统的功能模块、非功能模块都封装成了方面,编织这些方面构成软件体系结构中的构件、连接件.从抽象层次和实现层次出发,SAOSA模型的演化能力包括类型演化和动态重配置两种,结合一个ATM系统实例说明了SAOSA模型的动态演化机制. 相似文献
3.
丙烯环氧化反应产物分离工艺研究 总被引:1,自引:0,他引:1
开发了丙烯环氧化反应产物的分离工艺流程。采用共沸精馏方法分离水和丙二醛单甲醚,并以UNIFAC热力学方程作为物性计算方法进行了全流程模拟计算,给出了相应的工艺参数,并证明了所开发的工艺流程技术上是先进可行的。 相似文献
4.
服务作为面向服务架构中的基本组成元素往往分布在局域网络甚至是广域网络的异构平台中,如何在开放、动态、难控的网络环境中充分保证系统的可靠性成为亟待解决的重要问题.构造具有容错能力的可信服务是一种较为可行的策略,即在服务构件接口模型的基础上,选用行为一致的候选构件动态置换出错构件.提出了服务构件间的可置换性定义、相关定理,保证了契约一致的候选构件与原构件是可组合的,最后通过订单和仓库管理系统实例讨论了该策略的可行性. 相似文献
1