the effect on sugar beets of water and nitrogen movement in the soil under different water conditions was assessed over two years (2000-1) at the khorasan agricultural research center. three water treatments (no water stress, continuous stress and primary stress) and three n amounts (80, 160 and 240 kg n/ha) were investigated. the amount of moisture depletion in the water treatments was 50%, 80...

In this document, a brief overview of my doctoral research is presented. In model-driven engineering (MDE), most problems are solved using model transformation. An efficient process to solving these problems is to apply reusable patterns while solving them. Finding reusable design patterns to specific subsets of problems helps to decrease the time and cost needed to solve them. My doctoral rese...

Refinement is a central notion in computer science, meaning that some artefact S can be safely replaced by a refinement R, which preserves S’s properties. Having available techniques and tools to check transformation refinement would enable (a) the reasoning on whether a transformation correctly implements some requirements, (b) whether a transformation implementation can be safely replaced by ...

Today, model-driven development is getting more sophisticated and can be used for modeling enterprises and developing application systems. Since current interoperability solutions operate essentially at a syntactical level, technologies have to be developed enabling interoperability based on middleware, and development platforms have to be enriched with machine-understandable semantics. Our app...

Model transformation (MT) testing is gaining interest as the size and complexity of MTs grows. In general it is very difficult and expensive (time and computational complexity-wise) to validate in full the correctness of a MT. This paper presents a MT testing approach based on the concept of Tract, which is a generalization of the concept of Model Transformation Contract. A Tract defines a set ...

The paper describes a new graphical model transformation language MOLA. The basic idea of MOLA is to merge traditional structured programming as a control structure with pattern-based transformation rules. The key language element is a graphical loop concept. The main goal of MOLA is to describe model transformations in a natural and easy readable way.

During the design process of dependable computer controlled systems the verification process aiming to assess whether the system fulfils its requirements or needs some re-design is indispensable at each level of abstraction and after each step of system model refinement in order to spare time and resources. When such a refinement step is performed, system characteristics like dependability, tim...

Model transformations are a key component in Model Driven Development, but most approaches only allow ‘one shot’ transformations to be expressed. Change propagating model transformations are those which can make suitable updates to models after an initial transformation. In this paper I outline the challenges presented by change propagating model transformations, before presenting a new change ...