计算机应用与软件2023，Vol.40Issue(2)：7-11,59,6.DOI:10.3969/j.issn.1000-386x.2023.02.002
MDA框架中CIM业务流模型与PIM工作流模型的一致性验证
CONSISTENCY VERIFICATION OF CIM BUSINESS FLOW MODEL AND PIM WORKFLOW MODEL IN MDA FRAMEWORK
摘要
关键词
CIM业务流模型/PIM工作流模型/扩展Petri网/一致性验证分类
信息技术与安全科学引用本文复制引用
李宗花,常逢佳..MDA框架中CIM业务流模型与PIM工作流模型的一致性验证[J].计算机应用与软件,2023,40(2):7-11,59,6.基金项目
国家自然科学基金项目(61902141) （61902141）
教育部人文社会科学研究青年基金项目(19YJCZH095) （19YJCZH095）
江苏省高校自然科学研究面上项目(18KJB520006). （18KJB520006）
