Reasoning about metamodeling with formal specifications and automatic proofs

No abstract is available for this paper.

• Publication year

  2011

• Venue

  ACM/IEEE International Conference on Model Driven Engineering Languages and Systems

• Publication date

  2011-10-16

• Fields of study

  Computer Science

• Identifiers
  DOI 10.1007/978-3-642-24485-8_48
• External record

  Open on Semantic Scholar

• Source metadata

  Semantic Scholar

• No claims are published for this paper.

• No concepts are published for this paper.

• Components, platforms and possibilities: towards generic automation for MDA

  2010cited by this paper
• Slicing of UML models using model transformations

  2010cited by this paper
• System Model-Based Definition of Modeling Language Semantics

  2009cited by this paper
• SAT-based analysis of feature models is easy

  2009cited by this paper
• Z3: An Efficient SMT Solver

  2008cited by this paper
• An algebraic semantics for MOF

  2008cited by this paper
• UML2Alloy: a challenging model transformation

  2007cited by this paper
• A metamodeling language supporting subset and union properties

  2007cited by this paper
• Constructive techniques for meta- and model-level reasoning

  2007cited by this paper
• Kodkod: A Relational Model Finder

  2007cited by this paper
• KM3: A DSL for Metamodel Specification

  2006cited by this paper
• Generating instance models from meta models

  2006cited by this paper
• Automated formal verification of visual modeling languages by model checking

  2004cited by this paper
• A Temporal Logic of Nested Calls and Returns

  2004cited by this paper
• Modelling Recursive Calls with UML State Diagrams

  2003cited by this paper
• VPM: A visual, precise and multilevel metamodeling framework for describing mathematical domains and UML (The Mathematics of Metamodeling is Metamodeling Mathematics)

  2003cited by this paper
• Maude: specification and programming in rewriting logic

  2002cited by this paper
• The Essence of Multilevel Metamodeling

  2001cited by this paper
• The Metamodelling Language Calculus: Foundation Semantics for UML

  2001cited by this paper
• Complexity and expressive power of logic programming

  1997cited by this paper
• The semantics of constraint logic programs 1

  1996cited by this paper
• Fundamentals of Algebraic Graph Transformation (Monographs in Theoretical Computer Science. An EATCS Series)

  1992cited by this paper

• Requirement-Driven Generation of Distributed Ledger Architectures

  2024cites this paper
• Graph Solver as a Service

  2023cites this paper
• Generating Structurally Realistic Models With Deep Autoregressive Networks

  2023cites this paper
• An automated search‐based test model generation approach for structural testing of model transformations

  2022cites this paper
• Automated Generation of Consistent Graph Models With Multiplicity Reasoning

  2022influential citation
• SMT-Based Consistency Checking of Configuration-Based Components Specifications

  2021cites this paper
• Automated generation of consistent models using qualitative abstractions and exploration strategies

  2021cites this paper
• Towards the Characterization of Realistic Model Generators using Graph Neural Networks

  2021cites this paper
• Automated generation of consistent, diverse and structurally realistic graph models

  2021cites this paper
• Incremental Verification of UML/OCL Models

  2020cites this paper
• A Specification Language for Consistent Model Generation based on Partial Models

  2020cites this paper
• Automated generation of consistent models with structural and attribute constraints

  2020cites this paper
• Automated Generation of Consistent Graph Models with First-Order Logic Theorem Provers

  2020cites this paper
• Reasoning about UML/OCL class diagrams using constraint logic programming and formula

  2019influential citation
• Reasoning about clinical guidelines based on algebraic data types and constraint logic programming

  2019cites this paper
• Formal Validation and Model Generation for Domain-Specific Languages by Logic Solvers

  2019cites this paper
• Towards Bridging the Gap Between Model- and Data- Driven Tool Suites for Cyber-Physical Systems

  2019cites this paper
• A holistic engineering approach to aeronautical product development

  2019cites this paper
• Diversity of graph models and graph generators in mutation testing

  2019cites this paper
• Towards a Model-Checker for Circus

  2019cites this paper
• Circus2CSP: A Tool for Model-Checking Circus Using FDR

  2019cites this paper
• Model‐Based Engineering with Application to Autonomy

  2019cites this paper
• Integration of Modeling Methods for Cyber-Physical Systems

  2019cites this paper
• AlloyInEcore: embedding of first-order relational logic into meta-object facility for automated model reasoning

  2018cites this paper
• A Graph Solver for the Automated Generation of Consistent Domain-Specific Models

  2018cites this paper
• Formalised EMFTVM bytecode language for sound verification of model transformations

  2018cites this paper
• Automated reasoning for attributed graph properties

  2018cites this paper
• Model and Tool Integration Platforms for Cyber–Physical System Design

  2018influential citation
• Constraint Modelling and Data Validation Using Formal Specification Languages

  2017cites this paper
• Symbolic Model Generation for Graph Properties

  2017cites this paper
• Evaluating Well-Formedness Constraints on Incomplete Models

  2017cites this paper
• Formal validation of domain-specific languages with derived features and well-formedness constraints

  2017cites this paper
• Graph Constraint Evaluation over Partial Models by Constraint Rewriting

  2017cites this paper
• Bridging Engineering and Formal Modeling: WebGME and Formula Integration

  2017cites this paper
• Composition and Compositionality in CPS

  2017cites this paper
• Proposal Integration of Modeling Methods for Cyber-Physical Systems

  2016cites this paper
• Iterative and Incremental Model Generation by Logic Solvers

  2016influential citation
• Model checking of state-rich formalisms (by linking to combination of state-based formalism and process algebra)

  2016cites this paper
• Formal MOF metamodeling and tool support

  2016cites this paper
• Supporting Validation and Verification of State-Based Formal Models

  2016cites this paper
• Formal Validation and Model Synthesis for Domain-specific Languages by Logic Solvers

  2016cites this paper
• Formal Verification of Relational Model Transformations using an Intermediate Verification Language

  2016cites this paper
• An Approach for Automatically Verifying Metamodels Consistency

  2016cites this paper
• A survey of approaches for verifying model transformations

  2015cites this paper
• Towards Safe Model Transformation for Constraint-driven Modeling

  2015influential citation
• Formal Aspects of Computing Model checking CML : tool development and industrial applications

  2015cites this paper
• Software Modernization and the State-of-the-Art and Challenges

  2015cites this paper
• Design tool chain for cyber-physical systems: Lessons learned

  2015cites this paper
• Automatically reasoning about metamodeling

  2015cites this paper
• A model-integrated authoring environment for privacy policies

  2014cites this paper
• Abstract State Machines, Alloy, B, TLA, VDM, and Z

  2014influential citation
• Rapid Prototyping of a Semantically Well Founded Circus Model Checker

  2014influential citation
• Describing the design space of mechanical computational design synthesis problems

  2014cites this paper
• Formal Semantic Specification of Domain-Specific Modeling Languages for Cyber-Physical Systems

  2014cites this paper
• Towards B as a High-Level Constraint Modelling Language - Solving the Jobs Puzzle Challenge

  2014cites this paper
• Modeling Privacy Aware Health Information Exchange Systems

  2014cites this paper
• OpenMETA: A Model- and Component-Based Design Tool Chain for Cyber-Physical Systems

  2014cites this paper
• Realistic validation of specification for modeling language using Alloy

  2014cites this paper
• Analysis and synthesis of interactive component and connector systems

  2014cites this paper
• Software Models

  2014cites this paper
• An Overall Framework for Reasoning About UML/OCL Models Based on Constraint Logic Programming and MDA

  2014influential citation
• A rigorous methodology for developing GUI-based DSL formal tools

  2013cites this paper
• PROCEEDINGS2013 Program Committee Chairs

  2013cites this paper
• Open-World Logic Programs: A New Foundation for Formal Specifications

  2013cites this paper
• Validation of Derived Features and Well-Formedness Constraints in DSLs - By Mapping Graph Queries to an SMT-Solver

  2013cites this paper
• Specification of Cyber-Physical Components with Formal Semantics - Integration and Composition

  2013cites this paper
• Exploiting Attributed Type Graphs to Generate Metamodel Instances Using an SMT Solver

  2013cites this paper
• Pure Logic Program Compilation and Improvement ( Optimization ) Via Programmer-Controlled Transformations Fourth Generation Languages Done Right

  2013cites this paper
• Foundation for Model Integration: Semantic Backplane

  2012cites this paper
• Metamodel Instance Generation: A systematic literature review

  2012cites this paper
• Detc2012-70534 Foundation for Model Integration: Semantic Backplane

  2012cites this paper
• Validating B, Z and TLA + Using ProB and Kodkod

  2012cites this paper
• Detecting specification errors in declarative languages with constraints

  2012cites this paper
• Finding models in model-based development

  2011cites this paper