Declaratively building behavior by means of scenario clauses

In this work we present the article “Declaratively building behavior by means of scenario clauses”. This article was accepted in January 2016 in the journal “Requirements Engineering”, ISSN: 0947-3602 (http://link.springer.com/journal/766).Sociedad Argentina de Informática e Investigación Operativa (SADIO

Declaratively building behavior by means of scenario clauses

In this work we present the article “Declaratively building behavior by means of scenario clauses”. This article was accepted in January 2016 in the journal “Requirements Engineering”, ISSN: 0947-3602 (http://link.springer.com/journal/766).Sociedad Argentina de Informática e Investigación Operativa (SADIO

Dynamic Validation of Software Architectural Connectors

In this work we present an approach to dynamically validate the usage of software connectors in the context of software architectures. By employing aspect oriented techniques the system’s execution is monitored in order to obtain an architectural view describing how processes communicate and interact with each other. This output can later be compared to the connectors specified in the architecture document to validate the consistency between the architecture specification and the implementation of the system. A case study is presented showing the potential of the approach. We believe the results are promising enough to consider future extensions including other architectural elements beyond connectors.Sociedad Argentina de Informática e Investigación Operativa (SADIO

Dynamic Validation of Software Architectural Connectors

In this work we present an approach to dynamically validate the usage of software connectors in the context of software architectures. By employing aspect oriented techniques the system’s execution is monitored in order to obtain an architectural view describing how processes communicate and interact with each other. This output can later be compared to the connectors specified in the architecture document to validate the consistency between the architecture specification and the implementation of the system. A case study is presented showing the potential of the approach. We believe the results are promising enough to consider future extensions including other architectural elements beyond connectors.Sociedad Argentina de Informática e Investigación Operativa (SADIO

Aspect Oriented Behavioral Synthesis

Modern modularization techniques such as Aspect Orientation require powerful and expressive enough specification languages in order to conceive the development of a system as the combination of the different views it is composed of. In this work we present FVS as an aspect oriented language where the composition of individual aspects is achieved employing behavioral synthesis. As a distinctive feature, our approach can handle properties denoted by non deterministic Büchi automata. A case of study is introduced to show our approach in action.XVI Workshop Ingeniería de Software.Red de Universidades con Carreras en Informátic

A flexible and expressive formalism to specify Metamorphic Properties for BIG DATA systems validation

BIG DATA systems represent a huge challenge for software engineering validations tasks since they have been classified as “non testable”. Metamorphic Relationships (MR) have been proposed as a technique to overcome this problem. These relationships establish interactions between data that can be used to validate the expected behavior of the system. However, the process of exploring and defining MRs is a very arduous one, and an expressive and flexible specification language is needed to denote them. In this work we show how the Feather Weight Visual Scenarios (FVS) framework can be seen as an appealing tool to specify MRs. We exploit FVS features to model complex MR interactions and analysis, allowing the possibility to perform non trivial operations between MRs such as refinement and consistency checking. FVS is shown in action by introducing a proof of concept example focused on a machine learning system over biology cell images.XIX Workshop Ingeniería de Software (WIS)Red de Universidades con Carreras en Informátic

Un enfoque declarativo para modelar el comportamiento en sistemas reactivos

Existe consenso en la comunidad académica y de ingenieros de software que es fundamental entender, modelar y describir el comportamiento del software complejo desde etapas tempranas del desarrollo. El paradigma de descripción declarativa, basado en el modelado de las propiedades y objetivos esenciales de los objetos y agentes, posee características especialmente prometedoras para este tipo de desafíos. Sin embargo, las alternativas existentes en este paradigma son lógicas temporales que poseen limitaciones prácticas y teóricas.Presentado en el Encuentro de Tesistas de PostgradoRed de Universidades con Carreras en Informática (RedUNCI

Aspect Oriented Behavioral Synthesis

Modern modularization techniques such as Aspect Orientation require powerful and expressive enough specification languages in order to conceive the development of a system as the combination of the different views it is composed of. In this work we present FVS as an aspect oriented language where the composition of individual aspects is achieved employing behavioral synthesis. As a distinctive feature, our approach can handle properties denoted by non deterministic Büchi automata. A case of study is introduced to show our approach in action.XVI Workshop Ingeniería de Software.Red de Universidades con Carreras en Informátic

Un enfoque declarativo para modelar el comportamiento en sistemas reactivos

Fil: Asteasuain, Fernando. Universidad Nacional del SurFil: Asteasuain, Fernando. Universidad Nacional de AvellanedaExiste consenso en la comunidad académica y de ingenieros de software que es fundamental entender, modelar y describir el comportamiento del software complejo desde etapas tempranas del desarrollo. El paradigma de descripción declarativa, basado en el modelado de las propiedades y objetivos esenciales de los objetos y agentes, posee características especialmente prometedoras para este tipo de desafíos. Sin embargo, las alternativas existentes en este paradigma son lógicas temporales que poseen limitaciones prácticas y teóricas. Asimismo, la verificación formal de propiedades sigue siendo en la actualidad uno de los mayores desafíos para la transferencia de tecnología de verificación de software como model checking. Los usuarios de estas técnicas deben enfrentar el desafío de expresar propiedades en el lenguaje formal usado en la herramienta de especificación. Dos de las aproximaciones más utilizadas son lógicas temporales como LTL, y notaciones operacionales basadas en autómatas. Ambas aproximaciones requieren usuarios “expertos” o con conocimientos avanzados para poder expresar, describir y validar la propiedad de interés. Todo esto indica la necesidad de contar con un lenguaje formal declarativo para expresar propiedades, que sea lo suficientemente expresivo y que permita realizar tareas de validación de manera simple e intuitiva. En esto contexto, el objetivo global de esta tesis fue elaborar un enfoque de modelado declarativo, capaz de manejar distintos niveles de abstracción, con semántica precisa y clara, para modelar el comportamiento de sistemas reactivos. El objetivo específico fue el desarrollo de un lenguaje de modelado declarativo, basado en notaciones gráficas (escenarios), capaz de modelar y describir el comportamiento de sistemas reactivos. El lenguaje posee una semántica y sintaxis clara y precisa, con la posibilidad de realizar razonamiento automático, modelado incremental, y validación intuitiva de propiedades