The increasing complexity of systems-engineering methods demand a novel class of modelling languages, covering total system development from requirements engineering to testing. In order to be able to describe such integrated modelling languages including their extensive consistency constraints, this work introduces a formal metamodelling approach without eliminating the established concepts of UML. The resulting metamodelling language M2L is based on the Edge Algebra which allows you to specify such consistency constraints. Besides defining abstract syntaxes M2L also allows you to describe textual concrete syntaxes. M2L including its textual representation is bootstrapped which should also demonstrate the expressive power of M2L. The open-source project OOMEGA implements a language engineering workbench based on Eclipse and M2L.     «

The increasing complexity of systems-engineering methods demand a novel class of modelling languages, covering total system development from requirements engineering to testing. In order to be able to describe such integrated modelling languages including their extensive consistency constraints, this work introduces a formal metamodelling approach without eliminating the established concepts of UML. The resulting metamodelling language M2L is based on the Edge Algebra which allows you to specify...     »

Die zunehmende Komplexität der Systementwicklungsmethoden erfordert eine neue Klasse von Modellierungssprachen, welche die gesamte Entwicklung vom Anforderungsmanagement bis zum Testen umfasst. Um solche integrierten Modellierungssprachen mit ihren umfangreichen Konsistenzbedingungen auf geeignete Weise beschreiben zu können, führt diese Arbeit einen formalen Metamodellierungsansatz ein, ohne auf etablierte Konzepte der UML verzichten zu müssen. Die resultierende Metamodellierungssprache M2L basiert auf der Kanten-Algebra, die es erlaubt, solche Konsistenzbedingungen formulieren zu können. Neben der Definition von abstrakten Syntaxen erlaubt M2L auch die Spezifikation von textuellen Syntaxen. M2L einschließlich ihrer textuellen Repräsentation ist selbstbeschreibend was auch die Ausdrucksstärke von M2L demonstriert soll. Das Open-Source-Projekt OOMEGA implementiert eine Language-Engineering-Workbench basierend auf Eclipse und M2L.     «

Die zunehmende Komplexität der Systementwicklungsmethoden erfordert eine neue Klasse von Modellierungssprachen, welche die gesamte Entwicklung vom Anforderungsmanagement bis zum Testen umfasst. Um solche integrierten Modellierungssprachen mit ihren umfangreichen Konsistenzbedingungen auf geeignete Weise beschreiben zu können, führt diese Arbeit einen formalen Metamodellierungsansatz ein, ohne auf etablierte Konzepte der UML verzichten zu müssen. Die resultierende Metamodellierungssprache M2L bas...     »