About
112
Publications
51,268
Reads
How we measure 'reads'
A 'read' is counted each time someone views a publication summary (such as the title, abstract, and list of authors), clicks on a figure, or views or downloads the full-text. Learn more
427
Citations
Introduction
Silvio Gonnet currently works at the INGAR Instituto de Desarrollo y Diseño, National Scientific and Technical Research Council. Silvio does research in Software Engineering. Their current project is 'A conceptual modelling framework for discrete event simulation.'
Additional affiliations
April 2012 - present
Education
August 1998 - December 2003
March 1991 - May 1998
Publications
Publications (112)
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 peer-reviewed articl...
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...
RESUMEN Actualmente, las empresas enfrentan el desafío de la personalización de la producción, caracterizada por lotes pequeños de una variedad de productos. Esto adiciona un problema a la ya compleja planeación y control de la producción (PPC). En la industria de procesos el estándar ISA-88 proporciona modelos para definir los requisitos de contro...
Un Asset es un activo considerado de importancia para una empresa, puede ser tangible como máquinas, productos, sensores planos, o intangibles como un software. Un Asset Administration Shell (AAS)provee una representación digital de un asset por medio de submodelos que pueden o no ser estandarizados. Los submodelos estandarizados permiten la intero...
The Routed DEVS (RDEVS) models improve traditional discrete-event 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 formal...
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...
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 general-purpose programming language), some deviation from the formalism is unavoidable. One way to bridge the gap between modeli...
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...
Este trabajo presenta los avances del proyecto de tesis “Aplicación de tecnologías semánticas y Blockchain para la integración horizontal en el ámbito de la industria 4.0”, de la carrera de doctorado en Ingeniería mención Industrial de la Universidad Tecnológica Nacional. El objetivo es la definición e implementación de una infraestructura que sopo...
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...
(Published by Electronic Journal of SADIO, EJS, ISSN 1514-6774). Resumen. 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...
Choosing the right agile practices to be adopted in a software development process is complex, especially for organizations with little experience and a high turnover of human resources. To select the best practices, it is necessary to consider the characteristics that describe the team, the project, and the context in which they will be applied. I...
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. Howev...
Industry 4.0 requires standardized information models for heterogeneous platform integration. Two standards for interoperability are IEC 62541-a machine-to-machine communication protocol expressed in OPC Unified Architecture (OPC UA) format-and IEC 62714 to describe production plants or plant components expressed in AutomationML format. Despite the...
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 (su...
The Internet-of-Things devices have allowed the increment of the Spatiotemporal resolution in the Real-time Data Gathering Systems. However, this has increased the complexity due to the heterogeneity of sensors. Thus, it is important to know how data can be understood aware of its context at the edge. Also, a transversal perspective is expected for...
The Internet of Things has been raised as an alternative for implementing different data collection strategies. Because of the limited hardware, it is complemented with edge computing trying to bring the computing power as close to the data source as possible. Collected data have particular importance for building different kinds of artificial inte...
Este trabajo presenta los términos, propiedades, relaciones y axiomas de ParticularEventCO como un modelo semántico basado en la noción de eventos causados por los comportamientos de las entidades. La ontología propuesta se encuentra situada en el nivel "Core" de una arquitectura ontológica de cuatro capas llamada FCD-OntoArch (Foundational, Core,...
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....
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, buil...
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 f...
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...
Simulation is the process by which the observable behavior of a real process or system is represented, reproduced or imitated in time and space. Distributed simulation can be used for accelerate the execution of models, reuse models in larger models, and accelerate the execution of experiments. Given the emergence of new information technologies, t...
This paper presents an architecture model for a Distributed Virtual-ization System, which could expand a virtual execution environment from a single physical machine to several nodes of a cluster. With current virtualization technologies the computing power and resource usage of VMs/Containers are limited to the physical machine where they run. To...
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 co...
This work presents a design environment that allows building software architecture designs for web applications. The environment is designed to solve some of the main problems identified at architectural level by proposing a set of modules that help to develop quality architectures. Its structure is based on a metamodel of architectural components...
Nowadays, the organizations are exposed to increasingly sophisticated attacks, whose objective is to compromise or corrupt the integrity, confidentiality and availability of the information they handle. Most attacks exploit security vulnerabilities. The origin of these vulnerabilities can be in the development of the software systems that organizat...
This paper proposes an ontology that defines and integrates the concepts adopted for use cases and test cases specification. These concepts belong to the metamodels of different Requirements Engineering and testing management supporting tools, and their formalization in an ontology language prevents using concepts ambiguously and enables interopera...
La Ingeniería de Software necesita herramientas novedosas para alcanzar alta calidad en el software, enfrentando el rol cambiante del mismo. La Arquitectura de Software es clave, ya que afecta directamente a la calidad final. La Evaluación de Arquitecturas de Software valida si la arquitectura cumple con los requerimientos de calidad, implicando de...
The Architectural knowledge (AK) generated during software architecture projects is a valuable asset for software organizations. Although many organizations have adopted supporting tools to capture the produced AK, still there exist some difficulties in making it available to be retrieved by the consumers. Moreover, the boundaries of knowledge of a...
En este trabajo se propone una ontología que permite definir e integrar
conceptos empleados en la especificación de casos de uso y casos de prueba. Estos conceptos son parte de los metamodelos de las diferentes herramientas de soporte a la Ingeniería de Requerimientos y su formalización en una ontología posibilita la interoperabilidad entre estas h...
The Discrete Event System Specification (DEVS) formalism has become an engine for advances in modeling and simulation technology. Many extensions of the DEVS formalism have been developed across the years in order to solve different types of situations. However, when the acceptance of input events and the generation of output events are related to...
El término sistema-de-sistemas refiere a sistemas compuestos por sistemas independientes que actúan de forma conjunta, en dirección hacia un objetivo común, por medio de la sinergia que existe entre ellos. Los entornos de computación en la nube (cloud computing) se ajustan a esta perspectiva, ya que poseen las principales propiedades requeridas en...
Resource allocation is a usual problem that must be faced during a distributed system design. Despite the large number of algorithms proposed in literature to solve this problem, most papers lack of detailed descriptions about how to turn these algorithms into real-world reliable protocols. This article presents a fault-tolerant algorithm for distr...
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...
The Architectural knowledge (AK) generated during software architecture projects is a valuable asset for software organizations. Although many organizations have adopted supporting tools to capture the produced AK, still there exist some difficulties in making it available to be retrieved by the consumers. Moreover, the boundaries of knowledge of a...
Pressman's (2010) definition of software quality is the conformance to explicitly stated functional and performance requirements, explicitly documented development standards, and implicit characteristics that are expected of all professionally developed software. The achievement of quality is a complex activity that is related with the process qual...
This paper presents a simulation model structure that allows build different types of users behavior using workload models. To develop this simulation structure a combination between continuous and discrete models is detailed. In order to formalize the composition of the discrete models defined, DEVS formalism is used. Five different types of user...
El conocimiento sobre arquitecturas de software abarca aspectos relativos no solo a las descripciones arquitectónicas que conforman los modelos, sino además aspectos relativos al contexto del diseño de la arquitectura, al razonamiento aplicado y conocimiento general sobre el dominio, como son los patrones y tácticas de diseño de arquitecturas de so...
This article presents OntoTracED, a comprehensive framework to represent, capture and trace ontology development processes. It has three components: (i) a conceptual model that defines the framework foundations, (ii) an ontological engineering domain model (OEDM), which specifies and describes design objects, as well as those operations that are pa...
Software quality has become a critical issue in software engineering because affects systems development costs, delivery schedules, and user satisfaction. In specific software products, an early quality evaluation can be done by using simu-lation techniques over the architectural design. However, not all architectural designs can be transformed int...
En la actualidad, no es sencillo encontrar herramientas que den so-porte al análisis y evaluación de la calidad de servicios de software. En este tra-bajo se presenta un esquema que facilita el estudio de las propiedades de cali-dad asociadas a Software-as-a-Service, el cual integra en un único documento la información relacionada a la definición y...
Documenting architectural knowledge is a tedious and time-consuming task from the knowledge producer's point of view. As a consequence, design decisions, the underlying rationale, and the resulting designs are poorly documented. We propose to alleviate this problem by introducing an operation-based model for documenting software architecture design...
A usual problem that must be faced by distributed systems which use the process group paradigm is allocating instances of a resource among all group members. The problem becomes complex to solve when overloaded members demand for additional instances. Furthermore, since clusters are dynamic by nature, they incorporate or remove members for reasons...
![Figura 3. Patrón " Elastic Load Balancer " ([27]).](profile/Maria-Blas/publication/284673069/figure/fig2/AS:391446734622723@1470339582686/Figura-3-Patron-Elastic-Load-Balancer-27_Q320.jpg)
En este trabajo se presenta un metamodelo que permite especificar arquitecturas de software orientadas a entornos de cloud computing. La propuesta parte del estudio de diferentes patrones de diseño, dando lugar a un modelo que incluye los principales componentes de estos esquemas y un conjunto de relaciones producto de su análisis. Como complemento...
![Figure 3. FUSE path of a filesystem call [11].](profile/Pablo-Pessolani/publication/301299037/figure/fig3/AS:351157747765251@1460733939535/FUSE-path-of-a-filesystem-call-11_Q320.jpg)
Infrastructure as a Service (IaaS) is one of the fundamental service models of Cloud Computing. It
usually provides computing resources through virtualization. Hardware virtualization is the most used
virtualization technology, but new ones arise as paravirtualization, Operating System (OS) level virtualization
and Containers. This article discusse...
La evolución de arquitecturas de software se produce como consecuencia de la aparición de los cambios, una constante en la ingeniería de software, y sobre los que los arquitectos y desarro-lladores tienen poco o ningún control. Los cambios en las arquitecturas de software tienen un origen diverso, como la redefinición o modificación de requerimient...
Se presenta una herramienta, TracEDaaS,que permite la captura y la trazabilidad dela evolución de los productos del proceso de diseño de software, soportando el refinamiento y la elaboración iterativa del mismo. TracEDaaS ha sido implementada como un servicio en la nube bajo el modelo "Software as a Service" (SaaS) y permite definir dominios de dis...
According to IEEE, software quality is the degree to which software possesses a desired combination of attributes. Quality attributes have been of interest to the software community since 1970 and in the past few years this interest has increase. However, still is not clear how product quality should apply in the development process. The need to kn...
La trazabilidad es considerada en metodologías ágiles como un aspecto fundamental a estudiar para desarrollar sistemas de calidad. Sin embargo, los procesos ágiles ocurren en entornos donde no es frecuente encontrar un documento de especificación de requerimientos, no siendo posible aplicar técnicas
clásicas de trazabilidad. En consecuencia, en est...
Durante el proceso de diseño de una arquitectura de software, los actores
que participan del mismo toman numerosas decisiones de diseño. Para comprender
cómo surgió una determinada arquitectura de software, es importante
conservar esas decisiones de diseño junto con el razonamiento que las explican.
Sin embargo, este conocimiento generalmente se pi...
Cloud Computing is the dynamic provisioning of physical and virtual resources as services offering by providers, to optimize performance and utilization of their resources. Consumers contract Cloud services and negotiate service level agreements. Some consumers plan to migrate functionality of their legacy systems to Cloud Computing, to minimize in...
Se presenta una herramienta, TracEDaaS, que permite la captura y la trazabilidad de la evolución de los productos del proceso de diseño de software, soportando el refinamiento y la elaboración iterativa del mismo. TracEDaaS ha sido implementada como un servicio en la nube bajo el modelo “Software as a Service” (SaaS) y permite representar junto a l...
![Figura 1. Divisiones ISO/IEC 25000 (Adaptado de [18]).](profile/Maria-Blas/publication/272087422/figure/fig1/AS:391778399211524@1470418657693/Figura-1-Divisiones-ISO-IEC-25000-Adaptado-de-18_Q320.jpg)
![Figura 2. Jerarquía del modelo de calidad [18]. La Tabla 1 esquematiza...](profile/Maria-Blas/publication/272087422/figure/fig2/AS:391778399211525@1470418657765/Figura-2-Jerarquia-del-modelo-de-calidad-18-La-Tabla-1-esquematiza-el-MC-propuesto-en_Q320.jpg)
En este trabajo se presenta una taxonomía de atributos de calidad basada en la necesidad de evaluar arquitecturas de software utilizando técnicas de simulación. El modelo de calidad tomado como punto de partida en esta propuesta corresponde al descrito en el estándar ISO/IEC 25010 (2011), quedando conformado por un conjunto de características y sub...
La evolución de arquitecturas de software ocurre por la aparición de cambios como la redefinición o modificación de requerimientos, y cambios en la infraestructura o la tecnología en la que se basa un sistema. La introducción de estos cambios de parte de los arquitectos de software debe en lo posible estar guiada por algún método y por la aplicació...
Variability is defined as the possibility that a system has to be ex-tended, changed, localized or configured in order to be used in a particular con-text. Variability specification in a software product line (SPL) is a main activity where product families are specified in terms of variants and dependencies. One way of defining the variability of a...
Software quality is an important issue in software engineering. The evaluation of software architecture is crucial to achieve quality scenarios, which reduces development and maintenance costs. This work presents a discrete event simulation environment for the software architecture assessment considering both functional and quality aspects. Discret...
Cloud computing es un paradigma de negocio gestionado a través de protocolos de Internet. Cloud computing permite que los accesos a los servicios sean llevados a cabo por cualquier medio y dispositivo, de manera flexible y escalable. Los contratos y acuerdos de nivel de servicio cumplen un rol importante en las negociaciones entre el proveedor y co...
Cloud computing consiste en el aprovisionamiento dinámico de recursos físicos y virtuales por parte de los proveedores, para optimizar al máximo la rentabilidad y la utilización de sus recursos. Los consumidores, contratan estos servicios, negociando los acuerdos de nivel de servicio. Algunos consumidores proyectan migrar las funcionalidades de sus...
Cloud computing consiste en el aprovisionamiento dinámico de recursos físicos y virtuales por parte de los proveedores, para optimizar al máximo la rentabilidad y la utilización de sus recursos. Los consumidores, contratan estos servicios, negociando los acuerdos de nivel de servicio. Algunos consumidores proyectan migrar las funcionalidades de sus...
Over the last years, software architecture design has gained significant importance in both, industrial and research areas due to its relevance in the software system development process. In this context, special attention has been given to the documentation of architects' reasoning during an architectural design, highlighting the advantages and di...
A software architecture is the result of architectural design decisions.
Documenting a software architecture should not only describe the final model,
but also why the architecture looks as it does. During the software architecture
design process, several decisions are made, which need to be captured and documented
in a systematic way to prevent kn...
The software product line (SPL) paradigm is used for developing software system products from a set of reusable artifacts, known as platform. The Orthogonal Variability Modeling (OVM) is a technique for representing and managing the variability and composition of those artifacts for deriving products in the SPL. Nevertheless, OVM does not support t...
The increasing dynamic and complexity of Web systems turns quality evaluation at any stage of the development into a key issue for the project success in software development areas or organizations. This paper presents a novel approach to evaluate Web applications (WebApps) from their architectures, also considering their functionalities. Discrete...
RESUMEN Existe una marcada tendencia en la industria de comercializar procesadores con múltiples núcleos, conocidos como multi-cores. Se prevé que en el mediano plazo la cantidad de núcleos aumente significativamente hasta miles de núcleos por procesador [1] denominados many-cores. Esta tendencia requiere de sistemas operativos (OS) que puedan apro...
Software architecture design is an interactive, complex, decision-making process. Such a design process involves the exploration, evaluation, and composition of design alternatives. Increasingly, new computer-aided tools are available to help designers in these complex activities. However, these tools do not know how design is actually done, in oth...
Cloud computing, como nuevo paradigma de negocios de servicios informático no posee un procedimiento para la especificación de los requerimientos en el modelo de software como servicio. La primera actividad que un consumidor en la nube debe realizar es la captura de las necesidades que espera solucionar con la contratación de los servicios cloud y...
Cloud computing es un paradigma de negocio que se gestiona a través de internet, donde diferentes proveedores ofrecen sus recursos informáticos de manera de servicios, utilizando las ventajas de virtualización. Estos servicios son adquiridos por el consumidor bajo demanda y acordando previamente los acuerdos de nivel de servicio. Aunque este paradi...
![Fig. 2. Modelo Conceptual de SOA (adaptado de [3])](profile/Ana-Zalazar/publication/271444465/figure/fig1/AS:392248073179136@1470530636157/Modelo-Conceptual-de-SOA-adaptado-de-3_Q320.jpg)
Cloud computing is a new business paradigm managed through Internet, where different providers offer their services using scalable virtualization. Services selection depends of the service level agreement, which is a type of contract signed between providers and consumers, and it identifies functional and quality parameters of services. Because of...