山西省科技攻关计划项目(20120321030)
- 作品数:2 被引量:2H指数:1
- 相关作者:段利国李爱萍王正华马俊伟更多>>
- 相关机构:太原理工大学更多>>
- 发文基金:山西省科技攻关计划项目更多>>
- 相关领域:自动化与计算机技术更多>>
- Web遗留系统服务化包装方法的研究被引量:2
- 2014年
- 对Web遗留系统进行服务化包装,是实现遗留系统服务化迁移的关键。传统的白盒服务包装需要侵入原有遗留系统修改代码,运行风险增强,针对此问题设计了一种基于有穷状态自动机形式描述的黑盒包装方案。给出了包装方案的参考模型和模型内包装组件的功能描述,将遗留的Web应用转化为共享的Web服务。通过对Web遗留系统移植过程的实例分析验证了方案的可行性。
- 李爱萍王正华段利国
- 关键词:有穷状态自动机WEB服务
- 智能家居平台构件适应与协同模型及形式化分析
- 2016年
- 以解决智能家居平台运行过程中的构件适应与协同问题为目的,保证设备独立性与数据一致性为特点,提出一种基于构件适应与协同的智能家居平台逻辑模型,对平台及各构件进行形式化描述与建模,并结合平台功能需求对模型性质进行分析与验证。实验表明,在本模型下平台构件的适应与协同满足不死锁、不中止、不发散的必要性质,且在并行处理多用户请求的条件下能够实现数据一致性与操作有效性。本研究对智能家居平台的研发与验证有一定意义。
- 李爱萍马俊伟段利国
- 关键词:形式化