【摘 要】
:
UML(统一建模语言)是一种适用于软件系统开发的图形化语言,它功能强大且易于表达。为了方便对正在进行开发的软件系统进行建模和分析,UML定义了多种描述系统的图来满足不同需求。其中,顺序图被广泛用于对象间以时间为顺序进行交互。然而,顺序图作为半形式化模型,无法对系统进行精准的分析与验证。顺序图的形式化描述及其形式语义是一个热点问题,特别是关于推理顺序图的分解和组合方面的研究还不够完善。目前,关于顺序
论文部分内容阅读
UML(统一建模语言)是一种适用于软件系统开发的图形化语言,它功能强大且易于表达。为了方便对正在进行开发的软件系统进行建模和分析,UML定义了多种描述系统的图来满足不同需求。其中,顺序图被广泛用于对象间以时间为顺序进行交互。然而,顺序图作为半形式化模型,无法对系统进行精准的分析与验证。顺序图的形式化描述及其形式语义是一个热点问题,特别是关于推理顺序图的分解和组合方面的研究还不够完善。目前,关于顺序图的形式语义的工作难以处理UML2.0复杂的组合片段,本文提出了基于事件的形式化语义,有效的解决了顺序图中的组合片段的形式化问题;讨论了基于移动性的通信建模问题,并提出了统一移动性与通信的统一建模方法;基于事件的形式语义,本文给出了新的顺序图分解与组合方法。本文的分解与组合方法是将全局顺序图分解成全局子顺序图,全局子顺序图可以组合成更大的全局子顺序图或全局顺序图,不需要考虑消息的同步通信、异步通信和广播通信等机制,只要使用类似“并”的组合操作即可。本文先形式化定义了顺序图,然后将顺序图转换成依赖结构,接着讨论了统一移动性和通信建模方法,最后基于依赖结构提出了顺序图的分解与组合理论。本文用一个案例来说明上述结论的可行性。
其他文献
谷氨酰胺果糖-6-磷酸酰胺转移酶(Glutamine:fructose-6-phosphate amidotransferase,GFAT)是己糖胺生物合成途径的限速酶,主要位于胞质内,在不同物种间较为保守。己糖胺合成
膨胀土边坡坍滑问题一直困扰着相关地区工程建设,大气干湿循环作用下,膨胀土地区经常会发生滑坡等地质灾害。针对膨胀土地区膨胀土抗剪强度特性相关研究已经有许多进展和突破
催化裂化在我国石油炼制工业中起到了举足轻重的作用;研究和工业应用表明,传统催化裂化提升管混合进料段内油、剂实际流动状况与理想条件存在明显差异。中国石油大学(北京)提
催化裂化是我国石油炼制工业中最重要的二次加工过程。提升管进料段作为油剂初始接触区域,其内两相流动、混合特性对裂化反应的产品收率和分布具有重要的影响。研究表明,压力
21世纪水资源问题成为世界的关键性问题,寻找合理使用和循环利用水资源的方法迫在眉睫。通常人类所饮用的水并非单质而是混合物,含有各种离子,而当所饮用的水中某些有害离子
宇宙演化过程中,氧元素的合成一直是核天体物理领域关心的问题。氧元素作为生命构成的基本元素,对其在星际环境中的合成和丰度的研究对探究地球上生命的起源与演化都有着极大
金属蛋白(Metalloproteins)是生物必需的大分子,在维持结构稳定、化学信号传递和催化代谢等方面起到重要的作用。蛋白质的理性设计(Rational design)是揭示决定蛋白质结构与功能的有用工具。血红素蛋白(Hemoproteins)在金属蛋白中有举足轻重的地位,我们选择了具有代表性的肌红蛋白(Myoglobin,Mb)作为研究对象,探究蛋白质的结构-性质-反应-功能(Structu
温室气体的大量排放,使得全球变暖的进程不断加快,同时也影响着全球的水循环过程,也加快了冰川的融化速度。冰川融化退缩后会形成大量原生裸地,为微生物和先锋植物提供生存空
本文主要研究J-半clean环,(强)π-半clean环和(强)JGR-clean环,考虑了它们的一些性质和扩张.首先,引入了 J-半clean环的概念,说明了 J-半clean环是clean环,主要得到了:(1)J-半clean环的有限直积仍是J-半clean环;(2)J 半clean环是弱abel的、直有限的且有稳定度1.其次,引入了(强)π-半clean环的概念,研究了(强)π-半clean
数字签名是保证数据安全的核心技术之一,可提供数据内容的完整性和数据源的真实性检测。尽管普通数字签名方案能满足数据认证的基本要求,但是也阻碍了签名持有者对已签名数据的合理操作。可截取签名的出现解决了这一问题。相比普通数字签名,可截取签名最大的优势在于支持删除操作,且不需要私钥即可通过初始数据和初始签名计算出新的数字签名,证实所保留数据的真实性。但是目前的可截取签名设计方法还不丰富,且部分可截取签名所