Logo des Repositoriums

Auflistung nach Autor:in "Soden, Michael"

1 - 2 von 2
  • Konferenzbeitrag
    Ansatz zur Metamodellierung mit Verhalten und dessen Anwendungen
    (Modellierung 2008, 2008) Soden, Michael; Eichler, Hajo
    Metamodellierung bietet ein adäquates Mittel für die Definition verschiedenster Artefakte in Softwareentwicklungsprojekten. Um eine vollsta ̈ndige, ausfu ̈hrbare Spezifikation von Softwaresystemen und Plattformen zu erhalten, bedarf es Metamo- dellen mit Verhaltensbeschreibungen. Im Rahmen dieses Forschungsvorhaben werden verschiedene Erweiterungen der Meta Object Facility (MOF) der Object Management Group (OMG) erarbeitet und auf unterschiedliche Phasen im Softwareentwicklungs- zyklus angewendet. Das dabei entstehende Metamodellierungsframework mit Verhal- tensbeschreibung, Instanziierungskonzept, Szenarien- und Datenaufnahme, etc. zielt auf Verbesserungen bei der Anforderungsanalyse, fru ̈hst mo ̈glicher Validierung durch Simulation und der nahtlosen Integration des Testens ab.
  • Konferenzbeitrag
    An Approach to use Executable Models for Testing
    (Enterprise modelling and information systems architectures – concepts and applications, 2007) Soden, Michael; Eichler, Hajo
    This paper outlines an approach to test programs by transforming them into executable models. Based on OMG’s metamodelling framework MOF in combination with an action language extension for the definition of operational semantics, we use QVT to transform abstract syntax trees as code representations into executable models. We argue that these models provide an adequate abstraction for simulation and testing, since platform dependencies can be resolved in a controlled way during transformation to detach the program logic from its environment. A prototypic implementation based on eclipse EMF underpins the approach.