Graph Constraint Evaluation over Partial Models by Constraint Rewriting
暂无分享,去创建一个
[1] Nikolaj Bjørner,et al. Z3: An Efficient SMT Solver , 2008, TACAS.
[2] S. C. Kleene,et al. Introduction to Metamathematics , 1952 .
[3] Jordi Cabot Sagrera,et al. Verification of UML/OCL Class Diagrams Using Constraint Programming , 2008 .
[4] Martin Gogolla,et al. Validating UML and OCL models in USE by automatic snapshot generation , 2005, Software & Systems Modeling.
[5] U. Keller,et al. Translating the Object Constraint Language into First-order Predicate Logic , 2001 .
[6] Richard F. Paige,et al. On the Evolution of OCL for Capturing Structural Constraints in Modelling Languages , 2009, Rigorous Methods for Software Construction and Analysis.
[7] Daniel Jackson,et al. Alloy: a lightweight object modelling notation , 2002, TSEM.
[8] Ulrich Nickel,et al. The FUJABA environment , 2000, Proceedings of the 2000 International Conference on Software Engineering. ICSE 2000 the New Millennium.
[9] Rick Salay,et al. Transformation of Models Containing Uncertainty , 2013, MoDELS.
[10] Oszkár Semeráth,et al. Evaluating Well-Formedness Constraints on Incomplete Models , 2017, Acta Cybern..
[11] Behzad Bordbar,et al. From UML to alloy and back again , 2009, MODELS'09.
[12] Jordi Cabot,et al. UMLtoCSP: a tool for the formal verification of UML/OCL models using constraint programming , 2007, ASE.
[13] Daniel Balasubramanian,et al. Reasoning about metamodeling with formal specifications and automatic proofs , 2011, MODELS'11.
[14] Ákos Horváth,et al. EMF-IncQuery: An integrated development environment for live model queries , 2015, Sci. Comput. Program..
[15] Dániel Varró,et al. The model transformation language of the VIATRA2 framework , 2007, Sci. Comput. Program..
[16] Rick Salay,et al. Partial models: Towards modeling and reasoning with uncertainty , 2012, 2012 34th International Conference on Software Engineering (ICSE).
[17] Michal Antkiewicz,et al. Clafer: unifying class and feature modeling , 2014, Software & Systems Modeling.
[18] Annegret Habel,et al. Translating Essential OCL Invariants to Nested Graph Constraints Focusing on Set Operations , 2015, ICGT.
[19] Arend Rensink,et al. Abstract Graph Transformation , 2006, SVV@ICFEM.
[20] Mark Rouncefield,et al. The State of Practice in Model-Driven Engineering , 2014, IEEE Software.
[21] Á. Horváth,et al. Formal validation of domain-specific languages with derived features and well-formedness constraints , 2017, Software & Systems Modeling.
[22] Arend Rensink,et al. Pattern-Based Graph Abstraction , 2012, ICGT.
[23] Martin Gogolla,et al. Extensive Validation of OCL Models by Integrating SAT Solving into USE , 2011, TOOLS.
[24] Oszkár Semeráth,et al. The TTC 2015 Train Benchmark Case for Incremental Model Validation , 2015, TTC@STAF.
[25] Rick Salay,et al. A Methodology for Verifying Refinements of Partial Models , 2015, J. Object Technol..
[26] Ákos Horváth,et al. Local Search-Based Pattern Matching Features in EMF-IncQuery , 2015, ICGT.
[27] Rick Salay,et al. The semantics of partial model transformations , 2012, 2012 4th International Workshop on Modeling in Software Engineering (MISE).
[28] Rick Salay,et al. Language Independent Refinement Using Partial Modeling , 2012, FASE.
[29] Dániel Varró,et al. A Graph Query Language for EMF Models , 2011, ICMT@TOOLS.
[30] Rick Salay,et al. Towards a Methodology for Verifying Partial Model Refinements , 2012, 2012 IEEE Fifth International Conference on Software Testing, Verification and Validation.
[31] Gabriele Taentzer,et al. The EMF Model Transformation Framework , 2007, AGTIVE.
[32] Oszkár Semeráth,et al. Iterative and Incremental Model Generation by Logic Solvers , 2016, FASE.