【摘 要】
：
统一建模语言（UML）是目前广泛使用的一种面向对象建模语言，其图形化，半形式化的特点，使其缺乏精确的语义描述，模型之间容易出现不一致问题，因此，UML 类图的形式化问题尤为重要．common
【机 构】
：
云南民族大学 数学与计算机科学学院, 云南民族大学 云南省高校物联网应用技术重点实验室
论文部分内容阅读
统一建模语言（UML）是目前广泛使用的一种面向对象建模语言，其图形化，半形式化的特点，使其缺乏精确的语义描述，模型之间容易出现不一致问题，因此，UML 类图的形式化问题尤为重要．common logic 是一阶逻辑的一个特殊拓展，语法简洁，无符号，易读易掌握易使用，语义精确，满足一阶模型理论，相较于其它逻辑语言，更适合 UML 类图进行形式化规约．因此，提出采用 common logic 对 UML 类图进行形式化，得到形式化的语义规约，并对实例模型进行一致性验证．
其他文献
中非发展基金是根据我国中央政府的要求成立的一家私募基金．专注于对非洲的投资。其宗旨是鼓励和支持更多的中国企业到非洲投资。近日，中非发展基金与中国建材联合会进行了一次
目的 对社区儿童保健中婴幼儿行为发育的保健需求进行陈述与分析,以保证婴幼儿行为发育的正常发展.方法 选取2012年1月--3月到我院进行儿童保健体检的社区婴幼儿120例,将其随
目的 对社区老年人群高血压健康教育干预效果进行分析.方法 随机选取2010年5月2011年5月期间的老年高血压人员130例,在患者同意情况下随机分为对照组和观察组,每组各有65例老
目的 探讨硫酸沙丁胺醇雾化吸入在慢性阻塞性肺疾病(COPD)急性加重期的治疗效果.方法 选择COPD急性加重期患者86例为观察对象,按就诊顺序随机分为实验组和对照组,每组43例.实
在临床工作中,儿科用药精细,医嘱用药常常不是整支使用,需要准确计算,稀释法麻烦费时,大大加剧了护士的工作量,自2010年-2012年我科总结了一种简便实用的药物计算方法,现介绍
目的：探讨在胃镜插管的同时，辅助“提起下颔”的操作在胃镜检查困难插管患者中的有效性。方法：将接受普通胃镜检查有鼻咽癌放疗后颈部肌肉僵硬的80名患者，随机分成对照组和实验组
目的：探讨缩肛运动对产妇产后痔病的有效治疗方案。方法：204例患不同程度痔病的产妇，进行缩肛运动配合科学饮食和合理生活方式的综合干预方案，观察做3个月和不做的患者肛门坠胀感
随着医学模式的转变及预防医学的发展，疾病的预防策略发生相应变化，与之而来的是亟需转变基层免疫规划的工作模式，提高疾控机构实施免疫规划的工作能力，促进流动儿童免疫接种综合
目的：探讨腰脊神经后支射频热凝治疗腰部软组织疼痛的临床疗效。方法：选择腰部软组织疼痛的患者180例，随机分为 A 组（实验组,n=90)，B组（对照组,n=90)；。A 组患者在 CT 直视下行疼痛
目的：研究暗娼人群艾滋病高危行为变化趋势，为预防控制艾滋病提供决策依据。方法：采取整群随机抽样方法抽样，进行面对面无关联匿名问卷调查。结果：共调查2029人，暗娼年龄趋于年轻化