-
A KDM-Based Approach for Architecture Conformance Checking in Adaptive Systems
Authors:
Daniel San Martín,
Guisella Angulo,
Valter Vieira de Camargo
Abstract:
Adaptive Systems (ASs) are capable to monitor their behavior and make adjustments when quality goals are not achieved through the MAPE-K, a widely recognized reference model that offers abstractions for designing ASs. By making these abstractions evident in the system structure, numerous benefits emerge, particularly in terms of enhancing the architecture's maintenance and comprehensibility. Howev…
▽ More
Adaptive Systems (ASs) are capable to monitor their behavior and make adjustments when quality goals are not achieved through the MAPE-K, a widely recognized reference model that offers abstractions for designing ASs. By making these abstractions evident in the system structure, numerous benefits emerge, particularly in terms of enhancing the architecture's maintenance and comprehensibility. However, it is observed that many existing ASs are not designed in accordance with MAPE-K, causing these abstractions to remain hidden in their architecture. To address this issue, Architectural Conformance Checking (ACC) emerges as a valuable technique for verifying whether the current architecture (CA) of a system adheres to the rules prescribed by the planned architecture (PA) or a reference model, such as MAPE-K. In this paper, we present REMEDY, a domain-specific approach that encompasses the specification of the planned adaptive architecture based on the MAPE-K reference model, the recovery of the current adaptive architecture, the conformance checking process, and architecture visualizations. Furthermore, our approach is specifically tailored for ASs, incorporating well-known rules from the MAPE-K model. The evaluation of the REMEDY DSL involves a comparison with a general-purpose DSL, and the results demonstrate improvements in productivity. REMEDY facilitates the identification and correction of architectural non-conformance issues, thereby enhancing the overall quality of adaptive systems.
△ Less
Submitted 29 January, 2024;
originally announced January 2024.
-
A Deep Learning Model for Chilean Bills Classification
Authors:
Daniel San Martin,
Daniel Manzano
Abstract:
Automatic bill classification is an attractive task with many potential applications such as automated detection and counting in images or videos. To address this purpose we present a Deep Learning Model to classify Chilean Banknotes, because of its successful results in image processing applications. For optimal performance of the proposed model, data augmentation techniques are introduced due to…
▽ More
Automatic bill classification is an attractive task with many potential applications such as automated detection and counting in images or videos. To address this purpose we present a Deep Learning Model to classify Chilean Banknotes, because of its successful results in image processing applications. For optimal performance of the proposed model, data augmentation techniques are introduced due to the limited number of image samples. Positive results were achieved in this work, verifying that it could be a stating point to be extended to more complex applications.
△ Less
Submitted 21 December, 2019;
originally announced December 2019.
-
Generalized circulant matrix in Coupled Map Lattices
Authors:
M. Dolores Sotelo Herrera Jesus San Martin
Abstract:
In this paper it is shown that a generalized circulant matrix underlies every weakly Coupled Map Lattice (CML), independently of the form of the coupling term. Therefore, this matrix will appear always perturbative methods are used to get the analytical solutions. In fact, the inverse of this matrix provides the analytical solution of the CML after using first order approximation methods. This i…
▽ More
In this paper it is shown that a generalized circulant matrix underlies every weakly Coupled Map Lattice (CML), independently of the form of the coupling term. Therefore, this matrix will appear always perturbative methods are used to get the analytical solutions. In fact, the inverse of this matrix provides the analytical solution of the CML after using first order approximation methods. This inverse matrix, of arbitrary order, is explicitly calculated, thus providing the analytical expression for the temporal evolution of the CML.
△ Less
Submitted 24 March, 2009;
originally announced March 2009.