A visual token-based formalization of BPMN 2.0 based on in-place transformations-Reference-Cited by-同舟云学术

A visual token-based formalization of BPMN 2.0 based on in-place transformations

Published:2013-02 Issue:2 Volume:55 Page:365-394
ISSN:0950-5849
Container-title:Information and Software Technology
language:en
Short-container-title:Information and Software Technology

Author:

Van Gorp Pieter,Dijkman Remco

Publisher

Elsevier BV

Subject

Computer Science Applications,Information Systems,Software

Reference63 articles.

1. MOFLON: a standard-compliant metamodeling framework with graph transformations;Amelunxen,2006

2. Henshin: advanced concepts and tools for in-place EMF model transformations;Arendt,2010

3. GenGED – a visual definition tool for visual modeling environments;Bardohl,2004

4. Introduction to agg and emf tiger by modeling a conference scheduling system;Biermann;STTT,2010

5. Jakob Blomer, Rubino Geiß, Edgar Jakumeit, The GrGen.NET user manual, July 2011. http://www.info.uni-karlsruhe.de/software/grgen/GrGenNET-Manual.pdf.

Cited by 31 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Generating the complete state-spaces of BPMN models using GROOVE;2023 3rd International Symposium on Computer Technology and Information Science (ISCTIS);2023-07-07

2. Formalization and Analysis of BPMN Using Graph Transformation Systems;Graph Transformation;2023

3. Computing alignments with maximum synchronous moves via replay in coordinate planes;Information Sciences;2022-08

4. Consistent modelling of hierarchical BPMN collaborations;Business Process Management Journal;2022-03-11

5. A First-Order Logic verification framework for communication-parametric and time-aware BPMN collaborations;Information Systems;2022-02