Analyzing Rule-Based Behavioral Semantics of Visual Modeling Languages with Maude-Reference-Cited by-同舟云学术

Analyzing Rule-Based Behavioral Semantics of Visual Modeling Languages with Maude

Published:2009 Issue: Volume: Page:54-73
ISSN:0302-9743
Container-title:Software Language Engineering
language:
Short-container-title:

Author:

Rivera José Eduardo,Guerra Esther,de Lara Juan,Vallecillo Antonio

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/978-3-642-00434-6_5

Reference30 articles.

1. Ehrig, H., Ehrig, K., Prange, U., Taentzer, G.: Fundamentals of algebraic graph transformation. Springer, Heidelberg (2006)

2. Foundations,1997

3. de Lara, J., Vangheluwe, H.: Defining visual notations and their manipulation through meta-modelling and graph transformation. Journal of Visual Languages and Computing 15(3–4), 309–330 (2006)

4. Lecture Notes in Computer Science;R. Heckel,2002

5. Vallecillo, A.: A journey through the secret life of models. In: Model Engineering of Complex Systems (MECS). Number 08331 in Dagstuhl Seminar Proceedings, Dagstuhl, Germany (2008), http://drops.dagstuhl.de/opus/volltexte/2008/1601

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

1. Survey and classification of model transformation tools;Software & Systems Modeling;2018-03-12

2. Teaching UML and OCL models and their validation to software engineering students: an experience report;Computer Science Education;2018-01-02

3. Amalgamation of domain specific languages with behaviour;Journal of Logical and Algebraic Methods in Programming;2017-01

4. Verifying specifications with associated attributes in graph transformation systems;Frontiers of Computer Science;2015-05-09

5. Automated Analysis of Conflicts in WS-Agreement;IEEE Transactions on Services Computing;2014-10