Sciweavers

ECMDAFA
2007
Springer
84views Hardware» more  ECMDAFA 2007»
14 years 1 months ago
A Practical Approach to Model Extension
In object technology, reusability is achieved primarily through class inheritance. In model engineering, where reusability is also important, it should be possible to extend a mode...
Mikaël Barbero, Frédéric Jouaul...
ECMDAFA
2007
Springer
156views Hardware» more  ECMDAFA 2007»
14 years 3 months ago
Human Comprehensible and Machine Processable Specifications of Operational Semantics
Abstract. This paper presents a method to describe the operational semantics of languages based on their meta-model. We combine the established high-level modelling languages MOF, ...
Markus Scheidgen, Joachim Fischer
ECMDAFA
2007
Springer
100views Hardware» more  ECMDAFA 2007»
14 years 5 months ago
Reverse Engineering Models from Traces to Validate Distributed Systems - An Industrial Case Study
The paper targets the applicability of model-driven methodologies to the validation of complex systems and presents a case study of a mobile radio network. Validation relies on the...
Andreas Ulrich, Alexandre Petrenko
ECMDAFA
2007
Springer
122views Hardware» more  ECMDAFA 2007»
14 years 5 months ago
Model Transformation from OWL-S to BPEL Via SiTra
Although there are a large number of academic and industrial model transformation frameworks available, allowing specification, implementation, maintenance and documentation of mod...
Behzad Bordbar, Gareth Howells, Michael Evans, Ath...
ECMDAFA
2007
Springer
108views Hardware» more  ECMDAFA 2007»
14 years 5 months ago
An Algebraic View on the Semantics of Model Composition
Due to the increased complexity of software development projects more and more systems are described by models. The sheer size makes it impractical to describe these systems by a s...
Christoph Herrmann, Holger Krahn, Bernhard Rumpe, ...