基于动态描述逻辑的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

潇湘晨报发改委官员称明年汽车购置税优惠政策将取消

今年开始，小排量车优惠政策调整为1．6L以下车型（含1．6L），购置税按7.5％征收，年底到期。目前，国家发改委产业协调司相关负责人明确表示：随着国内汽车消费刚性需求与潜力逐步提升，明年购置

期刊

优惠政策汽车消费购置官员国家发改委小排量负责人

一种基于用户角色的综合网页排序算法

通过对网页用户角色的分析发现,传统的基于PageRank算法的搜索引擎结果排序欠佳,是因为其没有兼顾所有角色对网页重要性的评价。为此,提出一种结合了所有角色评价的综合网页

期刊

网页排序PAGERANK算法综合网页排序算法点击量分析算法page ranking PageRank algorithm comprehensive p

平衡的音色多了几分华丽Siltech银彩35Years Anniversary系列线材

纯银线材探索之旅Siltech(银彩),对于很多发烧友来说一定不会感到陌生。Siltech是Silver Technology的缩写,顾名思义,是专门研究用银制造产品的技术。1983年,荷兰的几个年轻

期刊

音响技术电声学线材冶金学

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

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

期刊

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

军队既有营房节能改造存在的问题及对策

据统计，现有营区内2000年前建成并投入使用的营房，95％以上未考虑节能设计，建筑能耗大，且部分营房室内冬冷夏热，住用舒适度极差。虽然全军近年来积极开展了营房节能工作，在采暖系统、

期刊

节能改造营房军队节能设计建筑能耗节能工作采暖系统改造工作

FORM ERROR EVALUATION OF CIRCLES BASED ON A FINELYDESIGNED GENETIC ALGORITHM

A genetic algorithm(GA)-based new method is designed to evaluate the circularity error of mechanical parts.The method uses the capability of nonlinear optimizat

期刊

GAFDGA遗传算法形状误差误差估计Genetic algorithm(GA) Form error Circularity Bisexual rec

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

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

期刊

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

台达能源管理解决方案闪亮2012中国国际工业博览会

台达集团整合旗下高效、可靠的能源管理解决方案，在“2012中国国际工业博览会”盛大展出。展会期间，台达不仅展示了能源管理领域的产品及技术，并且为客户提供客制化的能源管理服

期刊

工业博览会能源管理国际中国闪亮

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

与本文相关的学术论文