On the Search for a Level-Agnostic Modelling Language Brian Henderson-Sellers 1 Tony Clark 2 Cesar Gonzalez-Perez 3 1 University of Technology, Sydney, Australia. 2 Middlesex University, London, UK. 3 Institute of Heritage Sciences, Spanish National Research Council (CSIC) Spain. 25th International Conference on Advanced Information Systems Engineering, 2013, Valencia, Spain Brian Henderson-Sellers, Tony Clark, Cesar Gonzalez-Perez On the Search for a Level-Agnostic Modelling Language
This document is posted to help you gain knowledge. Please leave a comment to let me know what you think about it! Share it to your friends and learn new things together.
Transcript
On the Search for a Level-Agnostic ModellingLanguage
Brian Henderson-Sellers1 Tony Clark2
Cesar Gonzalez-Perez3
1University of Technology, Sydney, Australia.
2Middlesex University, London, UK.
3Institute of Heritage Sciences, Spanish National Research Council (CSIC) Spain.
25th International Conference on Advanced InformationSystems Engineering, 2013, Valencia, Spain
Brian Henderson-Sellers, Tony Clark, Cesar Gonzalez-Perez On the Search for a Level-Agnostic Modelling Language
(MBE Framework due to Bran Selic, Dagstuhl on MBE Tooling, May 2013)
Brian Henderson-Sellers, Tony Clark, Cesar Gonzalez-Perez On the Search for a Level-Agnostic Modelling Language
Modelling Languages and Tools
Brian Henderson-Sellers, Tony Clark, Cesar Gonzalez-Perez On the Search for a Level-Agnostic Modelling Language
Modelling Languages and Tools
Brian Henderson-Sellers, Tony Clark, Cesar Gonzalez-Perez On the Search for a Level-Agnostic Modelling Language
Modelling Languages and Tools
Brian Henderson-Sellers, Tony Clark, Cesar Gonzalez-Perez On the Search for a Level-Agnostic Modelling Language
Modelling Languages and Tools
Brian Henderson-Sellers, Tony Clark, Cesar Gonzalez-Perez On the Search for a Level-Agnostic Modelling Language
Modelling Languages and Tools
Brian Henderson-Sellers, Tony Clark, Cesar Gonzalez-Perez On the Search for a Level-Agnostic Modelling Language
Modelling with Types and Instances
Tools must deal with mixed-level models.No limit to the number of instantiation levels.
Brian Henderson-Sellers, Tony Clark, Cesar Gonzalez-Perez On the Search for a Level-Agnostic Modelling Language
Modelling with Types and Instances
Tools must deal with mixed-level models.No limit to the number of instantiation levels.
Brian Henderson-Sellers, Tony Clark, Cesar Gonzalez-Perez On the Search for a Level-Agnostic Modelling Language
Meta-modelling Requirements
Need to integrate languages, models and instances.Must be able to mix levels.Tools must work across levels.Tools are (partly) models too.Unforeseen extensions must be accommodated.
Brian Henderson-Sellers, Tony Clark, Cesar Gonzalez-Perez On the Search for a Level-Agnostic Modelling Language
Meta-modelling Requirements
Need to integrate languages, models and instances.Must be able to mix levels.Tools must work across levels.Tools are (partly) models too.Unforeseen extensions must be accommodated.
Brian Henderson-Sellers, Tony Clark, Cesar Gonzalez-Perez On the Search for a Level-Agnostic Modelling Language
Meta-modelling Requirements
Need to integrate languages, models and instances.Must be able to mix levels.Tools must work across levels.Tools are (partly) models too.Unforeseen extensions must be accommodated.
Brian Henderson-Sellers, Tony Clark, Cesar Gonzalez-Perez On the Search for a Level-Agnostic Modelling Language
Meta-modelling Requirements
Need to integrate languages, models and instances.Must be able to mix levels.Tools must work across levels.Tools are (partly) models too.Unforeseen extensions must be accommodated.
Brian Henderson-Sellers, Tony Clark, Cesar Gonzalez-Perez On the Search for a Level-Agnostic Modelling Language
Meta-modelling Requirements
Need to integrate languages, models and instances.Must be able to mix levels.Tools must work across levels.Tools are (partly) models too.Unforeseen extensions must be accommodated.
Brian Henderson-Sellers, Tony Clark, Cesar Gonzalez-Perez On the Search for a Level-Agnostic Modelling Language
Approaches: Object Management Group 3-LayersTaken from Djuric et al. The Tao of Modeling Spaces, JOT 5(8) 2006
Implementations: MOF, Ecore - problems with universality.
Brian Henderson-Sellers, Tony Clark, Cesar Gonzalez-Perez On the Search for a Level-Agnostic Modelling Language
Approaches: Power-Types
Brian Henderson-Sellers, Tony Clark, Cesar Gonzalez-Perez On the Search for a Level-Agnostic Modelling Language
Approaches: Pan Level ModellingAtkinson and Gutheil
Brian Henderson-Sellers, Tony Clark, Cesar Gonzalez-Perez On the Search for a Level-Agnostic Modelling Language
Approaches: PotencyAtkinson and Kühne
Brian Henderson-Sellers, Tony Clark, Cesar Gonzalez-Perez On the Search for a Level-Agnostic Modelling Language
An Approach: Everything is an Object
Put on the Modelling Goggles.Fractal Architecture.Types are well-behaved patterns.Type relation specified within the model via constraints.Functions included as essential features.
Brian Henderson-Sellers, Tony Clark, Cesar Gonzalez-Perez On the Search for a Level-Agnostic Modelling Language
An Approach: Everything is an Object
Put on the Modelling Goggles.Fractal Architecture.Types are well-behaved patterns.Type relation specified within the model via constraints.Functions included as essential features.
Brian Henderson-Sellers, Tony Clark, Cesar Gonzalez-Perez On the Search for a Level-Agnostic Modelling Language
An Approach: Everything is an Object
Put on the Modelling Goggles.Fractal Architecture.Types are well-behaved patterns.Type relation specified within the model via constraints.Functions included as essential features.
Brian Henderson-Sellers, Tony Clark, Cesar Gonzalez-Perez On the Search for a Level-Agnostic Modelling Language
An Approach: Everything is an Object
Put on the Modelling Goggles.Fractal Architecture.Types are well-behaved patterns.Type relation specified within the model via constraints.Functions included as essential features.
Brian Henderson-Sellers, Tony Clark, Cesar Gonzalez-Perez On the Search for a Level-Agnostic Modelling Language
An Approach: Everything is an Object
Put on the Modelling Goggles.Fractal Architecture.Types are well-behaved patterns.Type relation specified within the model via constraints.Functions included as essential features.
Brian Henderson-Sellers, Tony Clark, Cesar Gonzalez-Perez On the Search for a Level-Agnostic Modelling Language
Validation of Approach
Available at https://github.com/xmodeler/XModeler
Brian Henderson-Sellers, Tony Clark, Cesar Gonzalez-Perez On the Search for a Level-Agnostic Modelling Language
Brian Henderson-Sellers, Tony Clark, Cesar Gonzalez-Perez On the Search for a Level-Agnostic Modelling Language
Example
Breed is a new language element.Dogs of known breeds must have a name.Breeds might be pedigree.Pedigree breeds are regulated through registration.Aim: tool for constraint checking.Claim: tool is language-level agnostic.
Brian Henderson-Sellers, Tony Clark, Cesar Gonzalez-Perez On the Search for a Level-Agnostic Modelling Language
Example
Breed is a new language element.Dogs of known breeds must have a name.Breeds might be pedigree.Pedigree breeds are regulated through registration.Aim: tool for constraint checking.Claim: tool is language-level agnostic.
Brian Henderson-Sellers, Tony Clark, Cesar Gonzalez-Perez On the Search for a Level-Agnostic Modelling Language
Example
Breed is a new language element.Dogs of known breeds must have a name.Breeds might be pedigree.Pedigree breeds are regulated through registration.Aim: tool for constraint checking.Claim: tool is language-level agnostic.
Brian Henderson-Sellers, Tony Clark, Cesar Gonzalez-Perez On the Search for a Level-Agnostic Modelling Language
Example
Breed is a new language element.Dogs of known breeds must have a name.Breeds might be pedigree.Pedigree breeds are regulated through registration.Aim: tool for constraint checking.Claim: tool is language-level agnostic.
Brian Henderson-Sellers, Tony Clark, Cesar Gonzalez-Perez On the Search for a Level-Agnostic Modelling Language
Example
Breed is a new language element.Dogs of known breeds must have a name.Breeds might be pedigree.Pedigree breeds are regulated through registration.Aim: tool for constraint checking.Claim: tool is language-level agnostic.
Brian Henderson-Sellers, Tony Clark, Cesar Gonzalez-Perez On the Search for a Level-Agnostic Modelling Language
Example
Breed is a new language element.Dogs of known breeds must have a name.Breeds might be pedigree.Pedigree breeds are regulated through registration.Aim: tool for constraint checking.Claim: tool is language-level agnostic.
Brian Henderson-Sellers, Tony Clark, Cesar Gonzalez-Perez On the Search for a Level-Agnostic Modelling Language
9 @Class Collie metaclass Breed10 isPedigree = true11 @Attribute isRegistered : Boolean end12 @Attribute name : String end13 @Constructor(name,isRegistered) ! end14 @Constraint AllColliesAreCalledFido15 name = "Fido"16 end17 end
Brian Henderson-Sellers, Tony Clark, Cesar Gonzalez-Perez On the Search for a Level-Agnostic Modelling Language
Tool ApplicationRunning against objects
Brian Henderson-Sellers, Tony Clark, Cesar Gonzalez-Perez On the Search for a Level-Agnostic Modelling Language
Tool ApplicationRunning against objects
Brian Henderson-Sellers, Tony Clark, Cesar Gonzalez-Perez On the Search for a Level-Agnostic Modelling Language
Tool ApplicationRunning against types
Brian Henderson-Sellers, Tony Clark, Cesar Gonzalez-Perez On the Search for a Level-Agnostic Modelling Language
Tool ApplicationRunning against types
Brian Henderson-Sellers, Tony Clark, Cesar Gonzalez-Perez On the Search for a Level-Agnostic Modelling Language
Tool ApplicationRunning against types
Brian Henderson-Sellers, Tony Clark, Cesar Gonzalez-Perez On the Search for a Level-Agnostic Modelling Language
Tool ApplicationRunning against meta-types
Brian Henderson-Sellers, Tony Clark, Cesar Gonzalez-Perez On the Search for a Level-Agnostic Modelling Language
Tool ApplicationRunning against everything
Brian Henderson-Sellers, Tony Clark, Cesar Gonzalez-Perez On the Search for a Level-Agnostic Modelling Language
Tool ApplicationRunning against meta-meta-types
Brian Henderson-Sellers, Tony Clark, Cesar Gonzalez-Perez On the Search for a Level-Agnostic Modelling Language
Review and A Claim
MBE requires languages.Languages require meta-models.Tools must be write-once run on any meta-level.Various approaches: strict; power-types; clabjects;potency.Claim: Our approach is language-level agnostic andgeneralizes other approaches.
Brian Henderson-Sellers, Tony Clark, Cesar Gonzalez-Perez On the Search for a Level-Agnostic Modelling Language
Review and A Claim
MBE requires languages.Languages require meta-models.Tools must be write-once run on any meta-level.Various approaches: strict; power-types; clabjects;potency.Claim: Our approach is language-level agnostic andgeneralizes other approaches.
Brian Henderson-Sellers, Tony Clark, Cesar Gonzalez-Perez On the Search for a Level-Agnostic Modelling Language
Review and A Claim
MBE requires languages.Languages require meta-models.Tools must be write-once run on any meta-level.Various approaches: strict; power-types; clabjects;potency.Claim: Our approach is language-level agnostic andgeneralizes other approaches.
Brian Henderson-Sellers, Tony Clark, Cesar Gonzalez-Perez On the Search for a Level-Agnostic Modelling Language
Review and A Claim
MBE requires languages.Languages require meta-models.Tools must be write-once run on any meta-level.Various approaches: strict; power-types; clabjects;potency.Claim: Our approach is language-level agnostic andgeneralizes other approaches.
Brian Henderson-Sellers, Tony Clark, Cesar Gonzalez-Perez On the Search for a Level-Agnostic Modelling Language
Review and A Claim
MBE requires languages.Languages require meta-models.Tools must be write-once run on any meta-level.Various approaches: strict; power-types; clabjects;potency.Claim: Our approach is language-level agnostic andgeneralizes other approaches.
Brian Henderson-Sellers, Tony Clark, Cesar Gonzalez-Perez On the Search for a Level-Agnostic Modelling Language