基于动态描述逻辑的UML状态图形式化方法

来源 :计算机工程 | 被引量 : 0次 | 上传用户：haq1227

【摘要】

：

统一建模语言（UML）状态图包括静态语义和动态语义。针对该特点,提出基于动态描述逻辑的UML状态图形式化方法,介绍动态描述逻辑DDL_SHOIN（D）的语法和语义,设计UML状态图的DDL_SHOI

【作者】

：

陈振庆罗兰花

【机构】

：

贺州学院计算机科学与工程系

【出处】

：

计算机工程

【发表日期】

：

2011年13期

【关键词】

：

动态描述逻辑统一建模语言状态图形式化方法动作推理 Dynamic Description Logics（DDL） Unified Modeling Lan

【基金项目】

：

2010年度广西高等学校优秀人才资助计划基金资助项目“基于动态描述逻辑的UML状态图形式化方法”

下载到本地 , 更方便阅读

下载此文赞助VIP

声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架

论文部分内容阅读

统一建模语言（UML）状态图包括静态语义和动态语义。针对该特点,提出基于动态描述逻辑的UML状态图形式化方法,介绍动态描述逻辑DDL_SHOIN（D）的语法和语义,设计UML状态图的DDL_SHOIN（D）形式化方法,研究状态图动作推理问题。给出状态图状态可达性和动作包含关系的定义,并证明其正确性

其他文献

三维空间中3DR44方向关系表示模型

现有方向关系模型无法表示参照对象的最小包围盒的内部空间方向。针对该不足,提出3DR44方向关系表示模型,给出动态邻接关系以及双向映射关系,利用交集对的有序序列处理特定目标对象与参照对象间的复杂方向关系,并将该模型转化为二维空间中的方向关系模型进行处理。应用结果表明,该模型可增强空间数据库表示三维空间对象方向关系的能力。

期刊

三维空间交集序列方向关系邻接关系three dimensio.nal space intersection sequence direction rel

煤炭生产企业碳排放状况的分析研究

哥本哈根会议后,发展低碳经济,实施节能减排,进而减少温室气体排放成为全球共识。为了保护共同的家园,世界各国根据各自的国情提出了不同的减排目标,我国提出到2020年单位GDP

期刊

二氧化碳排放煤炭生产企业节能减排温室气体排放哥本哈根低碳GDP

基于广义离散Morse理论的强关联规则挖掘

针对强关联规则的挖掘问题,提出构造事务数据库的单元复形,利用广义离散Morse理论发现强关联规则的方法。在基本的离散Morse理论和关联规则的基础上延伸得到广义离散Morse理

期刊

离散Morse理论拓扑广义离散Morse函数广义离散梯度强关联规则discrete Morse theory topology generalized

生产事故是公共安全问题之主因

相信很多人都没有忘记:1984年12月3日发生在印度博帕尔一家农药厂的爆炸事故,爆炸后由于异氰酸甲酯气体的泄漏,当即导致2500人丧生,3000多人濒临死亡,12.5万人不同程度中毒,

期刊

公共安全问题中石油重庆开县生产事故化学事故应急救援氯气泄漏联动机制吉化公司危险化学品生产安全川东钻探公司公共灾害

基于动态描述逻辑的UML状态图形式化方法

其他学术论文