Browsing by Author "Leone, Horacio"

Filter results by typing the first few letters
Now showing 1 - 10 of 10
  • 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
    Composability model in a distributed simulation environment for supply chain
    (SADIO Sociedad Argentina de Informática, 2013-09-20) Gutiérrez, María de los Milagros; Leone, Horacio
    Distributed simulation become popular through the use of HLA standard and the necessity of sharing resources. Nevertheless composability of model is still a problem to overcome. Many solutions propose the use of ontology and SOA architectures in the context of distributed simulation. This work presents a solution to compose simulation models in the context of supply chain simulation. The proposal presents a network ontology that conceptualizes different aspect to taking into account when a federation for supply chain is developed.
  • 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
    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
    Un framework extensible para la integración de razonamiento basado en casos con aplicaciones empresariales orientadas a objetos
    (CONAIISI, 2017) Carignano, María Celeste; Gonnet, Silvio; Leone, Horacio
    En la vida cotidiana, las personas utilizan su experiencia para resolver las situaciones que se presentan, recordando circunstancias similares y adaptando las soluciones en función de las características de cada problema particular. En el contexto empresarial, estas prácticas también se llevan a cabo. Muchas veces el conocimiento asociado a ciertas experiencias se encuentra distribuido en las aplicaciones existentes, por lo que solo es necesario identificarlo y definir mecanismos apropiados para poder recuperarlo y reutilizarlo. Razonamiento Basado en Casos es un paradigma de resolución de problemas que involucra el uso de experiencias pasadas para comprender y resolver nuevas situaciones. Se sustenta en la idea de que si una experiencia pasada fue exitosa puede ser utilizada en el presente, en su totalidad o como punto de partida, para decidir o resolver una nueva situación similar. Su principal hipótesis es que problemas similares tienen soluciones similares. En este trabajo, se presenta un framework cuyo objetivo es facilitar la implementación de Razonamiento Basado en Casos en aplicaciones empresariales orientadas a objetos con el fin de poder hacer uso de la experiencia y conocimiento adquirido en el pasado para solucionar y resolver situaciones actuales con calidad y consistencia
  • 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
    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
  • Thumbnail Image
    Item
    OpenSCOR: framework para análisis de performance en simulación distribuida de cadenas de suministro
    (SADIO, 2016-09-09) Sarli, Juan L.; Leone, Horacio; Gutiérrez, María de los Milagros
    Una cadena de suministro es una red de organizaciones que implica relaciones de colaboración entre sus participantes a largo plazo. Para lograr su éxito es necesario coordinar de manera eficiente diversos flujos de materiales, información y dinero. Así el modelo SCOR surge como una herramienta de diseño de cadenas de suministro que realiza una descripción coloquial de las métricas y procesos relevantes de ella. Sin embargo, la simulación emerge como una herramienta adecuada para encontrar el comportamiento más conveniente. Por ello, es necesario determinar qué factores se deben relevar en una simulación para analizar el rendimiento de la misma. Este trabajo presenta un framework que toma como base el modelo SCOR e implementa sus métricas y procesos en componentes de simulación. El objetivo de esta propuesta es brindar un marco de trabajo para la evaluación de la performance en ambientes de simulación de cadenas de suministro.
  • Thumbnail Image
    Item
    SCFHLA: un modelo de interoperabilidad semántica para simulación distribuida de cadenas de suministro
    (2018) Gutiérrez, María de los Milagros; Sarli, Juan Leonardo; Leone, Horacio
    La simulación distribuida de cadenas de suministro tiene la gran ventaja de preservar la independencia de los miembros de la cadena, pudiendo reutilizar simuladores existentes sin necesidad de crear uno nuevo. Sin embargo, el problema que emerge en este tipo de simulación es la necesidad de acordar el conjunto de objetos, eventos, interacciones y métricas, que deben ser entendidas por todos los participantes para lograr con éxito un resultado valioso para los mismos. En este trabajo se presenta un marco conceptual basado en una red de ontologías, que da soporte a las tareas de modelado y composición de la simulación distribuida de cadenas de suministro para garantizar la interoperabilidad semántica de sus miembros. Se utiliza el estándar HLA (High Level Architecture) como herramienta de construcción de una simulación distribuida.
  • Thumbnail Image
    Item
    Uso de una red de ontología para interoperar estandares de datos de productos industriales
    (2020) Fraga, Alvaro Luis; Vegetti, Marcela; Leone, Horacio
    Las industrias de todo el mundo han sufrido las consecuencias que trajo la globalizacion. Este fenómeno impactó en la competitividad de las industrias, obligandolas a integrar sus procesos productivos con otras industrias distribuidas geograficamente. Por lo tanto, las industrias para poder afrontar esta situacion deben reorganizarse y encontrar formas de compartir los modelos comunes que puedan ser manejados por los sistemas de información involucrados. Una de las organizaciones que mas ha aportado a solucionar esta problematica es la Organización Internacional de Estandares (ISO) con el subcomité 4 del comité 184, el cual se dedica a publicar normas de datos de productos industriales, pero la mayoría de estas normas no son interoperables entre sí. En este trabajo presentamos una solucion para alcanzar la interoperabilidad semantica entre distintos modelos de datos. Para esto se presenta la estructura de una red de ontologías y un caso de estudio, demostrando que la propuesta tiene la capacidad de alcanzar la interoperabilidad semantica para estándares, modelos y vocabularios para la industria de la manufactura.