Intermodeling, Queries, and Kleisli Categories

No abstract is available for this paper.

• Publication year

  2012

• Venue

  Fundamental Approaches to Software Engineering

• Publication date

  2012-03-24

• Fields of study

  Mathematics, Computer Science

• Identifiers
  DOI 10.1007/978-3-642-28872-2_12
• External record

  Open on Semantic Scholar

• Source metadata

  Semantic Scholar

• No claims are published for this paper.

• No concepts are published for this paper.

• Towards generic formal semantics for consistency of heterogeneous multimodels

  2011cited by this paper
• Intermodeling, queries and Kleisli categories

  2011cited by this paper
• Specifying overlaps of heterogeneous models for global consistency checking

  2010cited by this paper
• Inter-modelling: from theory to practice

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

  2010cited by this paper
• A formalisation of the copy-modify-merge approach to version control in MDE

  2010cited by this paper
• Model Synchronization , Mappings , Tile Algebra , and Categories

  2009cited by this paper
• Realizing Correspondences in Multi-viewpoint Specifications

  2009cited by this paper
• Model Synchronization: Mappings, Tiles, and Categories

  2009cited by this paper
• The Objects and Arrows of Computational Design

  2008cited by this paper
• Generative and Transformational Techniques in Software Engineering II

  2007cited by this paper
• View merging in the presence of incompleteness and inconsistency

  2006cited by this paper
• Fundamentals of Algebraic Graph Transformation

  2006cited by this paper
• Categories for software engineering

  2005cited by this paper
• Algebraic theories

  2004cited by this paper
• Applying Model Management to Classical Meta Data Problems

  2003cited by this paper
• Models in software engineering – an introduction

  2003cited by this paper
• Categorical Logic and Type Theory

  2001cited by this paper
• SPECWARE: An Advanced Evironment for the Formal Development of Complex Software Systems

  1996cited by this paper
• Category theory for computing science

  1995cited by this paper
• Category theory for computing science (2. ed.)

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

  1992cited by this paper
• Institutions: abstract model theory for specification and programming

  1992cited by this paper
• Notions of Computation and Monads

  1991cited by this paper
• A categorical manifesto

  1989cited by this paper
• Category Theory and Computer Programming

  1986cited by this paper
• A Study in the Functions of Programming Methodology: Specifications, Institutions, Charters and Parchments

  1985cited by this paper

• GTSMorpher: Safely Composing Behavioural Analyses Using Structured Operational Semantics

  2021cites this paper
• Multi-Model Evolution through Model Repair

  2021cites this paper
• A query-retyping approach to model transformation co-evolution

  2020cites this paper
• SKETCHES, QUERIES, VIEWS, AND KLEISLI COMPOSITION: TOWARDS UNIVERSAL ALGEBRA OF DIAGRAMMATIC OPERATIONS WITH PRE- AND POST-CONDITIONS

  2020cites this paper
• Comparing and classifying model transformation reuse approaches across metamodels

  2019cites this paper
• A Classification and Comparison of Approaches

  2019cites this paper
• Assurance via model transformations and their hierarchical refinement

  2018cites this paper
• Model Transformation Reuse Across Metamodels - A Classification and Comparison of Approaches

  2018cites this paper
• Automatic Transformation Co-evolution Using Traceability Models and Graph Transformation

  2018cites this paper
• Theory and Practice of Model Transformation

  2018cites this paper
• GTS Families for the Flexible Composition of Graph Transformation Systems

  2017cites this paper
• Decision Points for Non-determinism in Concurrent Model Synchronization with Triple Graph Grammars

  2017cites this paper
• A Posteriori Typing for Model-Driven Engineering

  2017cites this paper
• Consistency Checking of Interrelated Models , Long Version ?

  2017cites this paper
• Traceability Mappings as a Fundamental Instrument in Model Transformations

  2017cites this paper
• Compositionality of Update Propagation: Lax PutPut

  2017cites this paper
• Specification Languages for Preserving Consistency between Models of Different Languages

  2017cites this paper
• Advanced Local Checking of Global Consistency in Heterogeneous Multimodeling

  2016cites this paper
• Extending Model Synchronization Results from Triple Graph Grammars to Multiple Models

  2016cites this paper
• Traceability Mappings as a Fundamental Aspect of Model-to-Model Transformations

  2016cites this paper
• A three-dimensional taxonomy for bidirectional model synchronization

  2016cites this paper
• Query-driven soft traceability links for models

  2016cites this paper
• Extending Model to Model Transformation Results from Triple Graph Grammars to Multiple Models

  2015cites this paper
• A-posteriori typing for Model-Driven Engineering

  2015cites this paper
• : Software and systems traceability for safety-critical projects : report from Dagstuhl Seminar 15162

  2015influential citation
• Back-Annotation of Execution Sequences by Advanced Search and Traceability Techniques

  2014cites this paper
• An algebraic semantics for bidirectional model synchronization

  2014cites this paper
• Query-driven incremental synchronization of view models

  2014cites this paper
• A Query Structured Approach for Model Transformation

  2014cites this paper
• Towards Category Theory Foundations for Model Management

  2014cites this paper
• Towards the flexible reuse of model transformations: A formal approach based on graph transformation

  2014cites this paper
• What Is a Derived Signature Morphism?

  2014cites this paper
• ACM/IEEE 17th International Conference on Model Driven Engineering Languages and Systems

  2014cites this paper
• Composing Your Compositions of Variability Models

  2013cites this paper
• Mechanics of Megamodeling : Design Patterns and Laws

  2013cites this paper
• Model-Driven Engineering Languages and Systems

  2013cites this paper
• Mapping-Aware Megamodeling: Design Patterns and Laws

  2013cites this paper
• Query-driven soft interconnection of EMF models

  2012cites this paper
• Modeling the linguistic architecture of software products

  2012cites this paper
• Category Theory and Model-Driven Engineering: From Formal Semantics to Design Patterns and Beyond

  2012influential citation
• Intermodeling, queries and Kleisli categories

  2011cites this paper
• Proceedings of the 11th International Workshop on Graph Transformation and Visual Modeling Techniques (gtvmt 2012) Inter-modelling with Graphical Constraints: Foundations and Applications Inter-modelling with Graphical Constraints: Foundations and Applications

  year unknowncites this paper