Our research goal is the generation of working web applications from high level specifications. Based on our experience in using XML transformations for that purpose, we applied this approach to the rapid development of database management applications. The result is an architecture that defines of a web application as a set of XML transformations, and generates these transformations using seco...

We present a prototype for executing and verifying graph transformations. The transformations are written in a simple imperative programming language, and preand post-conditions as well as loop invariants are specified in the Description Logic ALC (whence the name of the tool). The programming language has a precisely defined operational semantics and a sound Hoare-style calculus. The tool cons...

The Kolmogorov-Sinai entropy is a far reaching dynamical generalization of Shannon entropy of information systems. This entropy works perfectly for probability measure preserving (p.m.p.) transformations. However, it is not useful when there is no finite invariant measure. There are certain successful extensions of the notion of entropy to infinite measure spaces, or transformations with ...

background & aim: a meta-analysis refers to the statistical synthesis of results from a series of studies and has been used to estimate pooled prevalence of human diseases. in this study, we review some statistical issues regarding the meta-analysis of the prevalence of human diseases such as statistical software and programs, transformations of prevalence rate, assessment of heterogeneity, and...

Model transformations play a key role in any software development project based on Model-Driven Engineering (MDE) principles. However, little attention has been paid to the application of MDE principles to automate the design of integration solutions. The aim of the paper is to present transformations of a model-to-model type, used to automate the process of integration platform’s architecture ...