Navegación

Búsqueda

Búsqueda avanzada

Resultados de búsqueda para conceptual modelling

Model Extension and Reinterpretation to Simulate Liskov Compatibility

Extensive literature exists on how software models are created, maintained and validated, but little attention has been paid to what happens to models during their practical use. Often, a model is created by someone and then used by someone else, so that model extension may be necessary to adjust the model to particular usage needs and context. Model extension usually involves making changes to the base model, but these changes are likely to produce a resulting model that is no longer Liskov-compatible with the base one. To avoid this, many extension approaches restrict what changes are possible once the model has been finished, limiting the expressive power and reach of potential extensions. In this paper we present a new approach to model extension, based on the ConML modelling language, which puts very few limitations on how a model may be changed. A set of reinterpretation rules are used so that a human or tool can easily recast an instance model conforming to the extended model as conforming to the base one. By using this approach, expressiveness and reach of model extension is higher, while preserving Liskov compatibility with the base model and facilitating model reuse and application.

Autores: Cesar Gonzalez-Perez / Patricia Martin-Rodilla / 
Palabras Clave: conceptual modelling - ConML - Liskov Compatibility - Model Extension - Model Reinterpretation

Easing DApp Interaction for Non-Blockchain Users from a Conceptual Modelling Approach

Blockchain decentralized applications (DApp+IBk-s) are applications which run on blockchains nodes. Thus, to interact directly with this sort of applica-tions, users need to have a blockchain address, wallet, and knowledge about how to make transactions to interact with DApp+IBk-s. Therefore, the knowledge required to use a DApp can easily make users to desist when trying to interact with them. To tackle this issue, we propose a software ar-chitecture that will be in the middle of the user and the DApp, thus making users initially unaware of the fact that they are interacting with a DApp. This is achieved by analyzing the relationship between DApps and Apps by using UML modelling. Next, based on the previous analysis, we created a middleware for users to interact with a DApp in the same manner they do with a traditional web app, i.e., by using usernames, passwords and user in-terface elements instead of addresses, private keys or transactions. To put the developed middleware into practice, we developed a DApp that makes use of it. This DApp registers the time control of workers from companies by using blockchain to store the data in a secure and non-modifiable man-ner. Finally, we performed an experiment, thus demonstrating that a DApp that implements the proposed middleware would improve its usability for users with no experience with blockchain.

Autores: Miguel A. Teruel / Juan Trujillo / 
Palabras Clave: Blockchain - Clockchain - conceptual modelling - DApp - Ethereum - Middleware - Quorum - Smart Contract - Solidity - UML

Achieving software-assisted knowledge generation through model-driven interoperability

A software system is a complex artefact involving several aspects, such as requirements and behavioural workflows. Information systems engineering has generated several approaches to create software models reflecting these aspects. To obtain the necessary integration, the relations between the involved models must be expressed formally. Currently, this necessity is particularly evident in systems built to assist users in performing knowledge generation, such as scientific knowledge-management systems. Model-Driven Engineering provides some interoperability techniques for expressing inter-model relations. In this paper, a specific metamodel is proposed for integrating different modelling perspectives of software systems built for assisting users in knowledge generation. Furthermore, the integration metamodel is initially validated through its application to the integration of modelling perspectives of a system to assist knowledge generation in the cultural heritage domain. The integration metamodel proposed allows the system to make knowledge generation decisions by manipulating the relations between the involved models on behalf of the user.

Autores: Patricia Martín-Rodilla / Giovanni Giachetti / Cesar Gonzalez-Perez / 
Palabras Clave: conceptual modelling - cultural heritage - interoperability - knowledge generation - MDE - software assistance

No encuentra los resultados que busca? Prueba nuestra Búsqueda avanzada