A modeling language consists of both a notation and a metamodel, the latter of which captures the syntactic wellformedness constraints that all valid models must obey. We present two versions of a metamodel for an industrialstrength object-oriented modeling language, BON. The first version of the metamodel, written in BON itself, is intended to give a precise and understandable description of t...

In this paper, we present the development and validation of a Disaster Management Metamodel, a language that we develop specific for describing disaster management domain, as a foundational component to create a decision support system to unify, facilitate and expedite access to disaster management expertise. The metamodel which consists of four views based on disaster management phases includi...

A metamodel is a model that has the ability to create the languages of many domain models. Domain models are conceptual models of a domain under study and contain all the entities, attributes, relationships, and constraints of the domain. As the artifact of a metamodeling technique, a metamodel could generalize most of the concepts used in existing domain models by unifying the views and struct...

To focus only on those parts of a metamodel that are of interest for a specific task requires techniques to generate metamodel snippets. Current techniques generate strictly structure-preserving snippets, only, although restructuring would facilitate to generate less complex snippets. Therefore, we propose metamodel shrinking to enable type-safe restructuring of snippets that are generated from...

We define a metamodel for access control that takes into account the requirements of distributed environments, where resources and access control policies may be distributed across several sites. This distributed metamodel is an extension of the category-based metamodel proposed in previous work (from which standard centralised access control models such as MAC, DAC, RBAC, Bell-Lapadula, etc. c...

This paper presents a new metamodel based on partially ordered hypersets. The metamodel is minimalist, its only primitives being atoms, potentially infinite hypersets and partial order. The type system is very loose and supports concurrent extensional and intensional definition of types. Every element of the metamodel can be directly referenced, thanks to a powerful automated reification facili...

The various existing agent models do not cover all the possible uses we consider for virtual reality applications. In this paper, we present an agent metamodel (Behave) based on an environment metamodel (Veha). This metamodel allows defining agents and organizing teams of agents in a virtual environment. The use of this metamodel is illustrated by the Gaspar application which simulates activiti...

In this paper, we present a metamodel for supporting the mapping specification between two metamodels. A mapping model based on this proposed metamodel defines correspondences between elements from two metamodels. It can then be used to generate a transformation definition, e.g. using Atlas Transformation Language (ATL). This metamodel is based on the Eclipse Modeling Framework (EMF). A plug-in...

Modeling languages raise the abstraction level at which software is built by providing a set of constructs tailored to the needs of their users. Metamodels define their constructs and thereby reflect the expectations of the language developers about the use of the language. In practice, language users often do not use the constructs provided by a metamodel as expected by language developers. In...

Object-oriented methods, like the Booch method, are widely used in the development of software systems nowadays, but their syntax and semantics are only de ned by natural language text and examples. This paper provides a formalized description of the syntax of the Booch method by using the EER/GRAL approach of modeling.