Modelling and analyzing adaptive self-assembling strategies with Maude

Building adaptive systems with predictable emergent behavior is a challenging task and it is becoming a critical need. The research community has accepted the challenge by introducing approaches of various nature: from software architectures, to programming paradigms, to analysis techniques. We recently proposed a conceptual framework for adaptation centered around the role of control data. In this paper we show that it can be naturally realized in a reflective logical language like Maude by using the Reflective Russian Dolls model. Moreover, we exploit this model to specify, validate and analyse a prominent example of adaptive system: robot swarms equipped with self-assembly strategies. The analysis exploits the statistical model checker PVeStA

Modeling views in the layered view model for XML using UML

In data engineering, view formalisms are used to provide flexibility to users and user applications by allowing them to extract and elaborate data from the stored data sources. Conversely, since the introduction of Extensible Markup Language (XML), it is fast emerging as the dominant standard for storing, describing, and interchanging data among various web and heterogeneous data sources. In combination with XML Schema, XML provides rich facilities for defining and constraining user-defined data semantics and properties, a feature that is unique to XML. In this context, it is interesting to investigate traditional database features, such as view models and view design techniques for XML. However, traditional view formalisms are strongly coupled to the data language and its syntax, thus it proves to be a difficult task to support views in the case of semi-structured data models. Therefore, in this paper we propose a Layered View Model (LVM) for XML with conceptual and schemata extensions. Here our work is three-fold; first we propose an approach to separate the implementation and conceptual aspects of the views that provides a clear separation of concerns, thus, allowing analysis and design of views to be separated from their implementation. Secondly, we define representations to express and construct these views at the conceptual level. Thirdly, we define a view transformation methodology for XML views in the LVM, which carries out automated transformation to a view schema and a view query expression in an appropriate query language. Also, to validate and apply the LVM concepts, methods and transformations developed, we propose a view-driven application development framework with the flexibility to develop web and database applications for XML, at varying levels of abstraction

Seismicity and Ground Motion Simulations of the SW Iberia Margin

In this study, we focus on the region between Gorringe Bank and the Horseshoe Fault located in the SW Iberia margin, which is believed to be the site of the great 1755 earthquake. We model ground motions using an extended source located near the Horseshoe scarp to generate synthetic waveforms using a wave propagation code, based on the finite-difference method. We compare the simulated waveforms using a 3-D velocity model down to the Moho discontinuity with a simple 1-D layered mod- el. The radiated wave field is very sensitive to the velocity model and a small number of source parameters; in particular, the rupture directivity. The rupture directivity (controlled by the rupture initiation location), the strike direction and the fault di- mensions are critical to the azimuthal distribution of the maximum amplitude oscilla- tions. We show that the use of a stratified 1-D model is inappropriate in SW Iberia, where sources are located in the oceanic domain and receivers in the continental do- main. The crustal structure varies dramatically along the ray paths, with large-scale heterogeneities of low or high velocities. Moreover, combined with the geometric li- mitations inherent to the region, a strong trade-off between several parameters is of- ten observed; this is particularly critical when studying moderate magnitude earth- quakes (M< 6), which constitute the bulk of the seismic catalogue in SW Iberia

Quality-aware model-driven service engineering

Service engineering and service-oriented architecture as an integration and platform technology is a recent approach to software systems integration. Quality aspects ranging from interoperability to maintainability to performance are of central importance for the integration of heterogeneous, distributed service-based systems. Architecture models can substantially influence quality attributes of the implemented software systems. Besides the benefits of explicit architectures on maintainability and reuse, architectural constraints such as styles, reference architectures and architectural patterns can influence observable software properties such as performance. Empirical performance evaluation is a process of measuring and evaluating the performance of implemented software. We present an approach for addressing the quality of services and service-based systems at the model-level in the context of model-driven service engineering. The focus on architecture-level models is a consequence of the black-box character of services

Moment method analysis of an archimedean spiral printed on a layered dielectric sphere

A method of moments model is presented to analyze Archimedean spirals that are printed on a layered dielectric sphere. The model is derived assuming an arbitrary location of the spiral. Input impedance, current distribution and far-field results are presented and are shown to be in good agreements with other methods