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, ...
We present a formal semantics for an objectoriented formalism which allows for the representation of plural objects (such as `Three N', `Most of the N', `Some N',.....
As semantic markup becomes ubiquitous, it will become important to be able to ask queries and obtain answers, using natural language (NL) expressions, rather than the keyword-based...
It is becoming increasingly important for applications to protect sensitive data. With current techniques, the programmer bears the burden of ensuring that the application’s beh...
Abstract. Model differences calculated by differencing algorithms contain the atomic changes made to a model. However, they do not capture the user’s intention of the modifica...