刘奕明
- 作品数：4 被引量：35H指数：1
- 供职机构：复旦大学更多>>
- 发文基金：上海市科委科技攻关项目国家自然科学基金国家高技术研究发展计划更多>>
- 相关领域：自动化与计算机技术更多>>
- 协作策略驱动的构件组合行为提取
- 构件组合系统的行为通过构件之间的交互来体现。而构件交互遵循的协作策略往往决定组合系统所具有的性质,如安全性,活性和公平性等。因此,如何从构件交互中提取遵循特定构件交互策略的构件组合行为,从而使系统具有某种良好性质就成为了...
- 刘奕明彭鑫赵文耘唐姗
- 关键词：软件开发接口自动机
- 文献传递
- 基于体系结构、特征驱动的软件动态演化方法研究
- 在互联网成为当今主流软件运行环境之后，网络的动态性和开放性使用户需求与硬件资源更加频繁地变化，导致软件的变化性和复杂性进一步增强。变化性成为了软件的基本届性。软件演化指的是软件进行变化并达到所期望形态的过程，可分为静态演...
- 刘奕明
- 关键词：体系结构软件产品线
- 文献传递
- 基于线性时序逻辑的动态软件体系结构模型验证
- 如何有效地保证软件体系结构能够正确地进行动态演化是目前软件工程领域中一个亟待解决的问题。模型验证是一种关于系统性质验证的算法方法,它通常采用状态空间搜索的方法来检查一个给定的计算模型是否满足用某个时序逻辑公式描述的特定性...
- 唐姗彭鑫赵文耘刘奕明
- 关键词：动态软件体系结构线性时序逻辑自动机
- 文献传递
- 基于特征模型和构件语义的概念体系结构设计被引量：34
- 2006年
- 特定领域软件体系结构(domain-specificsoftwarearchitecture,简称DSSA)是特定领域开发中的重要资产,而基于特征的领域模型使得从领域需求到DSSA的映射成为可能.引入本体作为特征模型的描述基础,通过该方法得到的领域特征本体将同时作为领域内业务构件的语义描述基础存在.在此基础上,提出了基于特征模型和构件语义的概念体系结构设计方法.该方法综合考虑了特征模型中的共性、可变性、绑定时间以及结构关系、依赖关系等对DSSA设计的影响,同时以构件语义作为特征到概念构件设计的过渡.相关方法已经实现为基于本体的特征建模工具和基于特征模型的体系结构设计工具,为特征驱动的领域开发提供了有力的支持.
- 彭鑫赵文耘刘奕明
- 关键词：领域本体体系结构
