The study presented in this paper focuses on a navigational and user perspectives analysis of Web applications, highlighting some of their critical points for modeling. To consider these critical points, we propose a notational definition focused on a general metamodel, consisting of three specific metamodels: the Navigational Tree, the Node, and Roles. The metamodels have been implemented with...

A metamodel kernel is a program library or application framework that is used to manage models described in user-defined modelling languages. Metamodel kernels provide the basic functionality to create models, add, delete and update elements in an existing models and to store and retrieve models from a XMI document. Coral is a metamodel kernel that is used to try in practice new research ideas ...

This paper presents various Metamodel–Assisted Evolution Strategies which reduce the computational cost of optimisation problems involving time–consuming function evaluations. The metamodel is built using previously evaluated solutions in the search space and utilized to predict the fitness of new candidate solutions. In addition to previous works by the authors, the new metamodel takes also in...

Aspect orientation is important not only at the programming-level but also at the modeling-level. We previously proposed an aspect-oriented modeling language called AspectM for managing modeling-level aspects. Although AspectM provides basic modeling facilities for a modeler, the language constructs cannot be extended. In this paper, we propose a mechanism called metamodel access protocol (MMAP...

The process to identify and author patterns often involves multiple domain experts. This paper introduces PatternPedia – a collaborative tool chain to document existing solutions and manage patterns abstracted from them. We present an extensible pattern metamodel specified in UML to enable this tool support. Sample metamodel extensions are covered for the domain of cloud computing and costumes ...

In this paper, an MDE-based approach to tool building is described. It is based on a core tool definition metamodel and an interpreter of this metamodel. Besides, an extension of the core metamodel is proposed, allowing for tool-specific model transformations to enrich the behavior of the universal interpreter. As a result, a novel wide-profile tool building platform is obtained. The visualizat...

In this paper we present a language for Abstract State Machine specifications. The ASM metamodel (AsmM), introduced in [18], is a MOF-compliant metamodel representing in an abstract and visual way the concepts and constructs of the ASMs formalism as described in [3]. Here we present a concrete syntax (AsmM-CS), an EBNF (extended Backus-Naur Form) grammar derived from the AsmM as a textual notat...

The study presented in this paper focuses on a navigational and user perspectives analysis of Web applications, highlighting some of their critical points for modeling. To consider these critical points, we propose a notational definition focused on a general metamodel, consisting of three specific metamodels: the Navigational Tree, the Node, and Roles. The metamodels have been implemented with...

Many practical cases of database schema evolution require an effective support from configuration management. Although DBMS construction and software configuration management (SCM) constitute the well established areas of research, they are usually considered in separation from each other. In this paper different issues of SCM are summarized and their relevance to DBMS is investigated. We sugge...

SACM (Structured Assurance Case Metamodel) is a standard for assurance case specification and exchange. It consists of an argumentation metamodel and an evidence metamodel for justifying that a system satisfies certain requirements. For assurance of safety-critical systems, SACM can be used to manage safety evidence and to specify safety cases. The standard is a promising initiative towards har...