Artículos en Revistas

Permanent URI for this collectionhttp://48.217.138.120/handle/20.500.12272/538

Browse

Author: search.filters.author.Gonnet, Silvio

Search Results

Now showing 1 - 10 of 12
  • Thumbnail Image
    Item
    Metamodel-based formalization of DEVS atomic models
    (Simulation, 2021-09-14) Blas, María Julia; Gonnet, Silvio
    The Discrete-Event System Specification (DEVS) formalism is a modeling formalism based on systems theory that provides a general methodology for hierarchical construction of reusable models in a modular way. When concrete DEVS models are developed using programming languages, it is difficult to ensure they conform to their formal model. Hence, building an implementation of formal models in a way that ensures DEVS formalism correctness is not easy. In this paper, we improve the interplay of abstraction (i.e., formal specification) and concreteness (i.e., programming code implementation) in advancing the theory and practice of DEVS using a specific-designed metamodel. The main contribution is a novel conceptualization of classic DEVS with ports founded on existing approaches but, that also includes new improved elements related to the definition of atomic models. That is, our metamodel includes all the concepts and relationships needed to define the formal specification of DEVS atomic models. This allows us to define instances of our conceptualization that comply with the DEVS formal specification. To instantiate our metamodel, we propose a computer-aided environment that has been developed using the Eclipse Modeling Project. As an example, we show how our metamodel can be used to define the classic “switch” model. As a conclusion, we discuss how the final metamodel can be used to support interoperability with DEVS simulation tools.
  • Thumbnail Image
    Item
    The role of ontologies in Smart Contracts : a systematic literature review
    (Journal of Industrial Information Integration, 2024-07) Alvarado Domínguez, Johnny; Gonnet, Silvio; Vegetti, Marcela
    The aim of this systematic literature review is to provide a comprehensive understanding of how ontologies address current Smart Contract challenges, identify application scenarios, and present tools and technologies associated with their use. This systematic literature review (SLR), following Kitchenham's methodology, analyses peerreviewed articles from 2015 to August 2022 from databases such as Scopus, IEEE, Science Direct, Springer Link and ACM. Of the 501 publications identified, 21 are selected for in-depth review based on inclusion, exclusion and quality assessment criteria. The results of this SLR show that ontologies provide solutions to the challenges faced by Smart Contracts mainly at the creation stage. They allow the terms of the contract and the roles of the parties to be defined. Ontologies also enable the development of Smart Contract templates. This facilitates their use by people without technical programming expertise. Despite these potential solutions to the challenges that Smart Contracts face throughout their lifecycle, they lack verification. This increases the vulnerabilities to which Smart Contracts are exposed. Developing validation and verification tools could facilitate using ontologies to create Smart Contracts for different real-world cases.
  • Thumbnail Image
    Item
    Enriching UML statecharts through a metamodel : a model-driven approach for the graphical definition of DEVS atomic models
    (IEEE Latin America Transactions, 2023-01-11) Dalmasso, Fidel; Blas , María Julia; Gonnet, Silvio
    The Discrete Event System Specification (DEVS) formalism provides a set of mathematical elements for modeling time-varying systems. However, when DEVS models are implemented in an executable representation (i.e., using a generalpurpose programming language), some deviation from the formalism is unavoidable. One way to bridge the gap between modeling and simulation theory and practice is to define new artifacts that support both views during the specification. When the specification is supported with a graphical representation, the formalization task is less complex and can be performed by nonexpert modelers. For DEVS atomic models, most common graphical representation is through UML statecharts. In this paper, we present a theoretical and practical metamodel for the definition of atomic models structured following the Classic DEVS with Ports formalization. Such a metamodel is the core of a model-driven approach used to develop a modeling software tool that employs enriched UML statecharts for the graphical representation of the DEVS behavior. In here, the traditional UML statechart representation is enriched with a set of new components with the aim to provide a broad definition of DEVS atomic models. The final software tool is deployed as a plugin for Eclipse Platform.
  • Thumbnail Image
    Item
    Ontología para la representación de entidades con comportamientos basados en eventos
    (SADIO Electronic Journal of Informatics and Operations Research (EJS), 2022) Blas, María Julia; Gonnet, Silvio; Becker, Pablo; Olsina, Luis
    El modelado de comportamientos dinámicos usando eventos como disparadores del cambio de estado de entidades es un área de interés en Modelado y Simulación (M&S). En este trabajo se presentan los términos, propiedades, relaciones y axiomas de ParticularEventCO (PEventCO) como un modelo semántico basado en la noción de eventos causados por el comportamiento de entidades. Esta ontología se encuentra situada en el nivel “Core” de la arquitectura FCDOntoArch, donde la ontología ThingFO define el nivel fundacional. El principal objetivo es lograr una representación del comportamiento de entidades dinámicas siguiendo un enfoque basado en eventos como complemento de las ontologías ya existentes en FCD-OntoArch. Luego, se detalla la forma en la cual los principales elementos del nivel fundacional han sido redefinidos en PEventCO. Además, se incluye la especificación formal del modelo haciendo uso de ConceptBase, junto con la instanciación de una prueba de concepto tomada del área de M&S.
  • Thumbnail Image
    Item
    Mapping RDEVSNL-­based Definitions of Constrained Network Models to Routed DEVS Simulation Models
    (2024-03-27) Espertino, Clarisa; Blas, María Julia; Gonnet, Silvio
    The Routed DEVS (RDEVS) formalism has been introduced recently to provide a reasonable formalization for the simulation of routing processes over Discrete Event System Specification (DEVS) models. Due to its novelty, new software tools are required to improve the Modeling and Simulation (MS) tasks related to the RDEVS formalism. This paper presents the mapping between constrained network models obtained from textual specifications of routing processes and RDEVS simulation models implemented in Java. RDEVSNL context­free grammar (previously defined) is used to support the textual specification of a routing process as a constrained network model. Such grammar is based on a metamodel that defines the syntactical elements. This metamodel is used in this paper as a middleware that allows mapping constrained network model concepts with RDEVS simulation models. From such a constrained network model template, RDEVS Java implementations are obtained. The proposal is part of a work­in­progress intended to develop MS software tools for the RDEVS formalism using well­known abstractions to get the computational models through conceptual mapping. Using these tools, modelers can specify simulation models without needing to codify any routing implementation. The main benefits are i) reduction of implementation times and ii) satisfactory simulation model correctness regarding the RDEVS formalism.
  • Thumbnail Image
    Item
    Using UML and OCL as languages to define DEVS atomic models
    (2020 Winter Simulation Conference, 2020) Blas, Maria Julia; Gonnet, Silvio
    This paper presents a work-in-progress intended to define the foundations for building a representation of DEVS using conceptual modeling languages from information system engineering. We use UML and OCL languages to define a metamodel that conceptualizes atomic DEVS models. Such a representation enhances the DEVS modeling activity providing atomic model definitions as instances of the metamodel developed
  • Thumbnail Image
    Item
    DEVS-based formalism for the modeling of routing processes
    (2021) Blas, Maria Julia; Leone, Horacio; Gonnet, Silvio
    The Discrete Event System Specification (DEVS) is a modular and hierarchical Modeling and Simulation (M&S) formalism based on systems theory that provides a general methodology for the construction of reusable models. Well-defined M&S structures have a positive impact when building simulation models because they can be applied systematically. However, even when DEVS can be used to model routing situations, the structures that emerge from this kind of problem are significant due to the handling of the flow of events. Often, the modeler ends with a lot of simulation models that refer to variants of the same component. The goal of this paper is to analyze the routing process domain from a conceptual modeling perspective through the use of a new DEVS extension called Routed DEVS (RDEVS). The RDEVS formalism is conceptually defined as a subclass of DEVS that manages a set of identified events inside a model network where each node combines a behavioral description with a routing policy. In particular, we study the modeling effort required to solve the M&S of routing problems scenarios employing a comparison between RDEVS modeling solutions and DEVS modeling strategies. Such a comparison is based on measures that promote the capture of the behavioral complexity of the final models. The results obtained highlight the modeling benefits of the RDEVS formalism as a constructor of routing processes. The proposed solution reduces the modeling effort involved in DEVS by specifying the event routing process directly in the RDEVS models using design patterns. The novel contribution is an advance in the understanding of how DEVS as a system modeling formalism supports best practices of software engineering in general and conceptual modeling in particular. The reusability and flexibility of the final simulation models, along with designs with low coupling and high cohesion are the main benefits of the proposal that improve the M&S task applying a conceptual modeling perspective.
  • Thumbnail Image
    Item
    Modeling and simulation framework for quality estimation of web applications through architecture evaluation
    (2020) Blas, Maria Julia; Leone, Horacio; Gonnet, Silvio
    The explosive growth of the cloud computing industry in recent years has paying attention to problems related to software services quality. Given that quality models serve as frameworks for quality evaluation, this paper proposes a modeling and simulation framework that measures properties derived from ISO/IEC 25010 quality model as main quality concerns of cloud computing applications. The simulation models are obtained by translating the architectural design to an equivalent functional description that, with aims to obtain the quality evaluation, explores all possible component states. Moreover, the framework automatically builds the simulation models using a set of predefned behaviors as components descriptors. Such models are combined with an experimental frame in a simulation scenario that helps to estimate quality employing the performance of the architectural design. Therefore the simulation process is hidden to software architects, providing an evaluation process able to be executed by any developer without knowledge of discrete-event simulation. Two general architectures are used as case study in order to show how works the modeling and simulation framework.
  • Thumbnail Image
    Item
    Desarrollo de un modelo integral para el estudio de la calidad en aplicaciones web por medio de simulación
    (2021) Blas, Maria Julia; Leone, Horacio; Gonnet, Silvio
    El estudio de los entornos de computación en la nube se divide en dos áreas principales: infraestructura y aplicación. A nivel de aplicación, los arquitectos de software especifican los productos siguiendo el modelo de servicios de software. Este trabajo propone un modelo integral basado en simulación que captura la información de las arquitecturas de software de aplicaciones web a fin de evaluar cuantitativamente aspectos de calidad en etapas tempranas de desarrollo. La propuesta integra un modelo semántico para la definición de las propiedades de calidad con una herramienta de modelado basada en patrones de diseño. Los modelos de simulación son generados en base a la combinación de ambos elementos. Estos modelos son especificados utilizando una adaptación del formalismo de simulación Discrete Event System Specification denominada Routed DEVS, la cual ha sido diseñada para abordar el estudio de problemas de ruteo.
  • Thumbnail Image
    Item
    Nuevos aportes de las tecnologías de información para el desarrollo de simulación distribuida
    (2020) Sarli, Juan Leonardo; Blas, Maria Julia; Gonnet, Silvio
    Se entiende por simulación al proceso por medio del cual se representa, reproduce o imita el comportamiento observable de un proceso o sistema real a lo largo del tiempo y el espacio. La simulación distribuida tiene la capacidad de acelerar la ejecución de un único modelo, vincular y reutilizar múltiples modelos para simular modelos más grandes y acelerar la ejecución de etapas de experimentación. En este contexto, la construcción de simulaciones distribuidas ha mejorado en los últimos años gracias al surgimiento de nuevas tecnologías de la información. En este artículo se describen los principios, modos de trabajo y enfoques de administración de tiempo asociados a esta técnica junto con las herramientas de software que, en la actualidad, brindan soporte a su aplicación. Además, se presenta una revisión bibliográfica que evidencia el crecimiento (y la importancia) de su uso como técnica de estudio en diferentes dominios