检索规则说明:AND代表“并且”;OR代表“或者”;NOT代表“不包含”;(注意必须大写,运算符两边需空一格)
检 索 范 例 :范例一: (K=图书馆学 OR K=情报学) AND A=范并思 范例二:J=计算机应用与软件 AND (U=C++ OR U=Basic) NOT M=Visual
机构地区:[1]哈尔滨工程大学计算机科学与技术学院,哈尔滨150001 [2]哈尔滨工程大学船舶工程学院,哈尔滨150001
出 处:《计算机科学》2009年第6期147-149,166,共4页Computer Science
基 金:国家自然科学基金(40746029);哈尔滨工程大学校基金(002060260722)资助
摘 要:在现有的UML到Petri网模型转化规则的基础上,引入本体将其作为各种模型到Petri网模型之间转化的桥梁,研究各种模型到Petri网的通用转化方法。为每个模型包括Petri网模型建立本体,再根据基于分类树的本体映射建立模型转化步骤。通过计算不同模型中概念的相似度建立不同模型中概念的对应关系,完成模型转化。The method described in this paper is based on the existing transition rules between UML and Petri net. Ontology was used as a bridge to produce a general transition method between other models and Petri net. Ontology was established for every model including Petri net. Model transition process is based on ontology mapping of classified tree. The relationship between concepts of different models was established by computing their similarities to complete the transition of models.
分 类 号:TP302.7[自动化与计算机技术—计算机系统结构]
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在链接到云南高校图书馆文献保障联盟下载...
云南高校图书馆联盟文献共享服务平台 版权所有©
您的IP:216.73.216.48