基于DEMO的BPMN模型语义化框架
A framework to semantify BPMN models using DEMO business transaction pattern
摘要：
BPMN是一种规约语言，被工业界和研究人员广泛用于业务流程建模和执行。它清楚地定义了如何表达其概念，但没有提供表示所生成模型的语义的机制。本文讨论了如何提高BPMN模型的表达能力的问题，提出了一个定义的业务流程在BPMN模型的语义，并提高模型的完整性，以系统的方式，使模型可以描述更多的情况下，很少额外的管理复杂性。我们设想了一个框架的基础上的业务交易模式，在企业本体知识体系规定的基础上语义BPMN模型。已经开发了一个工具，使框架自动化。然后，两个工业的概念证明被用来衡量其覆盖范围，积极和消极的，并讨论我们的建议的有用性。在此之后，该建议与其他使用系统的文献综述进行比较。提出了一个完整的BPMN模式，包括快乐流，拒绝，拒绝和拒绝，而不添加任何新的元素到BPMN规范。一个软件工具已经开发出来，并公开提供，以支持自动生成的BPMN模型从建议的模式。我们的语义化BPMN模式允许在两个概念证明中识别大量隐式和其他未实现的情况。它的结论是使用语义解决方案，基于一个健全的模式，允许系统的丰富的BPMN模型与有限的努力。此外，为了简化BPMN可执行模型的实现，它的元素可以分为隐式、显式和尚未实现。最后，相关的工作表明，这项工作是必要的，但没有完整的解决方案。
英文摘要：
BPMN is a specification language widely used by industry and researchers for business process modeling and execution. It defines clearly how to articulate its concepts, but do not provide mechanism to represent the semantics of the produced models. This paper addresses the problem of how to improve the expressiveness of BPMN models, proposing a definition for the semantics of a business process within a BPMN model, and improving the completeness of the models in a systematic manner, so that models can describe far more situations with few extra managed complexity. We conceive a framework based on the business transaction patterns available in the enterprise ontology body of knowledge to prescribe the foundations of semantic BPMN models. A tool has been developed to automate the framework. Then, two industrial proof-of-concepts are used to measure its coverage, both positive and negative, and to argue about our proposal's usefulness. After that, the proposal is compared with others using a systematic literature review. A full BPMN pattern is proposed encompassing the happy flow, the declinations, the rejections and the revocations, without adding any new element to the BPMN specification. A software tool has been developed, and made publicly available, to support the automatic generation of the BPMN models from the proposed patterns. Our semantified BPMN pattern allowed the identification of a large amount of implicit, and other not implemented, situations in both proof-of-concepts. It is concluded that the usage of a semantic solution, grounded on a sound pattern, allows the systematic enrichment of the BPMN models with a bounded effort. Moreover, to simplify the BPMN executable models' implementation, its elements could be classified as implicit, explicit, or not implemented yet. Finally, related work indicates that this work is demanded, but no full solutions are available.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
