Facultad Regional Santa Fe

Permanent URI for this communityhttp://48.217.138.120/handle/20.500.12272/113

Browse

Author: search.filters.author.Gonnet, Silvio

Search Results

Now showing 1 - 10 of 28
  • 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
    Tracking events as an add-on functionality of the routed DEVS formalism
    (V Workshop em Modelagem e Simulação de Sistemas Intensivos em Software, 2023-09-25) Blas, María Julia; Toniolo, Mateo; Gonnet, Silvio
    The Routed DEVS (RDEVS) models improve traditional discreteevent models by enhancing the development of routing processes over predefined behaviors. This paper provides a novel solution for tracking events flowing in such routing processes as a new functionality of the RDEVS formalism. Such functionality is given by redesigning the original formalism following the “Decorator” pattern. An implementation of the redesign is developed as part of the RDEVS Java Library. As a result, we provide a solution that allows getting structured data from RDEVS models at execution time without changing their expected behavior or the simulator engine.
  • 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
    A modeling framework for complex systems
    (Winter Simulation Conference, 2024) Blas, María Julia; Gonnet, Silvio
    This paper presents a modeling framework for defining abstractions of real-world complex systems promoting the development of discrete-event simulation models based on DEVS. An ontology, a metamodel, and a reasoner are combined in one single structure to allow an upgrade of an abstraction model to an implementation model. Our motivation is to reduce the effort related to the modeling part when specifying DEVS models for complex systems described from an abstraction of reality built over a research question. Applications include an easier introduction to M&S for students of any scientific field that can define an abstraction model with an easier introduction to DEVS models (from formalization to implementation).
  • Thumbnail Image
    Item
    Modeling and simulation through the metamodeling perspective : the case of the discrete event system specification
    (Springer Cham, 2023-01-24) Blas, María Julia; Gonnet, Silvio
    The Discrete Event System Specification (DEVS) is a modeling formalism that supports a general methodology for describing discrete event systems with the capability to represent both continuous and discrete systems due to its system theoretic basis. This chapter addresses the use of metamodeling and the role of related technologies in the Modeling and Simulation (M&S) field, mainly devoted to implementing DEVS models. The main aim is to answer the following questions: What is the significance of model-based engineering in the M&S field? Can a computational representation of DEVS defined following the principles of metamodeling improve the modeling task? How can DEVS models obtained through metamodeling integrate with simulators? This chapter discusses using metamodels as the foundation to define formal DEVS models from a computational point of view. A metamodel-based computational representation of DEVS formalism is described. From such a computational representation, how current technologies can be used to support DEVS metamodel in existing M&S software tools is discussed. The chapter shows how concrete DEVS models are used in existing M&S software tools to get executable simulation models through metamodel instantiation. Illustrative examples show how the DEVS metamodel improves the simulation model specification. The chapter concludes with a discussion of the current state of the metamodeling approach used in the M&S field and the remaining problems that need to be addressed in the future.
  • Thumbnail Image
    Item
    Un método de evaluación de ontologías basado en el análisis de categorías de términos
    (CoNaIISI, 2023) Schwab, Christian Germán; Blas, María Julia; Gonnet, Silvio
    En los proyectos de implementación de ontologías es habitual la consideración de ontologías externas para su incorporación en el mismo. La forma en que la importación de ontologías ocurre en un proyecto es por medio de su inclusión, modificación, o extensión a efecto que responda lo mejor posible al objetivo y requerimientos que la ontología en desarrollo tiene propuestos. En este trabajo se expone un método para evaluar una ontología respecto de un conjunto de categorías de términos con tal de poder responder si una ontología es factible de ser incorporada al proyecto. El método basa sus conclusiones en la cantidad de términos que se puedan reconocer en las categorías derivadas de los términos incluidos en las taxonomías definidas en una ontología. Se propone un algoritmo para definir el método y la aplicación en una ontología concreta para ejemplificar un caso de estudio.
  • 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
    Especificación de modelos de simulación RDEVS : diseño e implementación de una gramática libre de contexto
    (CoNaIISI, 2021) Espertino, Clarisa; Blas, Maria Julia; Gonnet, Silvio
    Se presenta una gramática libre de contexto para la definición de procesos de enrutamiento como un caso particular de un modelo de red restringido. La gramática se basa en un metamodelo que define la semántica sobre los elementos sintácticos. Como soporte, se implementó un editor de texto como un plugin para Eclipse, con sugerencias de escritura, una herramienta para la creación de archivos y opciones de validación. Esta herramienta es el paso inicial de un complemento de software para Eclipse que permitirá obtener un modelo de simulación de eventos discretos sin tener conocimientos de programación, utilizando especificaciones escritas en lenguaje natural, que serán procesadas y validadas para garantizar la consistencia de dicho modelo