Vision Paper: Make a Difference! (Semantically)

  • Uli Fahrenberg
  • Axel Legay
  • Andrzej Wąsowski
Part of the Lecture Notes in Computer Science book series (LNCS, volume 6981)


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.


Feature Model Modeling Language IEEE Computer Society Composition Operator Graph Transformation 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    Antkiewicz, M., Busch, C.: Framework-specific modeling languages with round-trip engineering. In: Wang, J., Whittle, J., Harel, D., Reggio, G. (eds.) MoDELS 2006. LNCS, vol. 4199, pp. 692–706. Springer, Heidelberg (2006)CrossRefGoogle Scholar
  2. 2.
    Batory, D.: Feature models, grammars, and propositional formulas. In: Obbink, H., Pohl, K. (eds.) SPLC 2005. LNCS, vol. 3714, pp. 7–20. Springer, Heidelberg (2005)CrossRefGoogle Scholar
  3. 3.
    Bertrand, N., Legay, A., Pinchinat, S., Raclet, J.-B.: A compositional approach on modal specifications for timed systems. In: Breitman, K., Cavalcanti, A. (eds.) ICFEM 2009. LNCS, vol. 5885, pp. 679–697. Springer, Heidelberg (2009)CrossRefGoogle Scholar
  4. 4.
    Bhaduri, P., Ramesh, S.: Synthesis of synchronous interfaces. In: ACSD. IEEE, Los Alamitos (2006)Google Scholar
  5. 5.
    Brunet, G., Chechik, M., Easterbrook, S., Nejati, S., Niu, N., Sabetzadeh, M.: A manifesto for model merging. In: GaMMa. ACM, New York (2006)Google Scholar
  6. 6.
    Czarnecki, K., Wąsowski, A.: Feature diagrams and logics: There and back again. In: SPLC, pp. 23–34. IEEE Computer Society, Los Alamitos (2007)Google Scholar
  7. 7.
    David, A., Larsen, K.G., Legay, A., Nyman, U., Wąsowski, A.: Timed I/O automata: a complete specification theory for real-time systems. In: HSCC. ACM, New York (2010)Google Scholar
  8. 8.
    Dijkstra, E.W., Scholten, C.S.: Predicate calculus and program semantics. Springer, Heidelberg (1990)CrossRefzbMATHGoogle Scholar
  9. 9.
    Gerth, C., Küster, J.M., Luckey, M., Engels, G.: Precise detection of conflicting change operations using process model terms. In: Petriu, D.C., Rouquette, N., Haugen, Ø. (eds.) MODELS 2010. LNCS, vol. 6395, pp. 93–107. Springer, Heidelberg (2010)CrossRefGoogle Scholar
  10. 10.
    Goessler, G., Raclet, J.-B.: Modal contracts for component-based design. In: Hung, D.V., Krishnan, P. (eds.) SEFM. IEEE Computer Society, Los Alamitos (2009)Google Scholar
  11. 11.
    Hoare, C.A.R.: An axiomatic basis for computer programming. Commun. ACM 12(10) (1969)Google Scholar
  12. 12.
    Jackson, D., Ladd, D.A.: Semantic diff: A tool for summarizing the effects of modifications. In: Müller, H.A., Georges, M. (eds.) ICSM. IEEE Computer Society, Los Alamitos (1994)Google Scholar
  13. 13.
    Kang, K., Cohen, S., Hess, J., Nowak, W., Peterson, S.: Feature-oriented domain analysis (FODA) feasibility study. Technical Report CMU/SEI-90-TR-21 (1990)Google Scholar
  14. 14.
    Larsen, K.G.: Modal specifications. In: Sifakis, J. (ed.) AVMS 1989. LNCS, vol. 407, pp. 232–246. Springer, Heidelberg (1990)Google Scholar
  15. 15.
    Mac Lane, S.: Categories for the Working Mathematician, 2nd edn. Graduate Texts in Mathematics. Springer, Heidelberg (1998)zbMATHGoogle Scholar
  16. 16.
    Mendonca, M., Wąsowski, A., Czarnecki, K.: SAT-based analysis of feature models is easy. In: SPLC 2009, IEEE Computer Society, Los Alamitos (2009)Google Scholar
  17. 17.
    Mendonça, M., Wąsowski, A., Czarnecki, K., Cowan, D.D.: Efficient compilation techniques for large scale feature models. In: GPCE (2008)Google Scholar
  18. 18.
    Nejati, S., Sabetzadeh, M., Chechik, M., Easterbrook, S.M., Zave, P.: Matching and merging of statecharts specifications. In: ICSE. IEEE Computer Society, Los Alamitos (2007)Google Scholar
  19. 19.
    Raclet, J.-B.: Residual for component specifications. ENTCS 215, 93–110 (2008)Google Scholar
  20. 20.
    Segura, S., Benavides, D., Ruiz-Cortés, A., Trinidad, P.: Automated merging of feature models using graph transformations. In: Lämmel, R., Visser, J., Saraiva, J. (eds.) Generative and Transformational Techniques in Software Engineering II. LNCS, vol. 5235, pp. 489–505. Springer, Heidelberg (2008)CrossRefGoogle Scholar
  21. 21.
    Shahar Maoz, J.R., Rumpe, B.: A manifesto for semantic model differencing. In: International Workshop on Models and Evolution (2010)Google Scholar
  22. 22.
    Sommerville, I.: Software Engineering, 9/E. Addison-Wesley, Reading (2011)Google Scholar
  23. 23.
    Thüm, T., Batory, D.S., Kästner, C.: Reasoning about edits to feature models. In: ICSE, pp. 254–264. IEEE Computer Society, Los Alamitos (2009)Google Scholar
  24. 24.
    Trinidad, P., Benavides, D., Cortés, A.R., Segura, S., Jimenez, A.: FAMA framework. In: SPLC, p. 359. IEEE Computer Society, Los Alamitos (2008)Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2011

Authors and Affiliations

  • Uli Fahrenberg
    • 1
  • Axel Legay
    • 1
  • Andrzej Wąsowski
    • 2
  1. 1.INRIA / Irisa RennesFrance
  2. 2.IT University of CopenhagenDenmark

Personalised recommendations