关键词: 业务建模, 语义本体, Petri-网, 模型验证

Abstract: Aiming at the urgent requirements of collaboration,sharing and interoperability for enterprise business,and the verifiability deficiency of business process model in process management application system,a method for business process modeling and verification was proposed to establish a semantic-based business process model by integrating semantic ontology and Petri-net.Combined the requirements of business knowledge sharing and precise presentation of control flow,the semantic ontology was used to describe the key characters of business process,and the knowledge with capability of cross-domain interoperability was formed,which could provide basic support for building block of new generation,human-centric intelligent process system.As a part of semantic description,the process structure information was integrated in process ontology to form a richer formal representation of process model.To achieve better applicability,the sufficient consideration of verification was made and the verification efficiency was also investigated,which eventually realized dual verification in both semantic and structure.

Key words: business modeling, semantic ontology, Petrinets, model verification