论文部分内容阅读
UML缺乏精确的语义,难以对其所表示的系统进行形式化分析和一致性检验.为了使UML能够更精确地对系统模型进行描述,学者们提出了一些形式化的方法.论文对比分析了用Petri网、时序逻辑XYE/E和动态描述逻辑形式化UML状态图的方法,指出了它们各自的优缺点以及应用领域.
UML状态图形式化方法的分析与比较
【摘 要】
：
UML缺乏精确的语义,难以对其所表示的系统进行形式化分析和一致性检验.为了使UML能够更精确地对系统模型进行描述,学者们提出了一些形式化的方法.论文对比分析了用Petri网、
【机 构】
：
新疆阿克苏地区第一人民医院,国网新疆阿克苏供电公司
【出 处】
：
计算机与数字工程
【发表日期】
：
2014年8期
其他文献
简要介绍了Agent与多Agent的相关知识,并以军用通信系统为例,分析了远程分布式故障诊断的系统结构,并提出了一种基于多Agent远程分布式故障诊断模型,对其系统工作流程进行了
文本聚类中,文本特征向量的高维特性使得对样本统计特征的评估十分困难,所以有必要进行有效的维数简约.LLE算法利用线性重构的局部对称性找出高维数据空间中的非线性结构,并
70年代以前的很长一段时间内,园艺学家、育种家和广大的蔬菜工作者、生产者都把提高产量作为蔬菜生产和消费领域的中心课题,进行了大量的研究。随着科学技术的进步和经济的发
期刊