Model to Petri-Net transformation

摘要

Implementations of the present disclosure include methods, systems, and computer-readable storage mediums for model-to-model transformation including actions of providing a source meta-model, the source meta-model having a plurality of classes and one or more references, receiving first user input to a graphical editor, processing the first user input to provide a plurality of class modules and one or more reference modules, each class module corresponding to a class of the plurality of classes and each reference module corresponding to a reference of the one or more references, automatically generating transformation code based on the plurality of class modules and the one or more reference modules, receiving a source model, the source model being provided based on the source meta-model and being provided in a computer-readable file that is stored in memory, and generating a simulation model based on the source model and the transformation code.

主权项

1. A computer-implemented method for model-to-model transformation, the method being executed using one or more processors and comprising:
providing a source meta-model, the source meta-model having a plurality of classes and one or more references; receiving, by the one or more processors, a first user input to a graphical editor; processing the first user input to define a transformation by providing a plurality of class modules and one or more reference modules, each class module corresponding to a class of the plurality of classes and comprising a module type and each reference module corresponding to a reference of the one or more references; automatically generating a transformation code based on the plurality of class modules and the one or more reference modules, the transformation code defining the transformation of a source model comprising a business process modeling notation into a petri-net model and using the module type of each class module to determine how and when to fuse the plurality of class modules of the source model based on a pattern of the plurality of class modules; receiving, by the one or more processors, the source model, the source model being provided based on the source meta-model and being provided in a computer-readable file that is stored in memory; and generating, by the one or more processors, a simulation model based on the source model and the transformation code.