UML2Alloy: A Challenging Model Transformation-Reference-Cited by-同舟云学术

UML2Alloy: A Challenging Model Transformation

Published: Issue: Volume: Page:436-450
ISSN:0302-9743
Container-title:Model Driven Engineering Languages and Systems
language:
Short-container-title:

Author:

Anastasakis Kyriakos,Bordbar Behzad,Georg Geri,Ray Indrakshi

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/978-3-540-75209-7_30.pdf

Reference30 articles.

1. OMG: UML Infrastructure Document: formal/05-07-05, http://www.omg.org

2. Marcano, R., Levy, N.: Using B formal specifications for analysis and verification of UML/OCL models. In: Workshop on consistency problems in UML-based software development. 5th International Conference on the Unified Modeling Language, Dresden, Germany (2002)

3. Kim, S.K.: A Metamodel-based Approach to Integrate Object-Oriented Graphical and Formal Specification Techniques. PhD thesis, University of Queensland, Brisbane, Australia (2002)

4. Evans, A., France, R., Grant, E.: Towards Formal Reasoning with UML Models. In: Proceedings of the OOPSLA 1999 Workshop on Behavioral Semantics (1999)

5. Jackson, D.: Software Abstractions: Logic, Language, and Analysis. The MIT Press, London, England (2006)

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

1. Generalized Formal Model-Verifier: A Formal Approach for Verifying Static Models;SN Computer Science;2024-05-02

2. Traceability and reuse mechanisms, the most important properties of model transformation languages;Empirical Software Engineering;2024-02-24

3. Towards an Extensible Architecture and Tool Support for Model-Based Verification;2023 ACM/IEEE International Conference on Model Driven Engineering Languages and Systems Companion (MODELS-C);2023-10-01

4. OCL Rebuilt, From the Ground Up;2023 ACM/IEEE 26th International Conference on Model Driven Engineering Languages and Systems (MODELS);2023-10-01

5. QMaxUSE: A Query-based Verification Tool for UML Class Diagrams with OCL Invariants;Fundamental Approaches to Software Engineering;2022