A comparative analysis of methodologies for database schema integration
ACM Computing Surveys (CSUR)
Distributed Feature Composition: A Virtual Architecture for Telecommunications Services
IEEE Transactions on Software Engineering
N degrees of separation: multi-dimensional separation of concerns
Proceedings of the 21st international conference on Software engineering
Model checking
Generating statechart designs from scenarios
Proceedings of the 22nd international conference on Software engineering
Composing features and resolving interactions
SIGSOFT '00/FSE-8 Proceedings of the 8th ACM SIGSOFT international symposium on Foundations of software engineering: twenty-first century applications
A framework for multi-valued reasoning over inconsistent viewpoints
ICSE '01 Proceedings of the 23rd International Conference on Software Engineering
Communication and Concurrency
Modeling Reactive Systems with Statecharts: The Statemate Approach
Modeling Reactive Systems with Statecharts: The Statemate Approach
PROMPT: Algorithm and Tool for Automated Ontology Merging and Alignment
Proceedings of the Seventeenth National Conference on Artificial Intelligence and Twelfth Conference on Innovative Applications of Artificial Intelligence
Analysing the behaviour of distributed software architectures: a case study
FTDCS '97 Proceedings of the 6th IEEE Workshop on Future Trends of Distributed Computing Systems
ACM Transactions on Software Engineering and Methodology (TOSEM)
Rondo: a programming platform for generic model management
Proceedings of the 2003 ACM SIGMOD international conference on Management of data
Elements Of Finite Model Theory (Texts in Theoretical Computer Science. An Eatcs Series)
Elements Of Finite Model Theory (Texts in Theoretical Computer Science. An Eatcs Series)
Merging partial behavioural models
Proceedings of the 12th ACM SIGSOFT twelfth international symposium on Foundations of software engineering
Efficient Relational Calculation for Software Analysis
IEEE Transactions on Software Engineering
Concurrency: State Models And Java Programs
Concurrency: State Models And Java Programs
Multi-Dimensional Separation of Concerns in Requirements Engineering
RE '05 Proceedings of the 13th IEEE International Conference on Requirements Engineering
Proceedings of the 2006 international workshop on Global integrated model management
View merging in the presence of incompleteness and inconsistency
Requirements Engineering
Matching and Merging of Statecharts Specifications
ICSE '07 Proceedings of the 29th international conference on Software Engineering
Global Software Engineering: The Future of Socio-technical Coordination
FOSE '07 2007 Future of Software Engineering
Global consistency checking of distributed models with TReMer+
Proceedings of the 30th international conference on Software engineering
The temporal logic of programs
SFCS '77 Proceedings of the 18th Annual Symposium on Foundations of Computer Science
Relationship-based change propagation: A case study
MISE '09 Proceedings of the 2009 ICSE Workshop on Modeling in Software Engineering
Merging and consistency checking of distributed models
Merging and consistency checking of distributed models
Behavioural model fusion
Weak Alphabet Merging of Partial Behavior Models
ACM Transactions on Software Engineering and Methodology (TOSEM)
General composition of software artifacts
SC'06 Proceedings of the 5th international conference on Software Composition
Simulation-Based graph similarity
TACAS'06 Proceedings of the 12th international conference on Tools and Algorithms for the Construction and Analysis of Systems
An expressive aspect composition language for UML state diagrams
MODELS'07 Proceedings of the 10th international conference on Model Driven Engineering Languages and Systems
Verification of Model Transformations
Electronic Notes in Theoretical Computer Science (ENTCS)
PWWM: a personal web workflow methodology
The Personal Web
Hi-index | 0.00 |
A key problem in model-based development is integrating a collection of models into a single, larger, specification as a way to construct a functional system, to develop a unified understanding, or to enable automated reasoning about properties of the resulting system. In this article, we suggest that the choice of a particular model integration operator depends on the inter-model relationships that hold between individual models. Based on this observation, we distinguish three key integration operators studied in the literature--merge, composition and weaving--and describe each operator along with the notion of relationship that underlies it. We then focus on the merge activity and provide a detailed look at the factors that one must consider in defining a merge operator, particularly the way in which the relationships should be captured during merge. We illustrate these factors using two merge operators that we have developed in our earlier work for combining models that originate from distributed teams.