形式化与可视化相结合的软件体系结构描述方法研究

来源 :计算机科学 | 被引量 : 0次 | 上传用户：suease

【摘要】

：

软件体系结构是软件工程领域中一个重要的研究内容,研究软件体系结构的首要问题是如何描述一个软件系统的体系结构模型.本文通过集成XYZ/ADL与UML两种描述方法在软件体系结构

【作者】

：

戎玫张广泉

【机构】

：

暨南大学深圳旅游学院,苏州大学计算机科学与技术学院

【出处】

：

计算机科学

【发表日期】

：

2005年4期

【关键词】

：

软件体系结构描述方法体系结构模型可视化方法形式化方法研究内容工程领域软件系统结构描述面向对象逻辑理论应用问题结构建模系统体系电梯控制

【基金项目】

：

中国科学院资助项目，国家重点实验室基金，重庆市教委资助项目，江苏省重点实验室基金

下载到本地 , 更方便阅读

下载此文赞助VIP

声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架

论文部分内容阅读

软件体系结构是软件工程领域中一个重要的研究内容,研究软件体系结构的首要问题是如何描述一个软件系统的体系结构模型.本文通过集成XYZ/ADL与UML两种描述方法在软件体系结构中的应用,平求一种基于时序逻辑理论的形式化方法与面向对象的可视化方法相结合的软件体系结构描述新途径.着重研究XYZ/ADL与UML在电梯控制系统体系结构建模中的应用问题,并运用基于构件的求精方法对该系统的主要组件进行了求精.

其他文献

可视化语言文法形式化描述综述

可视化是人机交互的主要形式,可视化语言是计算机科学中一个重要研究领域,文法为可视化语言提供了一种有价值的形式化描述方法.本文基于可视化语言的特征,介绍了可视化语言文

期刊

可视化语言文法形式化描述方法综述计算机科学人机交互研究领域形式模型研究内容Visual languagesFormal specifica

ETHs：n-of-N模型下基于指数划分的一种数据流大纲维护算法

数据流大纲的维护对于DSMS非常重要:流数据的实时性、持续性和有序性(即,老化特性)使得查询引擎需要根据实时的概要信息自适应地调整执行计划,保持其执行效率.本文提出一种新

期刊

数据流大纲n-of-N等深指数划分f-N模型维护算法指数时间复杂度空间复杂度Data stream Synopsis n-of-N E

基于城域网的考试系统中系统安全策略研究

本文通过对目前网络智能考试系统在安全方面存在问题的研究,综合VPN技术、网络访问控制技术、数据加密技术、动态链接库技术等,提出了一套实用的系统安全解决策略.对于开发安

期刊

城域网考试系统安全策略网络访问控制技术数据加密技术Exam-system Security Policy

EI内核中TCP状态机约简的研究

在嵌入式Internet(EI)环境中,可以利用的资源十分有限,而要在这种条件下实现Internet接口是很困难的,通常的做法就是扩充系统资源,但是这种方法增加了系统成本,大材小用.而且

期刊

状态机嵌入式INTERNETEI约简原则TCP/IP协议Embedded InternetTCPStale machineReductionW

Groupflow：解决群组成员协作问题的工作流原型系统

实际的业务流程管理中,多组之间的协作日趋频繁.WFMC并没有提及各工作流管理系统间的多组协作.本文提要一个解决群组协作问题的工作流原型系统Groupflow,并介绍基于这个原型

期刊

原型系统工作流管理系统组成业务流程管理群组协作WFMC实用性多组Multi-groupCollaborationWorkflow

形式化与可视化相结合的软件体系结构描述方法研究

其他学术论文