Predicate calculus and program semantics
Predicate calculus and program semantics
An axiomatic basis for computer programming
Communications of the ACM
Semantic Diff: A Tool for Summarizing the Effects of Modifications
ICSM '94 Proceedings of the International Conference on Software Maintenance
Proceedings of the International Workshop on Automatic Verification Methods for Finite State Systems
Proceedings of the 2006 international workshop on Global integrated model management
Synthesis of Synchronous Interfaces
ACSD '06 Proceedings of the Sixth International Conference on Application of Concurrency to System Design
Matching and Merging of Statecharts Specifications
ICSE '07 Proceedings of the 29th international conference on Software Engineering
Feature Diagrams and Logics: There and Back Again
SPLC '07 Proceedings of the 11th International Software Product Line Conference
Residual for Component Specifications
Electronic Notes in Theoretical Computer Science (ENTCS)
SPLC '08 Proceedings of the 2008 12th International Software Product Line Conference
Efficient compilation techniques for large scale feature models
GPCE '08 Proceedings of the 7th international conference on Generative programming and component engineering
Automated Merging of Feature Models Using Graph Transformations
Generative and Transformational Techniques in Software Engineering II
Reasoning about edits to feature models
ICSE '09 Proceedings of the 31st International Conference on Software Engineering
Modal Contracts for Component-Based Design
SEFM '09 Proceedings of the 2009 Seventh IEEE International Conference on Software Engineering and Formal Methods
A Compositional Approach on Modal Specifications for Timed Systems
ICFEM '09 Proceedings of the 11th International Conference on Formal Engineering Methods: Formal Methods and Software Engineering
SAT-based analysis of feature models is easy
Proceedings of the 13th International Software Product Line Conference
Timed I/O automata: a complete specification theory for real-time systems
Proceedings of the 13th ACM international conference on Hybrid systems: computation and control
Precise detection of conflicting change operations using process model terms
MODELS'10 Proceedings of the 13th international conference on Model driven engineering languages and systems: Part II
A manifesto for semantic model differencing
MODELS'10 Proceedings of the 2010 international conference on Models in software engineering
Framework-Specific modeling languages with round-trip engineering
MoDELS'06 Proceedings of the 9th international conference on Model Driven Engineering Languages and Systems
Feature models, grammars, and propositional formulas
SPLC'05 Proceedings of the 9th international conference on Software Product Lines
CAiSE'12 Proceedings of the 24th international conference on Advanced Information Systems Engineering
Usage scenarios for feature model synthesis
Proceedings of the VARiability for You Workshop: Variability Modeling Made Useful for Everyone
| Hi-index | 0.00 |
Syntactic difference between models is a wide research area with applications in tools for model evolution, model synchronization and version control. On the other hand, semantic difference between models is rarely discussed. We point out to main use cases of semantic difference between models, and then propose a framework for defining well-formed difference operators on model semantics as adjoints of model combinators such as conjunction, disjunction and structural composition. The framework is defined by properties other then constructively. We instantiate the framework for two rather different modeling languages: feature models and automata specifications.We believe that the algebraic theory of semantic difference will allow to define practical model differencing tools in the future.