一种对混合系统进行高层系统需求分析并建立计算模型的方法.pdfVIP

一 种对混合系统进行高层系统需求分析并建立计算模型的方法 一 种对混合系统进行高层系统需求分析 并建立计算模型的方法 贺 阅． 唐宁九 (四川大学计算机学院，成都6l0065) 摘 要：本文提出了一种对混合系统进行高层系统需求分析并建立计算模型的方法。文中不仅使用了场景和顺序图来提 炼和描述混合系统中的离散事件通信，还为系统中的每个过程或构件提供了自动构建高层计算模型的方法。 关键词：卷标转移系统；高层信息流图；顺序图 中图分类号：TP302 文献标识码：A 文章编号：1817—0633(2008)06—0049—02 An Approach to Conducting IIigh-Level System Requirement Analysis and Constructing Computation Model of the Hybrid Systems HE Yue，TANG Ling—ji (School of Computer Science，Sichuan University，Chendu 610065) Abstract：This paper presents all approach to conducting high—level system requi rement analysis and constructing computing model for hybrid systems．The paper not only uses the scenarios and the message sequence charts to abstract and describe discrete event communication of the hybrid system but also provides the algorithms and methods to automatically constructi ng the high—level computing modd for each processes or components of the system． Keywords：Volume-labded Transfer System；High-level Information Flowchart：Message Sequence Charts 0前言 互在语义上就可用一组事件执行序列来表示。其中，每一个事件序 混合系统(Hybrid System)是数字构件和模拟构件以及一定数量 列就是这个多重偏序事件集的一个线性化。为了避免计算上的复 切换开关的有机组合。该系统特别适用于分布式嵌入控制系统的分 杂性，可在系统需求分析阶段将同步通讯作为异步通讯的抽象，在 析和设计。智能交通系统、机器人系统、自动化生产线等当今最重要 系统实现阶段再处理异步通讯的实现。 的系统都是混合系统。由于这些系统对安全I生要求极高，因此采用形 由于一个基本顺序图所传递的信息太少，所以需要把一组基 式化的方法对混合系统进行系统需求分析十分必要。本文提出了一 本J顷序图以恰当的方式组合起来来表达系统的复杂行为。为此可使 种对混合系统进行高层系统需求分析并建立计算模型的方法。 用高层顺序图，高层顺序图是一个有向图，它的每一个结点代表一 个基本顺序图。一组基本顺序图可以使用顺序、选择、重复等图形连 1使用场景和顺序 1】等提炼和描述混合系统中的 接符号相连接后在高层顺序图中表示为结点之间的有向边集。