收藏本站
收藏 | 投稿 | 手机打开
二维码
手机客户端打开本文

基于时序逻辑的软件体系结构描述语言XYZ/ADL

朱雪阳  唐稚松  
【摘要】:体系结构描述语言(architecture description language,简称ADL)是基于体系结构的软件开发的基础,便于表示求精的ADL,使得好的设计能够方便地导出好的实现.时序逻辑语言XYZ/E可在统一的逻辑框架下既表示静态语义又表示动态语义,因而基于XYZ/E的体系结构描述语言XYZ/ADL支持从高层级体系结构到低层级体系结构之间的逐步过渡.系统地阐述了XYZ/ADL的概念框架并用XYZ/E进行语义解释,介绍了如何用XYZ/ADL描述体系结构和体系结构风格.

知网文化
【相似文献】
中国期刊全文数据库 前20条
1 林晓云;;我国地方档案信息化标准规范研究略述[J];办公自动化;2011年16期
2 亚森·伊明;;基于国际标准编码系统的维吾尔文拉丁文转写规则研究[J];信息技术与标准化;2011年06期
3 李惠;;企业档案信息化标准规范研究情况综述[J];办公自动化;2011年16期
4 俞黎敏;;Tomcat 7发布[J];程序员;2010年07期
5 吴骅鸣;盛军杰;张祖辉;;CAESAR Ⅱ软件中使用GB标准管道材料存在的问题和处理措施[J];电力勘测设计;2011年03期
6 夏健爽;李忠;施昆;卢作英;;基于OpenGIS规范的空间参考系统组件的设计与实现[J];安徽农业科学;2011年21期
7 王素珍;王军永;王力;;现代信息技术在药品流通领域的应用研究[J];中国卫生经济;2011年07期
8 罗丹;;试析企业安全发展文化建设的功能[J];河南商业高等专科学校学报;2011年04期
9 薛鹏;沈安厦;;做好会计电算化工作的十点建议[J];预算管理与会计;2002年02期
10 王志军;;一键实现自动复制和重命名[J];电脑爱好者;2011年04期
11 尹宝君;范宏;;如何规范档案信息化管理[J];科技创新导报;2011年20期
12 刘颖;;企业信息化解决方案-基于开源项目的会议室预定系统[J];福建电脑;2011年06期
13 胡艮胜;包战;颜羡卿;;一种基于XML Schema的仿真资源元数据管理方法[J];系统仿真学报;2011年S1期
14 李茜茹;邱述威;张霖;;基于J2ME的3D手机迷宫游戏的设计与实现[J];电脑知识与技术;2011年23期
15 ;开目与兰石国民油井公司签署合作协议[J];CAD/CAM与制造业信息化;2011年08期
16 王春华;;如何规范我国会计信息化安全管理之我见[J];新会计;2011年08期
17 童云燕;卢德林;周延锁;;浅谈物料编码在ERP实施中的重要性[J];机械工业标准化与质量;2011年07期
18 邹治军;;VB6.0编程客户端访问组态王OPC服务器的实现方法[J];武汉船舶职业技术学院学报;2011年03期
19 赵华伟;;以业务流程的教务系统为例浅析高校文档的管理一体化[J];科技信息;2011年17期
20 侯乐鹃;;会计电算化对企业内部控制审计的影响及对策[J];财会研究;2011年14期
中国重要会议论文全文数据库 前6条
1 曾朴;杜中军;;多层分布式系统与Jaguar CTS应用[A];科技编辑出版研究文集(第七集)[C];2003年
2 杭桂生;刘春林;;对《中国学术期刊(光盘版)检索与评价数据规范》的几点看法[A];学报编辑论丛(第八集)[C];1999年
3 郑利平;刘晓平;;仿真VV&A标准综述[A];计算机技术与应用进展——全国第17届计算机科学与技术应用(CACIS)学术会议论文集(上册)[C];2006年
4 刘铁英;张小白;叶慧玲;;利用Word软件提高编辑效率[A];学报编辑论丛(第十五集)[C];2007年
5 谢法奎;张全;袁毅;;基于HNC理论的语义标注语料库[A];内容计算的研究与应用前沿——第九届全国计算语言学学术会议论文集[C];2007年
6 王润清;;共建、共享,打造规范、实用的教育教学资源库——谈区域教育教学资源库的建设[A];江苏省教育学会2006年年会论文集(理科专辑)[C];2006年
中国硕士学位论文全文数据库 前10条
1 胡智勇;基于J2EE平台的工作流引擎的研究与应用[D];合肥工业大学;2005年
2 姜燕;图书馆信息资源数字化建设规范框架研究[D];郑州大学;2006年
3 何开荣;茂名电网继电保护及故障信息管理系统的应用研究[D];华北电力大学(河北);2007年
4 楼向红;论网络语言对语言教学的影响[D];云南师范大学;2006年
5 田芳;军事多媒体教材制作规范及其管理工具的设计与实现[D];第四军医大学;2008年
6 魏慧;基于软件体系结构的Web服务组合研究[D];苏州大学;2008年
7 陈枢茜;基于UML和XYZ/ADL的软件体系结构描述及精化研究[D];苏州大学;2007年
8 杨敬中;基于软件体系结构的面向方面建模研究[D];苏州大学;2007年
9 高欣峰;网络社区中学习共同体的构建研究[D];曲阜师范大学;2006年
10 卫锋;基于《教育资源建设技术规范》的电子备课系统的设计与实现[D];华中师范大学;2007年
中国知网广告投放
 快捷付款方式  订购知网充值卡  订购热线  帮助中心
  • 400-819-9993
  • 010-62982499
  • 010-62783978