Statecharts: A visual formalism for complex systems
Science of Computer Programming
gIBIS: a hypertext tool for exploratory policy discussion
ACM Transactions on Information Systems (TOIS)
A Framework for Expressing the Relationships Between Multiple Views in Requirements Specification
IEEE Transactions on Software Engineering
Completeness and Consistency in Hierarchical State-Based Requirements
IEEE Transactions on Software Engineering - Special issue: best papers of the 17th International Conference on Software Engineering (ICSE-17)
Managing inconsistent specifications: reasoning, analysis, and action
ACM Transactions on Software Engineering and Methodology (TOSEM)
DIPES '98 Proceedings of the IFIP WG10.3/WG10.5 international workshop on Distributed and parallel embedded systems
Composition patterns: an approach to designing reusable aspects
ICSE '01 Proceedings of the 23rd International Conference on Software Engineering
A framework for multi-valued reasoning over inconsistent viewpoints
ICSE '01 Proceedings of the 23rd International Conference on Software Engineering
Alloy: a lightweight object modelling notation
ACM Transactions on Software Engineering and Methodology (TOSEM)
Identifying Quality-Requirement Conflicts
IEEE Software
Inconsistency Handling in Multiperspective Specifications
IEEE Transactions on Software Engineering
Synthesis of Behavioral Models from Scenarios
IEEE Transactions on Software Engineering
An Analysis-Revision Cycle to Evolve Requirements Specifications by Using the SCTL-MUS Methodology
RE '02 Proceedings of the 10th Anniversary IEEE Joint International Conference on Requirements Engineering
chi-Chek: A Multi-valued Model-Checker
CAV '02 Proceedings of the 14th International Conference on Computer Aided Verification
A survey of approaches to automatic schema matching
The VLDB Journal — The International Journal on Very Large Data Bases
ACM Transactions on Software Engineering and Methodology (TOSEM)
An Analysis-Revision Cycle to Evolve Requirements Specifications
Proceedings of the 16th IEEE international conference on Automated software engineering
Merging partial behavioural models
Proceedings of the 12th ACM SIGSOFT twelfth international symposium on Foundations of software engineering
Methodological Review: User-centered semantic harmonization: A case study
Journal of Biomedical Informatics
Hi-index | 0.00 |
Model merging is an important activity in software development. We often need to integrate a set of models coming from different sources so as to create a unified model encompassing all the given models. Inconsistencies between models can make model merging significantly more complex. To deal with inconsistencies efficiently, a systematic negotiation process is needed. This paper outlines a formal approach to merging and negotiation over behavioural models and presents the results achieved so far.