扩展UML用于实时系统建模

来源 :广东工业大学 | 被引量 : 11次 | 上传用户:seraphim
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
实时系统的范围正在变得越来越广泛。国防、航天、航空、计算机集成制造、电信、工业控制、火车、地铁、卫星轨道控制、机器人控制、股票交易等都是实时系统的应用领域。 实时系统是复杂的,一个实时任务不能在截止时间内完成就有可能造成整个系统的崩溃。这就给实时系统的设计人员带来了难题。要正确的设计出一个实时系统,就要在分析实时系统的早期给出实时系统的正确模型。统一建模语言UML正是用来对复杂系统进行建模的。UML是一种对软件密集型系统的制品进行可视化,详述,构造,文档化的语言。但是不管是之前的UML1.4还是现在的UML2.0版本,都存在着实时依赖的缺陷。系统行为方面的建模是由交互图(顺序图和协作图)和状态图所支持的。实时方面的行为可以用时间约束来描述。然而UML缺乏精确的,形式化的语义。 Esterel是一种用于同步反应式系统编程的形式化语言。它是一种具有精确定义的数学语义的语言。本文的主要工作就是把Esterel和UML的状态图以及顺序图结合的方式来扩展UML,用Esterel程序实现状态图和顺序图。并且对实现状态图和顺序图的Esterel程序通过工具进行了模拟,以证实用Esterel程序可以来替代UML中的状态图以及顺序图来对系统的行为方面作描述。相对于状态图和顺序图而言,Esterel程序具有更精确的语义并且能通过相应的工具对其进行形式化的验证。 首先,讨论了实时系统的一些概念以及其建模的基本要求,以及常用的CASE工具。 然后,讨论了统一建模语言UML的特点及其扩展机制,还有UML的最新版本UML2.0所带来的一些新的特征,并通过UML2.0来对一个例子来进行建模。还分析了UML2.0在实时依赖上的缺点。 接着,讨论了命令式同步语言Esterel的特点,几个常用的语句及Esterel的编程风格。 最后,把形式化语言Esterel和UML的状态图以及顺序图结合的方式来扩
其他文献
机器人足球是一个极富挑战性的高技术密集型项目,其研究内容包括智能感知、智能思维、智能学习和智能行为等方面,同时也是机器人足球比赛的竞争焦点。而这些内容又正是人工智能
为了满足地理信息系统等应用系统对高带宽、低延迟的廉价海量存储网络系统的巨大需求,基于VIA(Virtual Interface Architecture)通信协议和以太网技术的VISA(Virtual Interface S
近十几年来,随着信息技术的发展,人们产生和收集数据的能力越来越高,我们身边不断产生着各种各样的数据,我们已经淹没在了数据和信息的汪洋大海中。作为大规模数据处理和决策支持
以总完工时间为目标的无等待流水车间调度问题是一个重要的制造加工系统,广泛应用于工业生产中。无等待问题是流水车间调度中的一种,是一类典型的NP完全问题,已被证明在多项
播存网络中,广播源点基于网络用户行为的无尺度现象,聚类整合互联网热门信息内容,对热门信息内容进行UCL(Uniform Content Label)信息标引并通过广播分发将热门信息内容的UCL和
现如今,Web上的数据以无法想象的规模在迅速的增大,对这些数据进行挖掘可以得到很多重要信息。本文对创新知识云平台所生成的Web日志进行挖掘可以有效的了解客户的需求,掌握
随着网络通信技术不断完善和社会信息化程度不断提高,分布式的管理信息系统的应用技术取得了长足进步。与此同时,国内高校办学规模正在迅速扩大,高校教学管理工作量随之大幅增加
随着互联网的发展,网络上的信息越来越多,传统的搜索引擎已经不能满足用户个性化的信息需求,推荐系统的出现就是要将用户从大量的信息中解脱出来,快速准确的将用户感兴趣的内容推
近年来,随着数据仓库在商业运作中的日益广泛的应用,联机分析处理(0LAP,0n一1ineAnalyticalProcessing)作为数据仓库系统的核心组成部分,越来越受到人们的重视,引发了0LAP技术的研
互联网已经进入多媒体通信时代,流媒体作为一种多媒体传输技术,正逐渐成为互联网的主流应用。但传统的基于C/S模式的流媒体系统存在服务能力瓶颈,很难适应大规模的流媒体应用