Publicaciones en Congresos, Conferencias y Jornadas

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

Browse

Author: search.filters.author.Gonnet, SilvioHas files: Yes

Search Results

Now showing 1 - 10 of 13
  • 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
    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
  • Thumbnail Image
    Item
    Diseño e implementación de una herramienta de software para el modelado y simulación en RDEVS (WIP)
    (CoNaIISI, 2020) Blas, Maria Julia; Dalmasso, Fidel; Toniolo, Mateo; Gonnet, Silvio
    En los últimos años, el campo de Modelado y Simulación ha comenzado a abordar nuevas propuestas basadas en la construcción de modelos conceptuales como soporte al diseño e implementación de modelos de simulación. Bajo esta perspectiva, la definición de un modelo de simulación puede formularse partiendo de un modelo conceptual en el cual se abstrae el dominio del problema bajo estudio. En este trabajo se presenta la arquitectura de una herramienta de software para la construcción, ejecución y visualización de modelos de simulación basados en Routed DEVS. El formalismo Routed DEVS ha sido presentado con anterioridad como una subclase del formalismo Discrete Event System Specification que busca dar solución a la identificación de eventos como funcionalidad embebida dentro de los modelos de simulación. Se presenta un conjunto de módulos de software que toman como punto de partida una representación gráfica del dominio y generan el código Java asociado a los modelos requeridos. Estos módulos son acompañados de módulos de captura de datos y visualización de información con el objetivo de proveer al usuario, de forma simple y amigable, una evaluación del estado resultante de cada corrida de simulación.
  • Thumbnail Image
    Item
    Developing RDEVS simulation models from textual specifications
    (CBSoft 2022 - IV Workshop on Software-Intensive Systems Modeling and Simulation (MSSiS), 2022) Espertino, Clarisa; Blas, Maria Julia; Gonnet, Silvio
    The Routed DEVS (RDEVS) formalism provides a formalization for routing process simulation. This paper presents the mapping between constrained network models obtained from textual specifications of routing processes and RDEVS simulation models implemented in Java. The proposal is part of a work-in-progress intended to develop M&S software tools for the RDEVS formalism using well-known abstractions to get the computational models attached to such abstraction models through conceptual mapping. Then, modelers can have simulation models without needing to codify any routing implementation. Benefits are i) reduction of implementation times and ii) simulation model correctness regarding the RDEVS formalism.
  • Thumbnail Image
    Item
    Modeling routing processes through network theory : a grammar to define RDEVS simulation models
    (III Workshop on Software-Intensive Systems Modeling and Simulation (MSSiS), 2021) Blas, Maria Julia; Espertino, Clarisa; Gonnet, Silvio
    The Routed DEVS (RDEVS) formalism provides a reasonable formalization for the simulation of routing processes. In this paper, we introduce a context-free grammar for the definition of routing processes as a particular case of a constrained network model. Such grammar is based on a metamodel that defines the semantics over the syntactical elements. This metamodel allows a direct mapping between its concepts and RDEVS simulation models. A Java implementation is provided for the grammar as a plug-in for Eclipse IDE. The main benefit of this software tool is the feasibility of getting a simulation model without having programming skills
  • Thumbnail Image
    Item
    Building DEVS models from the functional design of software architecture components to estimate quality
    (2nd. Workshop on Software-Intensive Systems Modeling and Simulation (MSSiS), 2020) Blas, María Julia; Leone, Horacio; Gonnet, Silvio
    Software architectures can be used as a vehicle to improve the study of quality properties in the early stages of development. This paper proposes an automatic mapping between the design of architectural components and the specification of DEVS atomic models with aims to evaluate all-purpose quality metrics. Then, we use the functional description of architectural components (that address functional requirements) to estimate the architecture adjustment to non-functional requirements. The guidelines for structuring the simulation models are defined starting from the design of high-level components. To illustrate the proposal, web-based architecture is used as proof of concepts.
  • Thumbnail Image
    Item
    Computer-aided design for building multipurpose routing processes in discrete event simulation models
    (2021) Blas, Maria Julia; Gonnet, Silvio
    Good domain-modeling enables an appropriate separation of concerns that improves quality properties in the simulation models, such as modifiability and maintainability. In this paper, the interplay of abstraction and concreteness in advancing the theory and practice of Modelling and Simulation is improved using the Model-Driven Engineering levels for building simulation models devoted to routing processes. The definition of this type of processes is detailed as a domain-model conceived as an abstraction defined in a graph model. Such abstraction turns into a set of formal simulation models that are (later) translated into an executable implementation. The final simulation models are specified using Routed DEVS formalism. The methodological proposal is accomplished with the development of a Modelling and Simulation graphical software tool that uses the set of models (defined in terms of the Model-Driven Engineering approach) as the core of its operation. This graphical software tool is developed as a plug-in for Eclipse Integrated Development Environment with aims to take advantage of existent Modeling and Simulation software. Therefore, the usefulness of graphical modeling for supporting the development of the simulation models is empowered with a Model-Driven Engineering process. The main benefit obtained when the Model-Driven Engineering approach is used for modeling an abstraction of the final simulation model is a clear reduction of formalization and implementation times.
  • Thumbnail Image
    Item
    Using model-to-model transformations for web software architecture simulation
    (2022) Blas, Maria Julia; Gonnet, Silvio
    The development of evaluation methods that allow improving the capture of quality data regarding software architectures is a topic of interest in Software Engineering. However, the dynamic of the traditional methods used for architecture evaluation is not enough to deal with the architectural complexity exhibit in new types of software products (such as cloud and web applications). In this paper, we present a model-to-model mapping based on modeling and simulation techniques that can be used as a complement of the traditional evaluation methods to improve the architecture design of complex systems. Using the set of elements that compose the architecture design of web applications, an abstraction model is designed with the aim to define the basic structure for the equivalent simulation model. Such a simulation model is detailed using two discrete-event formalisms: Discrete Event System Specification and Routed DEVS. In each case, a mapping is proposed to capture the full structure of the architecture with all its complexity. We compare both solutions to judge their applicability. Hence, the main advantages and disadvantages of both approaches are analyzed with the aim to evaluate their use in the architecture design stage of Software Engineering projects related to web applications.
  • Thumbnail Image
    Item
    Modelo para la digitalización de activos de la industria batch basado en el estándar ISA 88
    (51º JAIIO - SIIIO, 2022) Pairol Fuentes, Rachel; Alvarado Domínguez, Johnny; Vegetti, Marcela; Roldán, Luciana; Gonnet, Silvio
    Un Asset Administration Shell (AAS) representa digitalmente un asset y facilita la interoperabilidad entre los miembros de la cadena de valor de la Industria 4.0. El AAS organiza la representación de los datos de un asset mediante submodelos compuestos por elementos (datos, propiedades, archivos, colecciones, entre otros) que permiten describir las principales características del asset en diferentes dominios. Diferentes submodelos de componentes electrónicos han sido desarrollados a la fecha, sin embargo, el desarrollo de éstos en el dominio de las industrias de procesos está aún pendiente. Esta contribución propone un modelo para representar digitalmente assets del dominio de la industria de procesos batch. El modelo propuesto parte de la extensión del metamodelo del Asset Administration Shell, e incorpora la definición de submodelos apropiados para este tipo de industria. Los conceptos incluidos están basados en el estándar ISA 88, específicos de la industria de procesos batch. Se presenta también la instanciación de dicho modelo en un caso de uso en la producción de detergente.
  • Thumbnail Image
    Item
    Un modelo conceptual para la especificación y trazabilidad de requerimientos funcionales basados en casos de uso y casos de prueba
    (2017) Roldán, María Luciana; Marciszack, Marcelo Martín; Vegetti, Marcela; Gonnet, Silvio; Leone, Horacio
    Existe una estrecha relación entre las actividades de la ingeniería de requerimientos y las pruebas de sistemas de software intensivos. Por un lado, una especificación completa, consistente y legible de requerimientos permite una buena definición de casos de prueba. Por otro lado, la realización de actividades de prueba, particularmente la definición de los casos de prueba, provee información valiosa para la mejora de la especificación de requerimientos. En este trabajo se propone un enfoque basado en modelos de prueba que permite la derivación de casos de prueba (CP) a partir de la especificación de casos de uso (CU) textuales, que permite definir la cobertura de las pruebas a realizar sobre el sistema. Tal derivación se logra mediante un artefacto intermedio denominado modelo de prueba, el cual tiene una doble función. Por un lado permite validar posibles cursos de acción en un CU, y por el otro permite generar CP teniendo en cuenta diferentes criterios de cobertura sobre el comportamiento especificado en los CU. Para alcanzar el objetivo se construye una ontología basada en un modelo conceptual que permite definir e integrar conceptos relativos a los metamodelos de las diferentes herramientas de soporte a las actividades del proceso de desarrollo de software intervinientes, posibilitando la interoperabilidad entre ellas para lograr consistencia y trazabilidad de artefactos