1,721,017 research outputs found
Modelado de comportamiento de conectores de software a través de lenguajes declarativos
Get PDFLa descripción del comportamiento arquitectónico de un sistema requiere contar con una notación expresiva y flexible para poder explorar y razonar sobre las distintas alternativas posibles evitando tomar decisiones prematuras. En este trabajo se explora FVS, un lenguaje declarativo basado en escenarios gráficos, como una posible notación para describir el comportamiento arquitectónico. En particular, el trabajo se enfoca en la especificación de conectores de software. Los resultados obtenidos permiten ilustrar el potencial del lenguaje en el dominio de arquitecturas de software.Fil: Asteasuain, Fernando. Universidad Católica de Salta. Facultad de Ingeniería; Argentina.Fil: Tarulla, Francisco. Universidad Católica de Salta. Facultad de Ingeniería; Argentina
FVS: A declarative aspect oriented modeling language
Get PDFVery well known problems such as the fragility problem, the AOP paradox, or the aspect interference problem threaten aspect oriented application in the modeling phase. In this work we explore FVS, a declarative visual language, as an aspect-oriented modeling language. Our language exhibits a very exible and rich joinpoint model to leverage aspect oriented application and is suitable for incremental modeling, a highly desirable quality attribute in any modeling language.Fil: Asteasuain, Fernando. Universidad de Buenos Aires. Facultad de Ciencias Exactas y Naturales. Departamento de Computación; Argentina. Consejo Nacional de Investigaciones Científicas y Técnicas; ArgentinaFil: Braberman, Victor Adrian. Universidad de Buenos Aires. Facultad de Ciencias Exactas y Naturales. Departamento de Computación; Argentina. Consejo Nacional de Investigaciones Científicas y Técnicas; Argentin
Specification Patterns: Formal and Easy
No full textProperty specification is still one of the most challenging tasks for transference of software verification technology. The use of patterns has been proposed in order to hide the complicated handling of formal languages from the developer. However, this goal is not entirely satisfied. When validating the desired property the developer may have to deal with the pattern representation in some particular formalism. For this reason, we identify four desirable quality attributes for the underlying specification language: succinctness, comparability, complementariness, and modifiability. We show that typical formalisms such as temporal logics or automata fail at some extent to support these features. Given this context we introduce Featherweight Visual Scenarios (FVS), a declarative and graphical language based on scenarios, as a possible alternative to specify behavioral properties. We illustrate FVS applicability by modeling all the specification patterns and we thoroughly compare FVS to other known approaches, showing that FVS specifications are better suited for validation tasks. In addition, we augment pattern specification by introducing the concept of violating behavior. Finally we characterize the type of properties that can be written in FVS and we formally introduce its syntax and semantics.Fil: Asteasuain, Fernando. Universidad de Buenos Aires. Facultad de Ciencias Exactas y Naturales. Departamento de Computación; Argentina. Consejo Nacional de Investigaciones Científicas y Técnicas. Oficina de Coordinación Administrativa Ciudad Universitaria; ArgentinaFil: Braberman, Victor Adrian. Consejo Nacional de Investigaciones Científicas y Técnicas. Oficina de Coordinación Administrativa Ciudad Universitaria; Argentina. Universidad de Buenos Aires. Facultad de Ciencias Exactas y Naturales. Departamento de Computación; Argentin
Going Beyond Counting First Authors in Author Co-citation Analysis
Get PDFThe present study examines one of the fundamental aspects of author co-citation analysis (ACA) - the way co-citation
counts are defined. Co-citation counting provides the data on which all subsequent statistical analyses and mappings
are based, and we compare ACA results based on two different types of co-citation counting - the traditional type that
only counts the first one among a cited work's authors on the one hand and a non-traditional type that takes into
account the first 5 authors of a cited work on the other hand. Results indicate that the picture produced through this non-traditional author co-citation counting contains more coherent author groups and is therefore considerably clearer. However, this picture represents fewer specialties in the research field being studied than that produced through the traditional first-author co-citation counting when the same number of top-ranked authors is selected and analyzed. Reasons for these effects are discussed
Architecture validation through aspect oriented programming
No full textLas arquitecturas de software se enfocan en el diseño y modelado de sistemas con un alto nivel de abstracción, revelando sólo las principales interacciones entre los elementos de software involucrados, ignorando detalles de carácter implementativo de bajo nivel. Uno de los desafíos más relevantes dentro del mundo de las arquitecturas de software es poder determinar si, dado un sistema, éste cumple o satisface su especificación arquitectónica. Esto se debe principalmente a dos razones. Por un lado, es difícil llevar una trazabilidad de elementos arquitectónicos a código, ya que conviven en distintos niveles de abstracción. Por otro lado, la especificación arquitectónica sufre de un problema conocido como separación y erosión (drift & erosión). Esto ocurre cuando la especificación arquitectónica queda desactualizada frente a la evolución y/o cambios del sistema. Muchas veces la estructura estática de un sistema (clases, paquetes, etc) no está relacionada con su comportamiento arquitectónico, por lo que una aproximación razonable para comprobar si un sistema cumple su especificación arquitectónica es observar su comportamiento en ejecución. En particular, dado que el comportamiento arquitectónico puede entrecruzar o atravesar distintas partes del sistema, la utilización de mecanismos avanzados de modularización como los propuestos en la Programación Orientada a Aspectos comprende un enfoque atractivo para encarar el problema descrito. Dado este contexto, esta tesis pretende combinar mecanismos de la Programación Orientada a Aspectos para poder determinar si la implementación de un sistema cumple con su especificación arquitectónica. Específicamente, en este trabajo se atacará el problema de validar la utilización de conectores al reconstruir la arquitectura dinámicamente de un sistema en ejecución haciendo uso de la programación orientada a aspectos.Software architectures focus on system design and modeling at a high level of abstraction, by revealing only the main interactions between involved software elements, ignoring low level details. One of the key challenges in the software architecture domain is to be able to determine if a given system’s implementation satisfies its architecture. This problem arises mainly from two factors. On one hand, it’s hard to translate architectural elements to code, since they live in different abstraction levels. On the other hand, the specification suffers from problems known as drift & erosion. This occurs when the architecture gets outdated in relation to the evolution and/or changes of the system. Often, the static structure of a system (classes, packages, etc) is not related to the behavior of the architecture. Therefore, a reasonable approach to check if a system satisfies its architecture is to analyze the behavior in run time. In particular, since the architectural elements may cross various parts of the system, the use of advanced mechanisms of modularization as the ones proposed by the Aspect Oriented Programming might be an attractive approach to deal with the described problem. Given this context, this thesis combines mechanisms of the Aspect Oriented Programming to determine if the implementation of a system satisfies its architecture. In particular, in this thesis we will tackle the problem of validating the use of connectors by dynamically generating the architecture of an executing system using aspect oriented programming.Fil: Graiño, Claudio Ariel. Universidad de Buenos Aires. Facultad de Ciencias Exactas y Naturales; Argentina
Variations on the Author
Get PDF“Variations on the Author” discusses two of Eduardo Coutinho’s recent films (Um Dia na Vida, from 2010, and Últimas Conversas, posthumously released in 2015) and their contribution to the general question of documentary authorship. The director’s filmography is characterized by a consistent yet self-effacing form of authorial self-inscription: Coutinho often features as an interviewer that rather than express opinions propels discourses; an interviewer that is good at listening. This mode of self-inscription characterizes him as an author who is not expressive but who is nonetheless markedly present on the screen. In Um Dia na Vida, however, Coutinho is completely absent form the image, while Últimas Conversas, on the contrary, includes a confessional prologue that moves the director from the margins to the center of his films. This article examines the ways in which these works stand out in the filmography of a director who offers new insights into the notion of cinematic authorship
Appropriate Similarity Measures for Author Cocitation Analysis
Get PDFWe provide a number of new insights into the methodological discussion about author cocitation analysis. We first argue that the use of the Pearson correlation for measuring the similarity between authors’ cocitation profiles is not very satisfactory. We then discuss what kind of similarity measures may be used as an alternative to the Pearson correlation. We consider three similarity measures in particular. One is the well-known cosine. The other two similarity measures have not been used before in the bibliometric literature. Finally, we show by means of an example that our findings have a high practical relevance.information science;Pearson correlation;cosine;similarity measure;author cocitation analysis
Dispelling the Myths Behind First-author Citation Counts
Get PDFWe conducted a full-scale evaluative citation analysis study of scholars in the XML research field to explore just how different from each other author rankings resulting from different citation counting methods actually are, and to demonstrate the capability of emerging data and tools on the Web in supporting more realistic citation counting methods. Our results contest some common arguments for the continued
use of first-author citation counts in the evaluation of scholars, such as high correlations between author rankings by first-author citation counts and other citation
counting methods, and high costs of using more realistic citation counting methods that are not well-supported by the ISI databases. It is argued that increasingly available digital full text research papers make it possible for citation analysis studies to go beyond what the ISI databases have directly supported and to employ more
sophisticated methods
- …
