Publications

Publications by Alejandro Sánchez

2008

Semantic Interoperability Middleware - Cases and applications in Electronic Government

Authors
Sanchez, A; Ojo, AK; Janowski, T; Estevez, E;

Publication
Third IEEE International Conference on Digital Information Management (ICDIM), November 13-16, 2008, London, UK, Proceedings

Abstract

2011

Testbed federation: An approach for experimentation-driven research in cognitive radios and cognitive networking

Authors
Sanchez, A; Moerman, I; Bouckaert, S; Willkomm, D; Hauer, JH; Michailow, N; Fettweis, G; DaSilva, L; Tallon, J; Pollin, S;

Publication
2011 Future Network & Mobile Summit, Warsaw, Poland, June 15-17, 2011

Abstract

2002

Structuring a Formal Specification starting from Process Modeling

Authors
Riesco, D; Montejano, G; Uzal, R; Sanchez, A; Garis, AG; Debnath, NC;

Publication
Proceedings of the 15th International Conference on Computer Applications in Industry and Engineering, November 7-9, 2002, Clarion Hotel Bay View, San Diego, California, USA

Abstract

2011

A language for behavioural modelling of architectural patterns

Authors
Sanchez, A; Barbosa, LS; Riesco, D;

Publication
ACM International Conference Proceeding Series

Abstract
The complexity of interactions governing the coordination of loosely-coupled services, which forms the core of current software, brought behavioural issues up to the front of architectural concerns. This paper takes such a challenge seriously by lifting typical behaviour modelling techniques to the specification of both types and instances of architectural patterns in which the later ones are connected by ports that behave according to a water flow metaphor. A specific language is introduced for this purpose as well as a translator to mCRL2 so that the simulation and analysis techniques available in the corresponding toolset can be used to reason about (the behavioural layer of) software architectures. The approach is illustrated in a few examples. Copyright 2011 ACM.

CloseRead Abstract

2012

Bigraphical modelling of architectural patterns

Authors
Sanchez, A; Barbosa, LS; Riesco, D;

Publication
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Abstract
Archery is a language for behavioural modelling of architectural patterns, supporting hierarchical composition and a type discipline. This paper extends Archery to cope with the patterns' structural dimension through a set of (re-)configuration combinators and constraints that all instances of a pattern must obey. Both types and instances of architectural patterns are semantically represented as bigraphical reactive systems and operations upon them as reaction rules. Such a bigraphical semantics provides a rigorous model for Archery patterns and reduces constraint verification in architectures to a type-checking problem. © 2012 Springer-Verlag.

CloseRead Abstract

2012

Analysing Tactics in Architectural Patterns

Authors
Sanchez, A; Aguiar, A; Barbosa, LS; Riesco, D;

Publication
PROCEEDINGS OF THE 2012 IEEE 35TH SOFTWARE ENGINEERING WORKSHOP (SEW 2012)

Abstract
This paper presents an approach to analyse the application of tactics in architectural patterns. We define and illustrate the approach using ARCHERY, a language for specifying, analysing and verifying architectural patterns. The approach consists of characterising the design principles of an architectural pattern as constraints, expressed in the language, and then, establishing a refinement relation based on their satisfaction. The application of tactics preserving refinement ensures that the original design principles, expressed themselves as constraints, still hold in the resulting architectural pattern. The paper focuses on fault-tolerance tactics, and identifies a set of requirements for a semantic framework characterising them. The application of tactics represented as model transformations is then discussed and illustrated using two case studies.

CloseRead Abstract