Multi-level modeling is currently regaining attention in the database and software
engineering community with different emerging proposals and implementations. One driver …

PSOA2Prolog consists of a multi-step source-to-source normalizer followed by a mapper to
a pure (Horn) subset of ISO Prolog. We show the semantics preservation of the steps …

Model transformations enable models, which are the first class entities of MDE.
Transformations are used to generate, refactor, synthesize, reverse engineer and simplify …

Discovery of semantic Web services is a heavyweight task when the number of Web
services or the complexity of ontologies increases. In this paper, we present a new logical …

During the past decade, much effort has been invested in developing standards to overcome
data and software interoperability barriers in the oil and gas industry. Whereas syntactical …

In this study, we present the design and implementation of a knowledge-based intelligent
software agent for helping advisors and students in the choice of courses during the course …