首页 | 本学科首页   官方微博 | 高级检索  
相似文献
 共查询到20条相似文献,搜索用时 62 毫秒
1.
用XYZ/E语言描述和验证硬件的行为   总被引:6,自引:1,他引:5  
本文考虑用时态逻辑语言XYZ/E描述硬件行为的可行性.作为实例,用XYZ/E语言描述了一个基于微处理器的容错计算机系统,这种描述可以在XYZ系统上执行,从而可对系统进行模拟.特别有意义的是利用XYZ/VERI验证子系统对所期望的性质进行了形式化证明.本文还将XYZ/E描述与相应的VHDL(VHSIChardwaredescriptionlanguage)描述进行了比较.从中可以看出时态逻辑语言的描述具有其独特的优点.  相似文献   

2.
XYZ系统在动画设计中的应用   总被引:5,自引:0,他引:5  
XYZ系统是一套以线形时序逻辑为基础的CASE环境系统,其核心是时序逻辑语言XYZ/E.XYZ/ADL(animationdescriptionlanguage)是XYZ系统在动画领域的应用.马华东博士采用基于时序逻辑的动画描述模型TLAD(temporal-logic-basedanimationdescriptionmodel),提出了动画剧本描述语言(SDL/A).本文介绍的XYZ/ADL语言是以XYZ/E的框架为基础扩充SDL/A而成.它使用XYZ/E中面向对象程序设计的基本结构——代理机构(Agent)作为基本描述单元.代理机构由通讯进程和相应的包块构成,包块处理对象封装,进程处理通讯.从而能更方便地刻画动画过程中的复杂、多层次的角色(包括父子角色)的运动特征及多角色之间的同步协调关系,并且在统一的逻辑框架下实现了计算机动画中运动对象的行为抽象和运动的抽象描述,更具一般性.  相似文献   

3.
XYZ/CFC与XYZ/PAD:图形—文本程序设计环境   总被引:1,自引:0,他引:1       下载免费PDF全文
龚洁  唐若鹰 《软件学报》1994,5(8):37-46
XYZ系统是一个CASE工具系统,它的核心是一个时序逻辑语言XYZ/E.XYZ/E有一基本的表示状态转换的低级形式XYZ/BE(或用于表示并发的XYZ/CE)及一个结构化的高级形式XYZ/SE。它们均有其相应的图形表示,XYZ/CFC与XYZ/PAD是分别以XYZ/BE(或XYZ/CE)及XYZ/SE用逐步求精方法进行程序设计的交互式的图形环境,每步均可由图形程序自动生成时序逻辑形式的程序。  相似文献   

4.
软件过程建模语言研究   总被引:16,自引:3,他引:13  
柳军飞  唐稚松 《软件学报》1996,7(8):449-457
本文介绍了软件过程建模的基本概念,提出了对软件过程建模语言的基本要求并简要介绍了几个有代表性的过程建模语言,给出了一个基于时序逻辑的形式化过程建模语言XYZ/PME,该语言是时序逻辑语言XYZ/E的子语言,它支持以角色为中心的逐步求精的过程建模方法,可在统一的形式框架内表示不同抽象级的过程模型.软件过程,软件过程建模,过程建模语言,时序逻辑,程序设计语言.  相似文献   

5.
XYZ系统是一个CASE工具系统.它的核心是一个时序逻辑语言XYZ/E.XYZ/E有一基本的表示状态转换的低级形式XYZ/BE(或用于表示并发的XYZ/CE)及一个结构化的高级形式XYZ/SE.它们均有其相应的图形表示.XYZ/CFC与XYZ/PAD是分别以XYZ/BE(或XYZ/CE)及XYZ/SE用逐步求精方法进行程序设计的交互式的图形环境.每步均可由图形程序自动生成时序逻辑形式的程序.  相似文献   

6.
龚洁 《软件学报》1996,7(A00):170-177
本文介绍交互式图形工具XYZ/BESE,它能将任意时序逻辑语言XYZ/E的子语言XYZ/BE表示的程序转换成结构化程序,如以XYZ/BE作为中间语言,将将这工具与XYZ与系统中源语言转换系统XYZ/CCSS结合起来,即可将任意其它源语言的程序转换成为结构化程序,本系统是用XYZ/E的交互式图形设计工具XYZ/CFC实现的。结构化转换过程中图形表示,可增加其直观性,使这变换易于理解。  相似文献   

7.
一种面向软件工程的时序逻辑语言   总被引:12,自引:3,他引:9       下载免费PDF全文
唐稚松  赵琛 《软件学报》1994,5(12):1-16
XYZ系统由时序逻辑语言XYZ/E及一组基于该语言的CASE工具集组成.XYZ/E语言的目的是欲使逐步求精,描述及验证、快速原型等一些软件工程方法更加有效.特别地,它还能表示实时通信进程中的动态成分.在统一的框架下,不仅能表示不同层次的抽象描述,而且能表示普通高级语言的各种重要性质.本文是关于这一时序逻辑语言最新、最完整的介绍.  相似文献   

8.
XYZ系统在电信领域中的应用   总被引:2,自引:1,他引:1       下载免费PDF全文
沈武威  唐稚松 《软件学报》1996,7(6):321-330
最近几年,在软件工程界内部有一种趋势,这就是开发以面向具体领域的CASE环境.作为这样的一种CASE工具,XYZ系统是由一时序逻辑语言XYZ/E和一组基于该语言的工具集构成.在XYZ系统中有很多的工具,它们被用来满足不同的需要.众所周知,SDL(specificationanddescriptionlanguage)是电信领域中的一个国际标准语言,而且有关基于该语言的环境已在开发,但是有关该语言的验证工作,特别是利用有关时序逻辑语言进行验证的工作还不多.作为一种尝试,本文将利用XYZ系统中的一个子系统XYZ/VERI,对SDL所描述的有关电信领域中的例子进行验证.  相似文献   

9.
本文简要介绍了可执行规范技术。可执行规范在软件工程过程的早期就能发现错误,随着形式化规范研究的发展,它越来越受到重视。XYZ系统是唐稚松教授提出并领导实现的。该系统的核心是序列化时序逻辑语言(TTL XYZ/E语言),该语言能在同一框架之中表示动态涵义(可执行命令)与静态语义(前后断言规范),并可混合在一程序中出现。用这种混合出现的程序,就能表示出由完全抽象的规范到可有效执行的程序之间平滑过渡的过  相似文献   

10.
动画剧本描述语言SDL/A的设计与实现   总被引:7,自引:2,他引:5       下载免费PDF全文
本文介绍了基于时序逻辑的动画描述模型和基于此模型设计的动画剧本描述语言SDL/A.这种语言具有便于动画设计各个层次的描述、能够描述设计的逐步求精过程、能描述动画中的各种抽象对象以及角色间动作的同步等特点,并易于将这种基本的通用的剧本描述语言集成到一个功能强大的CASE环境-XYZ系统之中.本文主要介绍了SDL/A语言的设计思想和实现技术.  相似文献   

11.
基于UML的软件体系结构建模方法研究   总被引:11,自引:0,他引:11  
模型的有效集成是软件系统建模的关键。然而,通常基于UML的软件系统的四个模型中,从用例分析模型到其它设计模型之间存在一条很难逾越的鸿沟。本文通过引入软件体系结构模型,提出了基于UML的软件体系结构建模方法,进一步完善了软件系统的建模。  相似文献   

12.
本文讨论了模型的视角选择、功能分配原则、如何在运行时按用户的需要改变功能和系统实现的主要方法与特点以及所构成的主要可复用的模块.文章还简要介绍了模型在一个水泥企业实际开发中的具体应用。  相似文献   

13.
面向领域的快速特征造型的设计与实现   总被引:1,自引:0,他引:1  
张宏鑫  陈伟锋  刘华 《计算机应用》2008,28(12):2998-3002
提出了面向领域的快速几何特征造型新方法。受软件工程理论中的“域工程”思想启发,该方法针对特定领域的几何特征造型设计,研究如何将领域知识加以抽象自动化,改良几何造型系统的软件架构设计,优化造型系统的算法设计,从而最终提高特征造型系统的整体效率。基于这一思想方法,讨论并分析了计算机辅助建筑设计中造型的需求,提出了系统实现框架,给出了相应的算法实例。应用实例证明了方法的可用性。  相似文献   

14.
软件体系结构提供了软件系统的高层抽象,对于软件密集型系统的开发具有重要意义,基于体系结构层次的可变性管理可以有效地实现软件的定制和演化。目前体系结构层次的可变性建模并没有得到足够的关注,在分析出领域体系结构后,无法很好地实现体系结构的建模,而且体系结构层次可变性建模方法并没有很好地对可变性的复杂依赖关系进行建模。提出了一种基于多视图的体系结构可变性建模方法,基于UML Profile扩展机制,定义了可变性的构造型、标记值和相关的约束,并利用基于分离的可变性建模方法,定义可变点交互视图对系统中存在的依赖进行建模。基于可变性视图和依赖视图分离的可变性建模方法,实现了复杂依赖关系的有效管理,提高了可变性建模的效果。以船舶故障预测与健康管理系统作为研究案例,对该方法进行了验证,结果表明该方法能够有效地实现软件密集型系统的建模。  相似文献   

15.
This paper describes a prototype Knowledge-Based Software Engineering Environment used to demonstrate the concepts of reuse of software requirements and software architectures. The prototype environment, which is application-domain independent, is used to support the development of domain models and to generate target system specifications from them. The prototype environment consists of an integrated set of commercial-off-the-shelf software tools and custom developed software tools.The concept of reuse is prevalent at several levels of the domain modeling method and prototype environment. The environment itself is domain-independent thereby supporting the specification of diverse application domain models. The domain modeling method specifies a family of systems rather than a single system; features characterize the variations in functional requirements supported by the family and individual family members are specified by the features they are to support. The knowledge-based approach to target system generation provides the rules for generating target system specifications from the domain model; target system specifications, themselves, may be stored in an object repository for subsequent retrieval and reuse.  相似文献   

16.
基于模式的软件体系结构建模   总被引:4,自引:0,他引:4  
文中给出了一种应用程序组件的领域建模方法,将组件静态方面的面向对象建模(类图)、组件行为或功能等动态方面的基于模式的建模(模式实例模型)与代码生成实现技术结合起来。并试图用模式描述组件体系结构风格,指导如何构造和组织一个系统。基于模式的软件体系结构设计方法可在很短的时间内创建各种组件,并通过改变模型中的抽象体系结构特性来满足应用程序中的体系结构要求,因而该方法是切实可行的。  相似文献   

17.
王俊  邵堃  刘磊  刘宗田 《计算机工程》2009,35(22):79-81
基于应用程序功能来划分插件的传统方法不能快速适应可复用的插件设计要求。针对这一问题,提出一种基于领域分析的插件划分方法。该方法采用了多分层插件软件模式,重点突出软件体系结构中的领域层,并运用面向特征的领域建模技术针对插件软件应用系统实现领域特征的共性和个性的划分。通过应用案例证明,该方法可以有效地降低插件模块间的耦合性,提高复用粒度。  相似文献   

18.
本文介绍了浙江大学人工智能研究所在产品造型研究基础上完成的一个面向机械产品设计的实用化计算机辅助设计(CAD)系统ZD-MCADⅡ。首先我们结合实际从事CAD系统的经验提出了一套开发实用化、商品化CAD系统的设计方法学,然后介绍了ZD-MACDⅡ的系统结构以及总体功能,并就某些重要的模块的结构及实现进行了广泛的讨论。  相似文献   

19.
基于Goal-scenario coupling理念,提出了一种基于概念属性的结构化目标描述与识别方法,构造了目标模型,对目标进行了描述和识别,该方法可以与目标驱动的软件体系结构建模方法进行平滑集成,提高了信息系统的开发质量和生产效率。实验结果证明了该方法的有效性。  相似文献   

20.
首先阐述了形式化方法与可视化方法的优缺点,并在此基础上提出软件体系结构形式化与可视化UML互补的建模方法,主要探讨UML和Z结合的建模过程,并用一个系统开发实例进行展示。  相似文献   

设为首页 | 免责声明 | 关于勤云 | 加入收藏

Copyright©北京勤云科技发展有限公司  京ICP备09084417号