文档介绍：』虹.,:琭,,,.疭甇瑃..,,,..基于的问交芯琤,.
图表目录图系统建模语言中的图形分类⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯:⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯.图畆模块的具体语法⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯..:⋯⋯⋯⋯⋯.图防滑刹车系统的模块定义图⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯:⋯⋯⋯⋯⋯⋯⋯⋯图发动汽车的简单的黑盒顺序图⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯.图发动汽车的简单的白盒顺序图⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯.图远裨被低车乃承蛲肌表DP吞逑到峁埂图模块定义图的具体语法⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯图内部模块图的具体语法⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯.图反锁控制器的内部模块图⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯。图自动柜员机系统的需求模型⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯.:⋯⋯⋯⋯图自动柜员机系统的模块定义图⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯.内蒙古大学硕士学位论文
指导教师签名:至盛翌。堡客瑟霆酪￡弦螽戡原创性声明在学期间研究成果使用说明书本入声明:所呈交的论文是本人在导师指导下进行的研究工作及取得的研究成果。除了文中特别加以标注和致谢中所罗列的内容以外,论文中不包含其他人已经发表或撰写过的研究成果,也不包含为获得内蒙吉大学及其他教育桃构的学位或证书而使用过的材料。与我一同工作的同志对本研究所做的任何贡献均己在学位论文俸者签名:内蒙古大学研究生在校攻读学位期间论文工作的知识产权单位属内蒙古大学。学校有权保留并向豳家有关部门或机构送交论文的复印侔和磁盘,允许学位论文被查阅和借阅;学校可以公布学位论文的全部或部分内容,可以允许采用影印、缩印或其它复制手段保存、汇编学位论文。д呓窈笫褂蒙婕霸谘诩渲饕Q芯磕容或研究成果,须征得内蒙古大学就读期间导师的同意;若用于发表论文,版权单位必须署名为内蒙古大学方可投稿或公开发表。指导教师签名:论文中作了明确的说暖并表示了谢意。日期:本学位论文д咄耆私饽诿杉4笱в泄乇A艉褪褂醚宦畚牡撵ǎ铮学位论文作者签名:爵
第一章绪论弟一早硒形背景介绍目前,系统工程师使用的建模语言、工具和技术种类很多,如行为图、于缺乏智孔车摹氨曜嫉摹苯S镅院徒9ぞ撸佣拗屏讼低彻こ淌推渌Э浦的实际需要,国际系统工程学会象管理组织础上,提出一种新的系统建模语言——的标准建模语言【俊:蚒用来统一软件工程中使用的建模语言一样,哪康氖统一系统工程中使用的建模语言。的通用的图形化建模语言,用于由软硬件、数据和人综合而成的复杂系统的集成体系结构说明、分析、设计及校验。丫晌狾的标准,其优势主要体现在可以使用单一的集成的表示法来对系统工程的多个方面进行建模,但是,泊嬖诓簧傥侍猓其是它缺乏一个精确的形式化的语义,这使得对一个P偷睦斫饪赡芑嵊衅缫澹涣一方面,在用杌娴南低彻こ滩煌矫娴母髦帜P椭湟踩菀状嬖诓灰恢滦裕虼随着建模语言的发展,建模语言的语义研究成为一个新兴的领域,在用!⒛型转换以及提高模型的精确性和一致性方面,已有一些专家、学者做了大量的工作。设计演算与部分P徒岷掀鹄矗籄热私ú糠諹模型形式化籏和等人将部分油加成涞叫问接镅訸,并用以描述面向对象的设计模式【。他们的工作为在煊蛑薪邢喙匮芯康於嘶 1疚恼窃谇叭搜芯康幕∩希使用一种具有面向对象特征的形式化规格说明语言统模型能够满足形式化规约的要求。等,这些建模方法使用的符号和语义不同,彼此之间不能互操作和重用。系统工程正是由关于系统需求和设计的有效通信,影响了系统工程过程的质量和效率。┱沟幕魑O低彻こ荱在系统工程应用领域的延续和扩展,是近年提出的系统体系结构设计难以实现逐步求精的开发过程,难以对模型进行分析以保证其正确性。和分析并评价了用H砑逑到峁沟姆绞接胄阅堋籔等人将程序,来对牟糠衷DP徒行问交枋觯沟梅治鋈嗽崩肧建立的系内蒙古大学硕士学位论文
研究目标研究意义论文框架馓子镅怨娣对诿嫦蚨韵蠓治觥⑸杓粕鲜羌溆判愕目墒踊S镅裕藕兜目前,在我国,对难芯炕勾τ谄鸩浇锥危云湓DP图捌湫问交难芯炕勾于空白,只是在局部领域内积累了一些经验,并没有形成成熟的形式化描述方法。所以,,对DP偷男问交饕J嵌阅?槎ㄒ逋肌⒛诓磕?橥己退承蛲嫉男问交⒃诖嘶础上给出了男枨竽P秃蜕杓颇P偷膔娣缎问剑岢隽艘桓雎鄱闲缘腟的语义模型。本文的工作实际上建立了一种从图形加文字的非形式化模型到具有数学基础的形式化模型的映射,在此基础上,可以进一步进行暾P陀胄餍跃ɑ难芯浚作者愿意在这方面做出有益的探索,为后续的研究工作做出一些贡献。虽然我国在问交矫娴难芯肯喽猿墒欤ň菸颐撬#负趺挥泄赜赟形式化研究方面的工作,所以非常需要有问交》矫娴难芯康某鱿帧1究翁舛的精化计算将被用来