Termination Criteria for Model Transformation-Reference-Cited by-同舟云学术

Termination Criteria for Model Transformation

Published:2005 Issue: Volume: Page:49-63
ISSN:0302-9743
Container-title:Fundamental Approaches to Software Engineering
language:
Short-container-title:

Author:

Ehrig Hartmut,Ehrig Karsten,de Lara Juan,Taentzer Gabriele,Varró Dániel,Varró-Gyapay Szilvia

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/978-3-540-31984-9_5

Reference29 articles.

1. AGG Homepage, http://tfs.cs.tu-berlin.de/agg

2. Aßmann, U.: Graph Rewrite Systems for Program Optimization. ACM TOPLAS 22(4), 583–637 (2000)

3. Lecture Notes in Computer Science;R. Bardohl,2004

4. Baresi, L., Pezzé, M.: Improving UML with Petri-Nets. ENTCS 44(4) (2001)

5. Bottoni, P., Koch, M., Parisi-Presicce, F., Taentzer, G.: Termination of High-Level Replacement Units with Application to Model Transformation. In: proceedings of VLFM 2004. ENTCS (2004)

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

1. Automated Transformation of a Domain-Specific Language for System Modeling to Stochastic Colored Petri Nets;2024 IEEE International Systems Conference (SysCon);2024-04-15

2. Model Transformation Testing and Debugging: A Survey;ACM Computing Surveys;2022-11-21

3. Termination and Expressiveness of Execution Strategies for Networks of Bidirectional Model Transformations;Formal Aspects of Computing;2022-06-24

4. Towards language-to-language transformation;International Journal on Software Tools for Technology Transfer;2021-06-18

5. Finding a Universal Execution Strategy for Model Transformation Networks;Fundamental Approaches to Software Engineering;2021