Using semantic anchoring to verify behavior preservation in graph transformations

Electronic Communications of the EASST

Volumn 4, Issue , 2006, Pages

  Narayanan, Anantha ^a   Karsai, Gabor ^a  

^a VANDERBILT UNIVERSITY   (United States)

Author keywords

Behavior preservation; Bisimulation; Semantic anchoring

Indexed keywords

EID: 70350241743     PISSN: None     EISSN: 18632122     Source Type: Journal    
DOI: 10.14279/tuj.eceasst.4.22.12     Document Type: Conference Paper

References (16)

1. A. Agrawal, G. Karsai, A. Ledeczi. An end-to-end domain-driven software development framework. In OOPSLA '03: 18th annual ACM SIGPLAN conference on OOP, systems, languages, and applications. Pp. 8-15. ACM Press, New York, NY, USA, 2003. doi:http://doi.acm.org/10.1145/949344.949347
2. A. Agrawal, G. Simon, G. Karsai. Semantic Translation of Simulink/Stateflow Models to Hybrid Automata Using Graph Transformations. Electr. Notes Theor. Comput. Sci. 109:43-56, 2004
3. The Abstract State Machine Language. http://www.research.microsoft.com/fse/ asml
4. M. von der Beeck. A Comparison of Statecharts Variants. In ProCoS: Proceedings of the Third International Symposium Organized Jointly with the Working Group Provably Correct Systems on Formal Techniques in Real-Time and Fault-Tolerant Systems. Pp. 128-148. Springer-Verlag, London, UK, 1994
5. K. Chen. A Semantic Anchoring Infrastructure for Model-Integrated Computing. PhD thesis, Vanderbilt University, Nashville, TN 37203, Aug. 2006
6. A. Corradini, R. Heckel, U. Montanari. Graphical Operational Semantics. In ICALP Satellite Workshops. Pp. 411-418. 2000. citeseer.ist.psu.edu/corradini00graphical.html
7. K. Chen, J. Sztipanovits, S. Abdelwahed, E. K. Jackson. Semantic Anchoring with Model Transformations. In ECMDA-FA. Pp. 115-129. 2005
8. K. Chen, J. Sztipanovits, S. Neema. Toward a semantic anchoring infrastructure for domain-specific modeling languages. In EMSOFT '05: Proceedings of the 5th ACM international conference on Embedded software. Pp. 35-43. ACM Press, New York, NY, USA, 2005. doi:http://doi.acm.org/10.1145/1086228.1086236
9. E. Denney, B. Fischer. Certifiable Program Generation. In GPCE. Pp. 17-28. 2005
10. D. Harel. Statecharts: A visual formalism for complex systems. Science of Computer Programming 8(3):231-274, 1987. doi:http://dx.doi.org/10.1016/0167-6423(87)90035-9
11. W. Harwood, F. Moller, A. Setzer. Weak Bisimulation Approximants. In CSL'06: The 15th International Conference on Computer Science Logic. Lecture Notes in Computer Science, Szeged, Hungary, 2006
12. A. Ledeczi, A. Bakay, M. Maroti, P. Volgyesi, G. Nordstrom, J. Sprinkle, G. Karsai. Composing Domain-Specific Design Environments. Computer 34(11):44-51, 2001. doi:http://dx.doi.org/10.1109/2.963443
13. F. Maraninchi. Operational and Compositional Semantics of Synchronous Automaton Compositions. In CONCUR '92: Proceedings of the Third International Conference on Concurrency Theory. Pp. 550-564. Springer-Verlag, London, UK, 1992
14. A. Narayanan, G. Karsai. Towards Verifying Model Transformations. In Bruni and Varro (eds.), Graph Transformation and Visual Modeling Techniques GT-VMT 2006. Electronic Notes in Theoretical Computer Science, pp. 185-194. 2006
15. D. Sangiorgi. Bisimulation: From The Origins to Today. In LICS '04: Proceedings of the 19th Annual IEEE Symposium on Logic in Computer Science (LICS'04). Pp. 298-302. IEEE Computer Society, Washington, DC, USA, 2004. doi:http://dx.doi.org/10.1109/LICS.2004.13
16. D. Varró. Automated Formal Verification of Visual Modeling Languages by Model Checking. Journal of Software and Systems Modeling 3(2):85-113, May 2004. http://www.inf.mit.bme.hu/FTSRG/Publications/varro/2004/sosym2004 varro.pdf