浅论casl—ssc一种描述事件驱动系统的casl扩展语言

《浅论casl—ssc一种描述事件驱动系统的casl扩展语言》由会员上传分享，免费在线阅读，更多相关内容在学术论文-天天文库。

1、中山大学硕士学位论文CASL—SSC：一种描述事件驱动系统的CASL扩展语言姓名：郑建华申请学位级别：硕士专业：计算机软件与理论指导教师：周晓聪20070507CASL--SSC：一种规范事件驱动系统的CASL扩展语言专业：计算机软件与理论硕士生：郑建华指导教师：周晓聪副教授摘要CASL是代数规范语言的标准，CASL在表示系统的数据结构方面有很大的优越性，但是用它来描述事件驱动类型系统中事件、事件之『自J的交互以及各种行为状态却显得很困难。本文通过对CASL语言进行扩展得到CASLSSC语言，使它能够处理事件驱动型系统中的动态特性。本文主要的研究工作是：首先用代数规

2、范语言CASL描述事件驱动系统的数据结构；其次以MSC和STATEMATE两种形式化的图形规范语言为基础，融入CASL规范中定义的类型、操作和谓词以及用这些代数逻辑构成的各种表达式，使其能够方便的描述事件驱动系统的交互性；接着综合上述两个方面的描述得到CASL扩展语言CASL广SSC，它既保留代数规范语言的静态描述优势，同时能够描述事件驱动型系统的事件、事件间的先后顺序、事件执行的时机和条件、事件之间的联系、各个事件中具体的状态变化等动态性要求；最后使用CASbSSC描述一个具体的实例。关键词：代数规范，代数规范语言，CASL，CASL．SSC，事件驱动型系统CAS

3、L--SSC：AnExtentiontoCASLforspecifyingEvent-DrivensystemMajor：ComputerScienceName：Jian-huaZhengSupervisor：Xiao—chongZhouABSTRACTCASListhestandardofalgebraicspecificationlanguages,whichhassignificantadvantagesindescriptiondatastructuresofsystems．However,itb&．A3mesverydifficultwhenisusedt

4、odescribeevents,interactionsandactionstatesofevent—drivensystems．CASL-SSC，anextensionofCASL，ispresentedinthispapertodescribethedynamicfeaturesofevent—drivensystems．Thekeyideasofourapproachareasfollows．Firstly,thealgebraicspecificationlanguageCASLisusedtodescribedatastructuxesofevent—dr

5、ivensystems．Then,types，operations,predicatesandexpressions,whichaledefmedebyCASL'areaddedtothebasicMSCandSTATEMATE．Soitcallfacilitatethedescriptionofinteractionsoftheevent—drivensystems．Afterthat，wecouldgettheCASLextendedlanguageCASL-SSCbyintegratingtheprevioustwosteps．TheCASL-SSCpermi

6、tsthespecificationofthestaticpartofaevent—drivensystembymeansofCASLandthed”mIIlicpart，whichincludesevents,thesequencingofevents，thetimingandconditionoftheexecutionofevents，thelinkbetweentheincidentsandstatestransforming,bymeansofthefacilitesdescribedinthispaper．Lastly,thereisanexamplew

7、hichiSdescribedbytheCASL-SSC．KeyWords：AlgebraSpecification，AlgebraSpecificationLaguage，CASL，CASL-SSC，Event—Drivensystemn第1章引言本章首先介绍一些背景知识，包括代数规范理论研究，代数规范语言研究，CASL(ThcCommonalgebraicspecificationLanguage)研究，代数规范语言CASL在事件驱动系统中的应用研究；随后给出CASL的优点和它在解决事件驱动系统中的不足；紧接着给出本文的主要内容、研究方法与意义；最后是论文的