Abstract
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.
Supported by MT-LAB: a VKR Centre of Excellence in Modeling of IT Systems.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
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)
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)
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)
Bhaduri, P., Ramesh, S.: Synthesis of synchronous interfaces. In: ACSD. IEEE, Los Alamitos (2006)
Brunet, G., Chechik, M., Easterbrook, S., Nejati, S., Niu, N., Sabetzadeh, M.: A manifesto for model merging. In: GaMMa. ACM, New York (2006)
Czarnecki, K., Wąsowski, A.: Feature diagrams and logics: There and back again. In: SPLC, pp. 23–34. IEEE Computer Society, Los Alamitos (2007)
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)
Dijkstra, E.W., Scholten, C.S.: Predicate calculus and program semantics. Springer, Heidelberg (1990)
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)
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)
Hoare, C.A.R.: An axiomatic basis for computer programming. Commun. ACMÂ 12(10) (1969)
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)
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)
Larsen, K.G.: Modal specifications. In: Sifakis, J. (ed.) AVMS 1989. LNCS, vol. 407, pp. 232–246. Springer, Heidelberg (1990)
Mac Lane, S.: Categories for the Working Mathematician, 2nd edn. Graduate Texts in Mathematics. Springer, Heidelberg (1998)
Mendonca, M., WÄ…sowski, A., Czarnecki, K.: SAT-based analysis of feature models is easy. In: SPLC 2009, IEEE Computer Society, Los Alamitos (2009)
Mendonça, M., Wąsowski, A., Czarnecki, K., Cowan, D.D.: Efficient compilation techniques for large scale feature models. In: GPCE (2008)
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)
Raclet, J.-B.: Residual for component specifications. ENTCS 215, 93–110 (2008)
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)
Shahar Maoz, J.R., Rumpe, B.: A manifesto for semantic model differencing. In: International Workshop on Models and Evolution (2010)
Sommerville, I.: Software Engineering, 9/E. Addison-Wesley, Reading (2011)
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)
Trinidad, P., Benavides, D., Cortés, A.R., Segura, S., Jimenez, A.: FAMA framework. In: SPLC, p. 359. IEEE Computer Society, Los Alamitos (2008)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2011 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Fahrenberg, U., Legay, A., Wąsowski, A. (2011). Vision Paper: Make a Difference! (Semantically). In: Whittle, J., Clark, T., Kühne, T. (eds) Model Driven Engineering Languages and Systems. MODELS 2011. Lecture Notes in Computer Science, vol 6981. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-24485-8_36
Download citation
DOI: https://doi.org/10.1007/978-3-642-24485-8_36
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-24484-1
Online ISBN: 978-3-642-24485-8
eBook Packages: Computer ScienceComputer Science (R0)