Transforming BPMN Diagrams into YAWL Nets
نویسندگان
چکیده
While the Business Process Modeling Notation (BPMN) is the de facto standard for modeling business processes on a conceptual level, YAWL allows the specification of executable workflow models. A transformation between these two languages enables the integration of different levels of abstraction in process modeling. This paper discusses the transformation of BPMN diagrams to YAWL nets and presents a tool that carries out this transformation.
منابع مشابه
Transformation of BPMN Diagrams to YAWL Nets
Business Process Modeling Notation (BPMN) is the de facto standard for modeling business processes on a conceptual level. However, BPMN lacks a formal semantics and many of its features need to be further interpret, Consequently that hinders BPMN as a standard to statically check the semantic correctness of models. YAWL (Yet Another Workflow Language) allows the specification of executable work...
متن کاملTransforming Fuzzy State Diagram to Fuzzy Petri net
UML is known as one of the most common methods in software engineering. Since this language is semi-formal, many researches and efforts have been performed to transform this language into formal methods including Petri nets. Thus, the operation of verification and validation of the qualitative and nonfunctional parameters could be achieved with more ability. Since the majority of the real world...
متن کاملTransforming Fuzzy State Diagram to Fuzzy Petri net
UML is known as one of the most common methods in software engineering. Since this language is semi-formal, many researches and efforts have been performed to transform this language into formal methods including Petri nets. Thus, the operation of verification and validation of the qualitative and nonfunctional parameters could be achieved with more ability. Since the majority of the real world...
متن کاملReduction Rules for YAWL Workflow Nets with Cancellation Regions and OR-joins
A reduction rule can transform a large net into a smaller and simple net while preserving certain interesting properties and it is usually applied before verification to reduce the complexity and to prevent state space explosion. Reset nets have been proposed to formally describe workflows with cancellation behaviour. In our previous work, we have presented a set of reduction rules for Reset Wo...
متن کاملAgent-Based Simulation Model Representation Using BPMN
Conceptual modelling is the process of abstracting a model from a real or proposed system into a conceptual model. An explicit conceptual model representation allows the model to be communicated and analysed by the stakeholders involved in a simulation project. A good representation that can be understood by all stakeholders is especially essential when the project involves different stakeholde...
متن کامل