...
首页> 外文期刊>International Journal of Information Technology and Computer Science >On Transforming Business Patterns to Labeled Petri Nets Using Graph Grammars
【24h】

On Transforming Business Patterns to Labeled Petri Nets Using Graph Grammars

机译:使用图文法将业务模式转换为标记Petri网

获取原文
           

摘要

In this work we present an approach and a tool for transforming business patterns to labelled Petri nets. This transformation is justified by the fact that Petri nets have efficient analysis techniques. We specify first, business patterns and labelled Petri nets Meta-Models in UML Class Diagram formalism with the Meta-Modelling tool Atom3, and then we generate visual modelling tools according to the proposed Meta-Models. Finally, we define a graph grammar which transforms Business Patterns models to Labelled Petri Nets model for analysis purposes. The approach is illustrated with examples.
机译:在这项工作中,我们提出了一种用于将业务模式转换为带标签的Petri网的方法和工具。 Petri网具有有效的分析技术,这一事实是合理的。我们首先使用元建模工具Atom3在UML类图形式主义中指定业务模式并标记Petri网元模型,然后根据提出的元模型生成可视化建模工具。最后,我们定义了一种图形语法,该语法将业务模式模型转换为带标签的Petri网模型以进行分析。通过示例说明了该方法。

著录项

相似文献

  • 外文文献
  • 中文文献
  • 专利
获取原文

客服邮箱:kefu@zhangqiaokeyan.com

京公网安备:11010802029741号 ICP备案号:京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有
  • 客服微信

  • 服务号