业务过程模型的合理性分析  

作　　者：黄苾 代飞 莫启[2] 

机构地区：[1]西南林业大学大数据与智能工程学院,云南省昆明市650224 [2]云南大学软件学院,云南省昆明市650091

出　　处：《电子技术与软件工程》2018年第10期159-160,共2页ELECTRONIC TECHNOLOGY & SOFTWARE ENGINEERING

基　　金：云南省自然科学基金资助项目(2016FB102)

摘　　要：合理性是业务过程模型满足正确性的最低要求。针对使用工作流网定义的业务过程模型,以Petri网为形式化基础,给出了合理性的形式定义,通过建立合理性和Petri网的活性和有界性的联系,使用工具WoPeD分析了业务过程模型的合理性。

关 键 词：业务过程 PETRI网 合理性 

分 类 号：F272[经济管理—企业管理] TP301.1[经济管理—国民经济]