唐姗
- 作品数：7 被引量：16H指数：2
- 供职机构：复旦大学更多>>
- 发文基金：国家自然科学基金上海市科委科技攻关项目国家高技术研究发展计划更多>>
- 相关领域：自动化与计算机技术更多>>
- 基于目标的可高信自适应容错软件开发研究
- 随着以Internet软件为核心的信息系统的深入,基于Internet的分布式计算机系统及开放式网络环境增加了系统的复杂度、故障率和不安全因素,使得软件系统变得日趋庞大和难以驾驭,缺陷和漏洞难以避免,其经常发生各种故障和...
- 唐姗
- 关键词：软件体系结构
- 基于反射的动态软件体系结构实现被引量：14
- 2006年
- 文章结合元模型、反射等技术首先从宏观的角度提出了一个支持分布式应用环境的动态软件体系结构模型,并描述了如何对系统进行动态演化,然后从微观的角度给出了软件体系结构的形式化描述。基于此框架,作者在Web环境下实现的一个可动态演化的网上宠物商店系统证明了该方法的有效性。
- 唐姗赵文耘
- 关键词：软件体系结构元模型
- 协作策略驱动的构件组合行为提取
- 构件组合系统的行为通过构件之间的交互来体现。而构件交互遵循的协作策略往往决定组合系统所具有的性质,如安全性,活性和公平性等。因此,如何从构件交互中提取遵循特定构件交互策略的构件组合行为,从而使系统具有某种良好性质就成为了...
- 刘奕明彭鑫赵文耘唐姗
- 关键词：软件开发接口自动机
- 文献传递
- 基于线性时序逻辑的动态软件体系结构模型验证
- 如何有效地保证软件体系结构能够正确地进行动态演化是目前软件工程领域中一个亟待解决的问题。模型验证是一种关于系统性质验证的算法方法,它通常采用状态空间搜索的方法来检查一个给定的计算模型是否满足用某个时序逻辑公式描述的特定性...
- 唐姗彭鑫赵文耘刘奕明
- 关键词：动态软件体系结构线性时序逻辑自动机
- 文献传递
- 基于反射的动态软件体系结构实现
- 文章结合元模型、反射等技术首先从宏观的角度提出了一个支持分布式应用环境的动态软件体系结构模型,并描述了如何对系统进行动态演化,然后从微观的角度给出了软件体系结构的形式化描述。基于此框架,作者在Web环境下实现的一个可动态...
- 唐姗赵文耘
- 关键词：软件体系结构元模型
- 文献传递
- 基于本体描述构件库中的本体演化研究被引量：2
- 2007年
- 在构件的描述与检索中引入本体,可以更好地表示构件间的语义信息。本体是对知识的表达,可以对知识进行有效的组织和管理,实现知识共享和重利用,从而充分有效地利用知识资源。但是知识不是一成不变的,基于本体描述的构件库系统中的本体库需要更新和维护。该文提出了一种本体演化理论框架,探讨了其研究方向和重点。
- 杨明华钱乐秋赵文耘唐姗
- 关键词：本体
- 基于目标的高可信自适应容错软件开发方法研究
- 随着以Internet软件为核心的信息系统的深入,基于Internet的分布式计算机系统及开放式网络环境增加了系统的复杂度、故障率和不安全因素,使得软件系统变得日趋庞大和难以驾驭,缺陷和漏洞难以避免,其经常发生各种故障和...
- 唐姗
- 关键词：自适应软件容错软件体系结构
- 文献传递
