Inter-model Consistency Checking Using Triple Graph Grammars and Linear Optimization Techniques-Reference-Cited by-同舟云学术

Inter-model Consistency Checking Using Triple Graph Grammars and Linear Optimization Techniques

Published:2017 Issue: Volume: Page:191-207
ISSN:0302-9743
Container-title:Fundamental Approaches to Software Engineering
language:
Short-container-title:

Author:

Leblebici Erhan,Anjorin Anthony,Schürr Andy

Publisher

Springer Berlin Heidelberg

Link

https://link.springer.com/content/pdf/10.1007/978-3-662-54494-5_11

Reference28 articles.

1. Lecture Notes in Computer Science;J Bradfield,2012

2. Callow, G., Kalawsky, R.: A satisficing bi-directional model transformation engine using mixed integer linear programming. J. Object Technol. 12(1), 1–43 (2013)

3. Cheney, J., McKinna, J., Stevens, P., Gibbons, J.: Towards a repository of BX examples. In: Candan, K.S., Amer-Yahia, S., Schweikardt, N., Christophides, V., Leroy, V. (eds.) BX 2014. CEUR Workshop Proceedings, vol. 1133, pp. 87–91 (2014). CEUR-WS.org

4. Ehrig, H., Ehrig, K., Hermann, F.: From model transformation to model integration based on the algebraic approach to triple graph grammars. ECEASST 10, 1–15 (2008)

5. Lecture Notes in Computer Science;H Ehrig,2005

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

1. UMLsecRT: Reactive Security Monitoring of Java Applications With Round-Trip Engineering;IEEE Transactions on Software Engineering;2024-01

2. Graph-Based Specification and Automated Construction of ILP Problems;Electronic Proceedings in Theoretical Computer Science;2022-12-22

3. Semantic Differencing of Use Case Diagrams.;The Journal of Object Technology;2022

4. Comprehensive Systems: A formal foundation for Multi-Model Consistency Management;Formal Aspects of Computing;2021-07-30

5. Virtual network embedding: ensuring correctness and optimality by construction using model transformation and integer linear programming techniques;Software and Systems Modeling;2021-01-31