Applying Advanced TGG Concepts for a Complex Transformation of Sequence Diagram Specifications to Timed Game Automata-Reference-Cited by-同舟云学术

Applying Advanced TGG Concepts for a Complex Transformation of Sequence Diagram Specifications to Timed Game Automata

Published:2012 Issue: Volume: Page:222-237
ISSN:0302-9743
Container-title:Applications of Graph Transformations with Industrial Relevance
language:
Short-container-title:

Author:

Greenyer Joel,Rieke Jan

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/978-3-642-34176-2_19.pdf

Reference21 articles.

1. Lecture Notes in Computer Science;C. Amelunxen,2006

2. Lecture Notes in Computer Science;J. Bengtsson,1996

3. Lecture Notes in Computer Science;F. Cassez,2005

4. Lecture Notes in Computer Science;D.-H. Dang,2009

5. Geiger, N., Grusie, B., Koch, A., Zündorf, A.: Yet another TGG engine? In: Norbisrath, U., Jubeh, R. (eds.) Int. Fujaba Days. Kasseler Informatikschriften (2011)

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

1. A benchmark of incremental model transformation tools based on an industrial case study with AADL;Software and Systems Modeling;2022-03-19

2. How to Efficiently Build a Front-End Tool for UPPAAL: A Model-Driven Approach;Dependable Software Engineering. Theories, Tools, and Applications;2017

3. Formal Sequence: Extending UML Sequence Diagram for Behavior Description and Formal Verification;2016 IEEE 40th Annual Computer Software and Applications Conference (COMPSAC);2016-06

4. The Incremental Advantage: Evaluating the Performance of a TGG-based Visualisation Framework;Graph Transformation;2016

5. On TGG Ability for Transforming UML 2 Sequence Diagrams with Imbricate Combined Fragments to π-Calculus Specifications;Procedia Computer Science;2016