POPL '90 Proceedings of the 17th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Smalltalk: subclassing subtyping is-a
Journal of Object-Oriented Programming
Eiffel: the language
Engineering a programming language: the type and class system of Sather
Proceedings of the international conference on Programming languages and system architectures
A behavioral notion of subtyping
ACM Transactions on Programming Languages and Systems (TOPLAS)
Program development by stepwise refinement
Communications of the ACM
Towards consistency-preserving model evolution
Proceedings of the International Workshop on Principles of Software Evolution
The Java Programming Language
Rearchitecting the UML infrastructure
ACM Transactions on Modeling and Computer Simulation (TOMACS)
ECOOP '95 Proceedings of the 9th European Conference on Object-Oriented Programming
ECOOP '01 Proceedings of the 15th European Conference on Object-Oriented Programming
Defining UML Family Members Using Prefaces
TOOLS '99 Proceedings of the 32nd International Conference on Technology of Object-Oriented Languages
Modeling Languages: Syntax, Semantics and All That Stuff, Part I: The Basic Stuff
Modeling Languages: Syntax, Semantics and All That Stuff, Part I: The Basic Stuff
A denotational semantics of inheritance
A denotational semantics of inheritance
Ontology Based Context Modeling and Reasoning using OWL
PERCOMW '04 Proceedings of the Second IEEE Annual Conference on Pervasive Computing and Communications Workshops
General Refinement, Part One: Interfaces, Determinism and Special Refinement
Electronic Notes in Theoretical Computer Science (ENTCS)
General Refinement, Part Two: Flexible Refinement
Electronic Notes in Theoretical Computer Science (ENTCS)
Nested and specialized associations
Proceedings of the Workshop on Relationships and Associations in Object-Oriented Languages
Model transformations? transformation models!
MoDELS'06 Proceedings of the 9th international conference on Model Driven Engineering Languages and Systems
Using model types to support contract-aware model substitutability
ECMFA'13 Proceedings of the 9th European conference on Modelling Foundations and Applications
| Hi-index | 0.00 |
A model-based engineering discipline presupposes that models are organised by creating relationships between them. While there has been considerable work on understanding what it means to instantiate one model from another, little is known about when a model should be considered to be a specialisation of another one. This article motivates and discusses ways of defining specialisation relationships between models, languages, and transformations respectively. Consideration is given to both structural and behavioural compatibility concerns. Several alternatives of defining a specialisation relationship are considered and discussed. The article furthermore discusses the notions of referee and context in order to validate and define specialisation relationships. The ideas and discussions presented in this article are meant to provide a further stepping stone towards a systematic basis for organising models.