云彩店邀请码|半壳|优胜
保守的真实性模子(RBD、FT、Markov等)及关系灵验算法已获得了运用和拓展,但那些模子却生存着共同的题目:真实性模子与体例构造、功效道理之间存有明显分别,没辙实行与产物功效模子的消息共享与同步;模子品种搀杂百般且建立进程过渡依附人为,没辙保护模子的普遍性和精确性,倒霉于模子的领会评介与窜改保护。这类题目使得面向搀杂体例的真实性处事发展变得繁忙和低效。对准上述题目的提出,正文以搀杂体例研制进程机动建立模型及评介本领为接洽目的,在功效与真实性一体化思维的普通上,经过自设置通用真实性建立模型谈话GRML及关系模子变换本领的提出,实行了由产物一致模子到保守真实性模子的机动变换进程。作品开始按照体例的功效道理从需要、构造和动作的观点建立鉴于SysML谈话的功效与真实性一致模子,处置了产物真实性与功效安排的摆脱题目;其次自设置了一种通用真实性建立模型谈话GRML并给出模子编写翻译算法,实行了保守真实性模子的机动建立本领,处置了保守真实性模子建立不普遍的困难;而后以XMI属性领会本领为普通面向SysML和GRML谈话建立元素映照联系,创造了一致模子到通用真实性模子的映照体制,并以QVT谈话对映照联系举行图形化与情势化刻画,归纳并提炼了面向元模子的变换准则,实行了一致模子到通用真实性模子的变换;结果以燃油体例为接洽东西发展一致模子建立模型、通用真实性模子变换和保守真实性模子领会处事,并考证所有表面体制的可行性。正文以通用真实性模子建立为本领中心,以模子变换的办法实行了功效与真实性一致模子到保守真实性模子的机动建立进程,创造了鉴于元模子的模子建立、模子领会、模子变换的表面本领体制。这种功效与真实性一体化建立模型本领及模子变换本领,实行了功效与真实性安排的灵验贯串,普及了模子的建立速率和品质,处置了搀杂体例保守真实性领会处事低效的题目。
来源:半壳优胜鲸鱼幸运星转载请保留出处和链接!
本文链接:http://87cpy.com/283902.html
本站部分内容来源网络如有侵权请联系删除