A model is an abstraction of the real system. To design complex systems, modelling is preferred to the traditional methods for its capability to analyse and simulate before implementation, and its tools for code generation which allows for defect-free code. The domain specific modelling and metamodels (the abstraction of models) provide the modellers domain specific syntax and environments. The meta-metamodel (the abstraction of metamodels) defines a unified description of various domain metamodels. Metamodelling architectures provide the guideline of organizing models and metamodels. So far, many metamodelling standards and tools have been developed.However, two drawbacks have prevented us from having a well-defined metamodelling tool. The first is that current linear architectures fail to appropriately separate the views of different roles in metamodelling. The second is the missing executability at the root of metamodelling since most existing meta-metamodels are designed to describe the structural information rather than the behavioural.In this project, we used a two-dimensional metamodelling architecture with logical and physical classifications that separates the view of modellers and that of tool developers. We designed a general-purpose, self-describable, executable meta-metamodel ArkM3 which includes an action language and thereby enables executability. With this architecture and this meta-metamodel, we enabled a general-purpose, comprehensive, bootstrapped metamodelling tool. To demonstrate our design, we built Ark, the kernel of AToMPM (A Tool for Multi-Paradigm Metamodelling), an updated version of AToM3 (A Tool for Multi-Formalism and MetaModelling). We also presented a case study that models a Readers/Writers System Petri Net model. / Un modèle est une abstraction dun système réel. Pour la conception de systèmes complexes, la modélisation est préférée aux méthodes traditionnelles, parce que la modélisation permet danalyser et de simuler avant la mise en oeuvre. De plus, les outils de génération de code fournis par la modlisation aident à produire des codes sans défaut. La modélisation dans des domaines spécifiques et des méta-modèles (l'abstraction des modèles) fournissent des syntaxes et des environnements spécifiques aux modélisateurs. Le méta-métamodèle (l'abstraction de métamodèles) normalise la description des métamodèles. Les architectures de métamodélisation fournissent les directives à suivre afin dorganiser les modèles et les métamodèles. Jusqu'à ce jour, de nombreuses normes et doutils en métamodélisation ont été développés.Cependant, deux inconvénients demeurent et préviennent la création dun outil de métamodélisation bien défini. Le premier est que les architectures actuelles sont linéaires. Ceci qui ne les permettent pas de différencier adéquatement l'aspect des différents rôles dans la métamodélisation. Le second est quelles nont pas de caractère exécéable à partir de la racine de la métamodélisation, puisque la plupart des méta-méamodèles sont conçus pour décrire des informations structurelles plutôt que comportementaux.Dans ce projet, nous avons utilisé une architecture à deux dimensions avec la classification logique et physique, séparant ainsi le point de vue des modélisateurs et celui des développeurs d'outils. Nous avons conçu ArkM3, un méta-métamodèle universel, auto-descriptible et exécutable. Il inclut également un langage d'action, ce qui le rend exécutable. En combinant cette architecture et ce méta-métamodèle rend possible de mettre sur pied un outil universel damorçage de métamodélisation. Pour démontrer notre conception, nous avons construit le noyau de AToMPM (A Tool for Multi-Paradigm Metamodelling), une version mise à jour de AToM3 (A Tool for Multi-Formalism and MetaModelling). Nous présentons également une étude de cas selon un système de Petri Net "Readers/Writers".
| Identifer | oai:union.ndltd.org:LACETR/oai:collectionscanada.gc.ca:QMM.97120 |
| Date | January 2011 |
| Creators | Dong, Xiaoxi |
| Contributors | Hans Louis Vangheluwe (Internal/Supervisor) |
| Publisher | McGill University |
| Source Sets | Library and Archives Canada ETDs Repository / Centre d'archives des thèses électroniques de Bibliothèque et Archives Canada |
| Language | English |
| Detected Language | French |
| Type | Electronic Thesis or Dissertation |
| Format | application/pdf |
| Coverage | Master of Science (School of Computer Science) |
| Rights | All items in eScholarship@McGill are protected by copyright with all rights reserved unless otherwise indicated. |
| Relation | Electronically-submitted theses. |
Page generated in 0.0099 seconds