Heckel, R., J. Kuster and G. Taentzer, Confluence of typed attributed graph transformation systems, in: Proc. 1st Int'l Conf. Graph Transformation, Lecture Notes in Computer Science 2505 (2002), pp. 161--176. Home/Search Document Details and Download
Summary Related Articles Check |
This paper is cited in the following contexts:
Automated Formal Verification of Model Tranformations - Varro, Pataricza (Correct)
....correctness and completeness was attacked in [27] by planner algorithms, and in [10] by graph transformation. Recently in [15] sufficient conditions were set up that guarantee the termination and uniqueness of transformations based upon the static analysis technique of critical pair analysis [12]. However, no approaches exist to reason about the semantic correctness of model transformations. To be precise, the CSP based approach of [9] that aims to ensure dynamic consistency of UML models has the potential to be extended to reason about properties of transformations. However, defining ....
R. Heckel, J. M. Kuster, and G. Taentzer. Confluence of typed attributed graph transformation systems. In A. Corradini, H. Ehrig, H.-J. Kreowski, and G. Rozenberg (eds.), Proc. ICGT 2002: First Intern. Conf. on Graph Transformation, vol. 2505 of LNCS, pp. 161--176. Springer, Barcelona, Spain, 2002.
Towards Automated Formal Verification of Visual Modeling Languages .. - Varro (2003) (Correct)
....theory cannot be exploited during model checking. Since in many cases, the behavior of the system is required to be investigated only on a single path instead of all possible interleavings of rule applications due to an appropriate theorem or analysis technique (like, e.g. critical pair analysis [7, 19]) Unfortunately, existing model checkers typically do not provide any facilities for the user to control the model checking process in such a way. For instance, in metalevel encodings, certain intermediate states of the graph transformation system (like executing a step and sending 39 the action ....
R. Heckel, J. M. Kuster, and G. Taentzer. Confluence of typed attributed graph transformation systems. In A. Corradini, H. Ehrig, H.-J. Kreowski, and G. Rozenberg (eds.), Proc. ICGT 2002: Firs International Conference on Graph Transformation, vol. 2505 of LNCS, pp. 161--176. Springer-Verlag, Barcelona, Spain, 2002.
Applying a Model Transformation Taxonomy to Graph Transformation .. - Mens, al. (2005) (Correct)
No context found.
Heckel, R., J. Kuster and G. Taentzer, Confluence of typed attributed graph transformation systems, in: Proc. 1st Int'l Conf. Graph Transformation, Lecture Notes in Computer Science 2505 (2002), pp. 161--176.
A Discussion of Refactoring in Research and Practice - Bart Du Bois (2004) (Correct)
No context found.
Reiko Heckel, Jochen Malte Kuster, and Gabriele Taentzer. Confluence of typed attributed graph transformation systems. In Graph Transformation,
Refactoring: Current Research and Future Trends - Mens, Demeyer, Bois.. (2003) (1 citation) (Correct)
No context found.
Heckel, R., J. M. Kuster and G. Taentzer, Confluence of typed attributed graph transformation systems, in: Graph Transformation, Lecture Notes in Computer Science 2505 (2002), pp. 161--176.
Model Transformations And Tool Integration - Tratt (2004) (Correct)
No context found.
R. Heckel, J. M. Kuster, and G. Taentzer. Confluence of typed attributed graph transformation systems. In A. Corradini and H.-J. Kreowski, editors, Proceedings First International Conference on Graph Transformation (ICGT 02), pages 161 -- 176. Springer-Verlag, October 2002.
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC