描述实时系统需求的模型.pdf

文档介绍：万方数据
描述实时系统需求的模型敏应毋国庆杨捷王时2其中瑂，∈琫∈可为空为布尔表小型微型计算机系统摘要；本文提出一个描述实时系统需求的模型．在这个模型中，层班式有穷状态机被表示成规则和模板的形式．且一个模板对应于一个状态机．由于与状态机相关的规删和信息可被写入到模板中，故用此模型写出的需求规格说明书可l(实时系统的需求是比较复杂和严格的，故要建立实时系统的需求描述模型也是一件比较困难的工作．实时系统的主奔湎拗疲赫饕K稻嵬獠看蘝敲与系统响应之间的时(FsM)在与状态分层和表格符号等技术相结台后，可适用于描述实的需求描述模型和语言有．”，完善之中与现有的研究不同，我们的模型是基于层次式FsM本节将详细介绍如何使用规则和模板来构成描述实时系首先，我们来定义基于规则的层次式以下简称pBe(att(e)){sWhens!s{s}令淖咏诘慵衔粄，22420014MINIMICROl0001浜捍笱砑こ坦抑氐闶笛槭液蔽浜湟榇笱Ъ扑慊蒲岛蔽浜由多个模板组成．而且易于理解和阅读．最后，本置也讨论了此模型的特点．关键词：需求工程，需求规格说明，实时系统分类号：A软件开发的需求阶段首先是调查和了解用户的需求，然)求要特点是必须在规定的时间内使计算机系统能有效地管理某些被控制的对象．有关实时系统的描述和分析通常涉及三个方面的内容：(1)刺激以及哪些刺激，态关系(3)些内容和以往的研究来看，基于状态转换和事件驱动的模型FSMFsM进FsM“褪粜曰腇模型”’等．这些典型的模型和语言FsM模山桓霾愦问紽转换戚一组规则集，并且使可由多个模板组成，并且模板内记录了与状态机相关的信息和相应的规则．统需求的需求描述模型．模型的基础．定义】是一个多元式，珹，琍，，≤，f|)sss一的初始状态．EEEUEE1是系统内部事件的集台．菏录粜缘募希甐eE(att(e)Att)a(e)eF算的公式和函数的集合．PpP达式，其值为現瓼对应于一组计算公式和函数．规则暮逦#旱眘．是当前状态时，如econdEF+≤：状态集合系钠蚬叵担霉叵的馨裺中的状态定结构．令瑈∈瑇≤庵竬是纳喜阕刺騳x瑈∈珄yxy(z))收稿日期：——基金项目；国家自然科学基金，高等学校博士学科点专项科研基金和教育帮重点项目的赘助作者简介：毋国庆，教授·博士生导师，主委研究方向蒉求工程和知识工程．橱捷，硕士生．主要研究方向软件工程．王敏，硕士生，主要研究方向需求工程应时．博士．剐教授，主要研究方向软件工程和软件部件化．220(2001)04047206Voi22ND4
万方数据
为表达关系“≤”和“”，我们可用如下弼个规璺来表示形式庵福谡Ｇ榭鱿恻如⋯胤在各子收态结束分懈规鳓有两种形式：形式庵冈谔厥馇榭鱿如处于并行中的某子系统出错并影响捌整个系统蹦秤谧刺牡鼻白刺猻，且事es-P(gAttF=tl(1)统名，区别在于当本模块为根横板时，模板名为系统名，否则(3)}②相关的外部环境部件名或模板名或模板名．状态名@()(4)((5)况下，本模板将从初始状态并始进行状态转换．对于根模板，4层模板定义的属性和变元值．式发生冲突．为简单起见，在函数或公式表示中可使甩某些结构化的控制语句如玎⋯⋯．瑄Ⅱ等和伪码．状态转换规则和语义计算规则．用户输入的状态图被转换为规则集后保存，并且从规则集也可转换为状态图显示功能说明用文字说明本模板对应的功能．