A relationship-based approach to model integration

No abstract is available for this paper.

• Publication year

  2011

• Venue

  Innovations in Systems and Software Engineering

• Publication date

  2011-09-03

• Fields of study

  Computer Science

• Identifiers
  DOI 10.1007/s11334-011-0155-2
• External record

  Open on Semantic Scholar

• Source metadata

  Semantic Scholar

• No claims are published for this paper.

• No concepts are published for this paper.

• Model Checking

  2018influential reference
• Weak Alphabet Merging of Partial Behavior Models

  2012cited by this paper
• Matching and Merging of Variant Feature Specifications

  2012cited by this paper
• Reasoning about Consistency in Model Merging

  2010cited by this paper
• Software Architects [review of 97 Things Every Software Architect Should Know: Collective Wisdom from the Experts (Monson-Haefel, R., Ed.; 2009)]

  2009cited by this paper
• Relationship-based change propagation: A case study

  2009cited by this paper
• Merging and Consistency Checking of Distributed Models

  2008cited by this paper
• Global consistency checking of distributed models with TReMer+

  2008influential reference
• On model checking multiple hybrid views

  2008cited by this paper
• Behavioural model fusion: an overview of challenges

  2008cited by this paper
• Behavioural Model Fusion

  2008influential reference
• Consistency Checking of Conceptual Models via Model Merging

  2007cited by this paper
• Global Software Engineering: The Future of Socio-technical Coordination

  2007cited by this paper
• Matching and Merging of Statecharts Specifications

  2007influential reference
• An expressive aspect composition language for UML state diagrams

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

  2006cited by this paper
• A manifesto for model merging

  2006cited by this paper
• Simulation-Based Graph Similarity

  2006cited by this paper
• General Composition of Software Artifacts

  2006cited by this paper
• Concurrency - state models and Java programs

  2006cited by this paper
• 04391 Executive Summary -- Semantic Interoperability and Integration

  2005cited by this paper
• Multi-dimensional separation of concerns in requirements engineering

  2005cited by this paper
• Efficient relational calculation for software analysis

  2005cited by this paper
• Elements Of Finite Model Theory (Texts in Theoretical Computer Science. An Eatcs Series)

  2004cited by this paper
• Merging partial behavioural models

  2004cited by this paper
• Elements of Finite Model Theory

  2004cited by this paper
• Ontology mapping: the state of the art

  2003cited by this paper
• Flexible consistency checking

  2003cited by this paper
• Rondo: a programming platform for generic model management

  2003cited by this paper
• IBM Research Report CAT: A Toolkit for Assembling Concerns

  2002cited by this paper
• CAT : A Toolkit for Assembling Concerns

  2002cited by this paper
• A framework for multi-valued reasoning over inconsistent viewpoints

  2001cited by this paper
• Making inconsistency respectable in software development

  2001cited by this paper
• Generating statechart designs from scenarios

  2000cited by this paper
• Composing features and resolving interactions

  2000cited by this paper
• PROMPT: Algorithm and Tool for Automated Ontology Merging and Alignment

  2000cited by this paper
• N degrees of separation: multi-dimensional separation of concerns

  1999cited by this paper
• Distributed Feature Composition: A Virtual Architecture for Telecommunications Services

  1998cited by this paper
• Modeling Reactive Systems With Statecharts : The Statemate Approach

  1998cited by this paper
• Analysing the behaviour of distributed software architectures: a case study

  1997cited by this paper
• Stakeholder viewpoints in requirements definition: A framework for understanding viewpoint development approaches

  1996cited by this paper
• An N-ary view integration method using conceptual dependencies

  1995cited by this paper
• Communication and concurrency

  1989influential reference
• A categorical manifesto

  1989cited by this paper
• A modal process logic

  1988cited by this paper
• Temporal Logic of Programs

  1987influential reference

• Combination of Agent-Based Social Simulation Models: Approaches and Challenges

  2025cites this paper
• Reusing Your Favourite Analysis Framework to Handle Workflows of Product Line Models

  2023cites this paper
• Conflict management techniques for model merging: a systematic mapping review

  2022cites this paper
• Automatic resolution of model merging conflicts using quality-based reinforcement learning

  2022cites this paper
• Composition of UML Class Diagrams Using Category Theory and External Constraints

  2022cites this paper
• Operads for complex system design specification, analysis and synthesis

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

  2020cites this paper
• Empirical Investigation of UML Models Matching through Different Weight Calibration

  2019cites this paper
• Coordination between Heterogeneous Models Using a Meta-model Composition Approach

  2019cites this paper
• Sequence Diagram Similarity Measurement: A Different Approach

  2019cites this paper
• Incremental View Model Synchronization Using Partial Models

  2018cites this paper
• Activity Diagram Similarity Measurement: A Different Approach

  2018cites this paper
• Class Diagram Similarity Measurement: A Different Approach

  2018cites this paper
• A Comparison Tool For Quality Software Requirement Specification

  2018cites this paper
• Multiple model synchronization with multiary delta lenses with amendment and K-Putput

  2018cites this paper
• A feature-based survey of model view approaches

  2017cites this paper
• UML Class Diagram Composition Using Software Requirements Specifications

  2017cites this paper
• Similarity Assessment of UML Sequence Diagrams Using Dynamic Programming

  2017cites this paper
• Matching UML class diagrams using a Hybridized Greedy-Genetic algorithm

  2017cites this paper
• UML Class Diagrams: Similarity Aspects and Matching

  2016cites this paper
• Panorama : A Unified Framework for Model Composition

  2016cites this paper
• Automated composition of sequence diagrams

  2016cites this paper
• A Model Management Imperative: Being Graphical Is Not Sufficient, You Have to Be Categorical

  2015cites this paper
• A Rules-based system for model composition

  2015cites this paper
• Privacy preserving business process matching

  2015cites this paper
• A Logical Approach for Behavioural Composition of Scenario-Based Models

  2015cites this paper
• Formal Verification Techniques for Model Transformations: A Tridimensional Classification

  2015cites this paper
• Study on large-scale traffic evacuation simulation with multi-model integration

  2015cites this paper
• Ontologies et intégration des connaissances pour un suivi polypathologique

  2014cites this paper
• Automatic Reference Models Development: A Framework

  2014cites this paper
• Similarity assessment of UML class diagrams using a greedy algorithm

  2014cites this paper
• Similarity assessment of UML class diagrams using simulated annealing

  2014cites this paper
• Heterogeneous verification of model transformations

  2014cites this paper
• Une modélisation de la variabilité multidimensionnelle pour une évolution incrémentale des lignes de produits. (A multidimensionnal variability modeling for an incremental product line evolution)

  2013cites this paper
• Verification of Model Transformations: A Survey of the State-of-the-Art

  2013cites this paper
• PWWM: A Personal Web Workflow Methodology

  2013cites this paper
• Language-Specific Model Versioning Based on Signifiers

  2012cites this paper
• Matching and Merging of Variant Feature Specifications

  2012cites this paper
• A categorical model of model merging and weaving

  2012cites this paper
• An Implementation of Entity-Relationship Diagram Merging

  2012cites this paper
• A Tridimensional Approach for Studying the Formal Verification of Model Transformations

  2012cites this paper
• A Literature Review and Classification of Selected Software Engineering Researches

  2012cites this paper
• Model and Metamodel Composition: Separation of Mapping and Interpretation for Unifying Existing Model Composition Techniques. (Composition de modèles et de métamodèles : Séparation des correspondances et des interprétations pour unifier les approches de composition existantes)

  2011cites this paper
• A Business Architecture Capability Meta Model and Toolset for Providing Function Point Estimation for Enterprise Architecture Management

  year unknowncites this paper