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

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

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

4.
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)作为基本描述单元.代理机构由通讯进程和相应的包块构成,包块处理对象封装,进程处理通讯.从而能更方便地刻画动画过程中的复杂、多层次的角色(包括父子角色)的运动特征及多角色之间的同步协调关系,并且在统一的逻辑框架下实现了计算机动画中运动对象的行为抽象和运动的抽象描述,更具一般性.  相似文献   

5.
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用逐步求精方法进行程序设计的交互式的图形环境,每步均可由图形程序自动生成时序逻辑形式的程序。  相似文献   

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

7.
软件体系结构建模研究   总被引:38,自引:3,他引:38  
周莹新  艾波 《软件学报》1998,9(11):866-872
提出了软件体系结构工程的概念,建立了软件体系结构的生命周期模型并对软件体系结构进行了分类和建模,介绍了几种典型的软件体系结构语言,提出了一个基于时序逻辑的形式化体系结构语言-XYZ/SAE.该语言可作为系列化时序逻辑语言族XYZ/E的子语言,支持对软件体系结构可的构件,连接件和配置的描述,并可在统一的框架下描述软件体系的结构静态行为和动态行为。  相似文献   

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

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

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

11.
基于时序逻辑的软件体系结构描述语言XYZ/ADL   总被引:26,自引:1,他引:26       下载免费PDF全文
朱雪阳  唐稚松 《软件学报》2003,14(4):713-720
  相似文献   

12.
UML2.0类图的一种形式化描述方法   总被引:5,自引:0,他引:5  
UML类图是根据系统中的类,以及各个类之间的关系来描述系统的静态视图。基于UML缺乏精确语义描述的不足,我们提出了基于时序逻辑语言XYZ/E来表示类图形式化语义的方法。通过对UML2.0类图元素及其特点的分析,找出类图元素的形式化描述规则,利用转换法实现了对UML2.0类图的XYZ/E形式化描述。  相似文献   

13.
本文提出了将可视化建模语言UML和时序逻辑语言XYZ/E相结合来描述软件体系结构的方法。首先给出了该方法的基本框架,然后对XYZ/E进行扩展,使之能够显式地表示软件体系结构的基本元素,并定义了UML活动图的形式语义,最后,通过银行ATM实例进一步说明了该方法的可行性,对可视化和形式化相结合描述软件体系结构的研究具有一定的推动作用。  相似文献   

14.
闫安  唐稚松 《软件学报》2000,11(6):711-719
XYZ/E是一个时序逻辑系统,同时也是一种时序逻辑程序设计语言。XYZ/E能够在统一的框架下表示高层和低层的描述,所以便于软件系统的描述与实现。该文对基于XYZ/E的蒸气锅炉问题进行了描述与实现,并介绍了为该问题实现的图形用户界面.  相似文献   

15.
基于XYZ/E的混成系统   总被引:3,自引:0,他引:3  
混成系统是由计算机和物理设备组成的嵌入式实时计算系统.它允许在交互式实时系统中引入连续变化的单元.XYZ/E 是基于Manna-Pnueli的线性时序逻辑的程序设计语言.它将程序的动态语义与静态语义统一在同一框架中,支持从抽象的程序规范到可执行代码的逐步求精的全过程.该文使用XYZ/E语言描述和验证混成系统.首先介绍了计算模型,然后介绍了XYZ语言对混成系统的形式化描述,最后介绍了混成系统的验证.与同类工作相比,XYZ/E支持状态转换,从而可以方便地描述复杂的控制算法.  相似文献   

16.
体系结构设计在软件开发过程中扮演着重要角色.工程中常用图形语言为软件体系结构建模,它们有直观、半形式化的优点;但是语义不够精确,难以对它们表示的模型进行分析,在这方面,形式化方法可与之互补.但在工程使用中仅用形式化语言建模又不太现实,所以如何结合二者之长以提高软件的可靠性已成为工业界和学术界共同关心的问题.提出了双重软件体系结构描述框架XYZ/ADL:支持工程中软件体系结构的基本概念,前端用一般的体系结构框图作为结构描述,用UML活动图、状态图作为抽象行为表示;后端用既可表示系统动态语义又可表示系统静态语义的时序逻辑语言XYZ/E作为一致的语义基础.前端的图形语言便于软件工程师的交流和使用,后端的形式语言是进一步的形式化分析验证的基础.  相似文献   

17.
一种基于UPPAAL的Web服务组合模型检测方法   总被引:1,自引:1,他引:0  
何亚丽  戎玫  张广泉 《计算机科学》2010,37(11):122-125
Web服务组合的正确性验证对提高软件开发效率、实现服务增值具有重要意义。为从高层抽象层次研究Web服务组合的正确性及其形式化验证方法,考虑到Web服务组合中的实时特征,在采用软件体系结构描述语言XYG/ADL对Web服务组合进行描述的基础上,将其实时描述部分XYZ/RE转换至时间自动机模型,组合后系统应满足的性质用分支时序逻辑CTL公式表示,最后应用模型检测工具UPPAAL实现了Web服务组合正确性的自动化验证。  相似文献   

18.
网络中心化仿真运行支撑平台体系结构是为了满足动态构建仿真任务共同体而提出的相应支撑环境。采用基于XYZ/ADL的双重软件体系结构描述框架,分别从图形语言和形式语言对仿真运行支撑平台体系结构进行了描述并对仿真任务共同体构建中仿真核心服务层实施了分解与逐步求精。该体系结构描述方法不但从可视化角度表示了仿真运行支撑平台体系结构框图及行为抽象,还从形式化角度验证了体系结构设计的正确性和完整性。该研究是形式化描述方法在军事领域的全新尝试,为仿真运行支撑平台服务的合成与重用机制提供了形式化的理论指导。  相似文献   

19.
可视化体系结构描述语言XYZ/ADL   总被引:31,自引:3,他引:28  
骆华俊  唐稚松  郑建丹 《软件学报》2000,11(8):1024-1029
  相似文献   

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

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