位置：成果数据库 > 期刊 > 期刊详情页
基于DL-Safe规则的UML状态图形式化和一致性验证
  • ISSN号：1671-6841
  • 期刊名称：《郑州大学学报：理学版》
  • 时间：0
  • 分类：TP311.52[自动化与计算机技术—计算机软件与理论;自动化与计算机技术—计算机科学与技术]
  • 作者机构：[1]解放军理工大学指挥自动化学院
  • 相关基金：国家自然科学基金资助项目,编号10501053
作者： 何红悦[1], 宋自林[1], 周波[1]
关键词： UML状态图, 描述逻辑, DL-Safe规则, 一致性, UML-Statechart, description logic, DL-Safe rule, consistency
中文摘要：

为了对UML状态图进行形式化验证,将状态图中的语义分为静态语义和动态语义两部分,用描述逻辑知识库表示静态语义,用DL-Safe规则表示动态语义.研究了检查UML状态图一致性的算法,该算法能够用DL-Safe规则对知识库进行推理达到检查状态图一致性的目的,最后分析了算法的可行性.

英文摘要：

The semantic information of UML-Statechart is divided into static aspect and dynamic aspect.The static aspect is expressed by a knowledge base of description logics,and the dynamic aspect is expressed by DLSafe rule.An algorithm is proposed for checking the consistency of UML-Statechart,which can use the DL-Safe rule to reason the knowledge base.Finally,the feasibility of the algorithm is analyzed theoretically.

同期刊论文项目
基于变系数模型的假设检验
期刊论文 27
同项目期刊论文
多项式零点性质的矩阵表示
广义变系数模型的Bayesian B样条估计
混合指数分布的参数估计
Inferences On single index models
Functional-coefficient partially linear time series models for hydrology
Penalized spline estimation for varying-coefficient models
Generalized partially linear varying-coefficient models
离散型半参数广义线性纵向数据模型的方差成分检验
变系数模型小波估计的渐近性
环签名的通用可组合安全模型及其应用研究
The Latest Progress in Varying-coefficient Models
辫群上的不经意传输协议
辫群上代理签名体制的分析与设计
Shor整数分解量子算法的加速实现
无可信中心的电子投票方案
一个基于ID的可删除群签名方案
基于多线性映射的环签名研究
辫群上的强盲签名体制
辫群上群签名方案的安全性分析及改进
Speeding up implementation for Shor＇s factorization quantum algorithm
辫群上的非平衡比特承诺协议
0—1整数规划模型中逻辑表达式的一些注记
改进的多目标元素量子搜索算法
原始签名人匿名的代理环签名研究
两个改进的基于身份的私钥分发协议
大样本下偏正态分布参数的假设检验
期刊信息
  • 《郑州大学学报：理学版》
  • 中国科技核心期刊
  • 主管单位:河南省教育厅
  • 主办单位:郑州大学
  • 主编：李燕燕
  • 地址：郑州市高新区科学大道100号
  • 邮编：450001
  • 邮箱：lixueban@zzu.edu.cn
  • 电话：0371-67781272
  • 国际标准刊号：ISSN：1671-6841
  • 国内统一刊号：ISSN：41-1338/N
  • 邮发代号:36-191
  • 获奖情况:
  • 国内外数据库收录:
  • 美国化学文摘（网络版）,美国数学评论（网络版）,波兰哥白尼索引,德国数学文摘,中国中国科技核心期刊,中国北大核心期刊（2008版）,中国北大核心期刊（2011版）,中国北大核心期刊（2014版）,英国英国皇家化学学会文摘
  • 被引量:2791