F-Alloy: An Alloy Based Model Transformation Language-Reference-Cited by-同舟云学术

F-Alloy: An Alloy Based Model Transformation Language

Published:2015 Issue: Volume: Page:166-180
ISSN:0302-9743
Container-title:Theory and Practice of Model Transformations
language:
Short-container-title:

Author:

Gammaitoni Loïc,Kelsen Pierre

Publisher

Springer International Publishing

Link

http://link.springer.com/content/pdf/10.1007/978-3-319-21155-8_13

Reference19 articles.

1. Lightning tool website. http://lightning.gforge.uni.lu

2. Akehurst, D.H., Kent, S., Patrascoiu, O.: A relational approach to defining and implementing transformations between metamodels. Softw. Sys. Model. 2(4), 215–239 (2003)

3. Lecture Notes in Computer Science;K Anastasakis,2007

4. Anastasakis, K., Bordbar, B., Küster, J.M.: Analysis of model transformations via Alloy. In: Proceedings of the 4th MoDeVVa workshop: Model-Driven Engineering, Verification, and Validation, pp. 47–56 (2007)

5. Lecture Notes in Computer Science;L Baresi,2006

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

1. The Application of Directed Hyper-Graphs for Analysis of Models of Information Systems;Mathematics;2022-02-27

2. Agile validation of model transformations using compound F-Alloy specifications;Science of Computer Programming;2018-09

3. F-Alloy: a relational model transformation language based on Alloy;Software & Systems Modeling;2017-11-23

4. SBVR2Alloy: An SBVR to Alloy Compiler;2017 IEEE 10th Conference on Service-Oriented Computing and Applications (SOCA);2017-11

5. Traceability Mappings as a Fundamental Instrument in Model Transformations;Fundamental Approaches to Software Engineering;2017