基于语义本体的流程建模与验证

发布时间：2019-04-08 15:52

【摘要】：针对企业业务的协作、共享、互操作能力的迫切需求,以及流程管理应用系统中流程模型的可验证性不足的问题,结合语义本体技术和Petri-net技术,提出一种业务流程建模和验证方法,建立了基于语义的业务流程模型。模型兼顾了准确表达流程控制结构和共享业务知识的需求,采用语义本体来描述流程的关键要素,形成了可交互操作的流程语义知识,提升了流程的跨机构交互性能,为建设新一代以知识为基础、以人为中心的智能流程系统提供基础支撑。模型对传统流程结构描述进行了拓展,将流程结构表达作为结构语义元素融入流程本体中,得到了更丰富的流程模型描述。为了增强流程模型的可应用性,充分考虑了模型的可验证性问题,给出了相应的验证方法并考察了验证效率,实现了模型语义和结构的双重验证。
[Abstract]:In view of the urgent need of enterprise business cooperation, sharing, interoperability, and the insufficient verifiability of process model in process management application system, the semantic ontology technology and Petri-net technology are combined to solve the problem of lack of verifiability of process model in process management application system. A business process modeling and verification method is proposed, and a semantic-based business process model is established. The model takes into account the requirements of accurately expressing the process control structure and sharing business knowledge. The semantic ontology is used to describe the key elements of the process, and the interoperable process semantic knowledge is formed, which improves the cross-institutional interaction performance of the process. To build a new generation of knowledge-based, people-centered intelligent process system to provide the basic support. The model extends the traditional process structure description and integrates the process structure representation as a structural semantic element into the process ontology and gets a richer description of the process model. In order to enhance the application of the process model, the verifiability of the model is fully considered, and the corresponding verification methods are given. The verification efficiency is investigated, and the double validation of the semantic and the structure of the model is realized.
【作者单位】：西北工业大学现代设计与集成制造技术教育部重点实验室;
【基金】：国家自然科学基金资助项目(51375395)~~
【分类号】：TP391.1

【相似文献】