Article

Vision paper: make a difference! (semantically)

Authors:

Uli Fahrenberg,

Andrzej WasowskiAuthors Info & Claims

MODELS'11: Proceedings of the 14th international conference on Model driven engineering languages and systems

Pages 490 - 500

Published: 16 October 2011 Publication History

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.

References

[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).

Digital Library

[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).

Digital Library

[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.) ICFEM2009. LNCS, vol. 5885, pp. 679-697. Springer, Heidelberg (2009).

Digital Library

[4]

Bhaduri, P., Ramesh, S.: Synthesis of synchronous interfaces. In: ACSD. IEEE, Los Alamitos (2006).

Digital Library

[5]

Brunet, G., Chechik, M., Easterbrook, S., Nejati, S., Niu, N., Sabetzadeh, M.: A manifesto for model merging. In: GaMMa. ACM, New York (2006).

Digital Library

[6]

Czarnecki, K., Wasowski, A.: Feature diagrams and logics: There and back again. In: SPLC, pp. 23-34. IEEE Computer Society, Los Alamitos (2007).

Digital Library

[7]

David, A., Larsen, K.G., Legay, A., Nyman, U., Wasowski, A.: Timed I/O automata: a complete specification theory for real-time systems. In: HSCC. ACM, New York (2010).

Digital Library

[8]

Dijkstra, E.W., Scholten, C.S.: Predicate calculus and program semantics. Springer, Heidelberg (1990).

Digital Library

[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).

Digital Library

[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).

Digital Library

[11]

Hoare, C.A.R.: An axiomatic basis for computer programming. Commun. ACM 12(10) (1969).

Digital Library

[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).

Digital Library

[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).

[14]

Larsen, K.G.: Modal specifications. In: Sifakis, J. (ed.) AVMS 1989. LNCS, vol. 407, pp. 232-246. Springer, Heidelberg (1990).

Digital Library

[15]

Mac Lane, S.: Categories for the Working Mathematician, 2nd edn. Graduate Texts in Mathematics. Springer, Heidelberg (1998).

[16]

Mendonca, M., Wasowski, A., Czarnecki, K.: SAT-based analysis of feature models is easy. In: SPLC 2009, IEEE Computer Society, Los Alamitos (2009).

Digital Library

[17]

Mendonça, M., Wasowski, A., Czarnecki, K., Cowan, D.D.: Efficient compilation techniques for large scale feature models. In: GPCE (2008).

Digital Library

[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).

Digital Library

[19]

Raclet, J.-B.: Residual for component specifications. ENTCS 215, 93-110 (2008).

Digital Library

[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).

Digital Library

[21]

Shahar Maoz, J.R., Rumpe, B.: A manifesto for semantic model differencing. In: International Workshop on Models and Evolution (2010).

Digital Library

[22]

Sommerville, I.: Software Engineering, 9/E. Addison-Wesley, Reading (2011).

[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).

Digital Library

[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).

Digital Library

Cited By

Greiner SNieke MSeidl C(2022)Towards Trace-Based Synchronization of Variability Annotations in Evolving Model-Driven Product LinesProceedings of the 16th International Working Conference on Variability Modelling of Software-Intensive Systems10.1145/3510466.3510470(1-10)Online publication date: 23-Feb-2022
https://dl.acm.org/doi/10.1145/3510466.3510470
Drave IKautz OMichael JRumpe B(2019)Semantic Evolution Analysis of Feature ModelsProceedings of the 23rd International Systems and Software Product Line Conference - Volume A10.1145/3336294.3336300(245-255)Online publication date: 9-Sep-2019
https://dl.acm.org/doi/10.1145/3336294.3336300
Kautz ORumpe BWąsowski APaige RHaugen Ø(2018)On Computing Instructions to Repair Failed Model RefinementsProceedings of the 21th ACM/IEEE International Conference on Model Driven Engineering Languages and Systems10.1145/3239372.3239384(289-299)Online publication date: 14-Oct-2018
https://dl.acm.org/doi/10.1145/3239372.3239384
Show More Cited By

Vision paper: make a difference! (semantically)
1. Theory of computation

Recommendations

Ontology paper: The SSN ontology of the W3C semantic sensor network incubator group

The W3C Semantic Sensor Network Incubator group (the SSN-XG) produced an OWL 2 ontology to describe sensors and observations - the SSN ontology, available at http://purl.oclc.org/NET/ssnx/ssn. The SSN ontology can describe sensors in terms of ...
Ontology paper: FaBiO and CiTO: Ontologies for describing bibliographic resources and citations

Semantic publishing is the use of Web and Semantic Web technologies to enhance the meaning of a published journal article, to facilitate its automated discovery, to enable its linking to semantically related articles, to provide access to data within ...
Position paper: towards the notion of gloss, and the adoption of linguistic resources in formal ontology engineering
WWW '06: Proceedings of the 15th international conference on World Wide Web

In this paper, we first introduce the notion of gloss for ontology engineering purposes. We propose that each vocabulary in an ontology should have a gloss. A gloss basically is an informal description of the meaning of a vocabulary that is supposed to ...

Comments

Information & Contributors

Information

Published In

cover image ACM Conferences

MODELS'11: Proceedings of the 14th international conference on Model driven engineering languages and systems

October 2011

728 pages

ISBN:9783642244841

Editors:
Jon Whittle
Lancaster University, School of Computing and Communications, Lancaster, UK
,
Tony Clark
Middlesex University, School of Engineering and Information Sciences, London, UK
,
Thomas Kühne
Victoria University, School of Engineering and Computer Science, Wellington, New Zealand

Sponsors

IEEE
SIGSOFT: ACM Special Interest Group on Software Engineering
Victoria University of Wellington

Publisher

Springer-Verlag

Berlin, Heidelberg

Publication History

Published: 16 October 2011

Check for updates

Qualifiers

Article

Conference

MODELS '11

Sponsor:

SIGSOFT

MODELS '11: International Conference on Model Driven Engineering Languages and Systems

October 16 - 21, 2011

Wellington, New Zealand

Acceptance Rates

Overall Acceptance Rate 144 of 506 submissions, 28%

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

8
Total Citations
View Citations
0
Total Downloads

Downloads (Last 12 months)0
Downloads (Last 6 weeks)0

Reflects downloads up to 01 Nov 2024

Other Metrics

View Author Metrics

Citations

Cited By

Greiner SNieke MSeidl C(2022)Towards Trace-Based Synchronization of Variability Annotations in Evolving Model-Driven Product LinesProceedings of the 16th International Working Conference on Variability Modelling of Software-Intensive Systems10.1145/3510466.3510470(1-10)Online publication date: 23-Feb-2022
https://dl.acm.org/doi/10.1145/3510466.3510470
Drave IKautz OMichael JRumpe B(2019)Semantic Evolution Analysis of Feature ModelsProceedings of the 23rd International Systems and Software Product Line Conference - Volume A10.1145/3336294.3336300(245-255)Online publication date: 9-Sep-2019
https://dl.acm.org/doi/10.1145/3336294.3336300
Kautz ORumpe BWąsowski APaige RHaugen Ø(2018)On Computing Instructions to Repair Failed Model RefinementsProceedings of the 21th ACM/IEEE International Conference on Model Driven Engineering Languages and Systems10.1145/3239372.3239384(289-299)Online publication date: 14-Oct-2018
https://dl.acm.org/doi/10.1145/3239372.3239384
Maoz SRingert J(2018)A framework for relating syntactic and semantic model differencesSoftware and Systems Modeling (SoSyM)10.1007/s10270-016-0552-y17:3(753-777)Online publication date: 1-Jul-2018
https://dl.acm.org/doi/10.1007/s10270-016-0552-y
Maoz SRingert JLethbridge T(2015)A framework for relating syntactic and semantic model differencesProceedings of the 18th International Conference on Model Driven Engineering Languages and Systems10.5555/3351736.3351744(24-33)Online publication date: 30-Sep-2015
https://dl.acm.org/doi/10.5555/3351736.3351744
David ALarsen KLegay AMØller MNyman URavn ASkou AWąsowski A(2012)Compositional verification of real-time systems using EcdarInternational Journal on Software Tools for Technology Transfer (STTT)10.5555/3115973.311617714:6(703-720)Online publication date: 1-Nov-2012
https://dl.acm.org/doi/10.5555/3115973.3116177
She SCzarnecki KWąsowski AHaugen ØJezequel JWąsowski AMøller-Pedersen BCzarnecki K(2012)Usage scenarios for feature model synthesisProceedings of the VARiability for You Workshop: Variability Modeling Made Useful for Everyone10.1145/2425415.2425419(15-20)Online publication date: 30-Sep-2012
https://dl.acm.org/doi/10.1145/2425415.2425419
Acher MHeymans PCollet PQuinton CLahire PMerle P(2012)Feature model differencesProceedings of the 24th international conference on Advanced Information Systems Engineering10.1007/978-3-642-31095-9_41(629-645)Online publication date: 25-Jun-2012
https://dl.acm.org/doi/10.1007/978-3-642-31095-9_41

View Options

View options

Media

Figures

Other

Tables

View Table of Contents