Carlos E Cuesta | Universidad Rey Juan Carlos (original) (raw)

Papers by Carlos E Cuesta

2015 IEEE/ACM 37th IEEE International Conference on Software Engineering, 2015

Systems-of-Systems (SoS) refer to a new class of software-intensive systems, where their constitu... more Systems-of-Systems (SoS) refer to a new class of software-intensive systems, where their constituent systems work cooperatively in order to fulfill specific missions. Characterized by managerial and operational independence, geographic distribution, evolutionary development, and emergent behavior, SoS bring substantial challenges to the software engineering area. SESoS 2015, held in Florence, Italy, on May 17, 2015, as a joint workshop of the 37th International Conference on Software Engineering (ICSE), provided a forum to exchange ideas and experiences, analyze current research and development issues, discuss promising solutions, and to explore inspiring visions for the future of Software Engineering (SE) for SoS.

Abstract Welcome to the Companion Volume for the Proceedings of the Fourth European Conference on... more Abstract Welcome to the Companion Volume for the Proceedings of the Fourth European Conference on Software Architecture (ECSA 2010). This volume compiles the papers and articles related to the additional activities which were held along with the main program during the meeting in Copenhagen. This includes the Doctoral Symposium, the Industry Track, and for the first time in the Conference's history, four successful associated Workshops.

This research report presents a promising new approach to computation called Recombinant Programm... more This research report presents a promising new approach to computation called Recombinant Programming. The novelty of our approach is that it separates the program into two layers of computation: the recombination and the interpretation layer. The recombination layer takes sequences as inputs and allows the programmer to recombine these sequences through the definition of cohesive code units called extensions. The output of such recombination is a mesh that can be used by the interpretation layer in many different ways, depending on the context. To further illustrate our model, we present a language called Grapple that supports Recombinant Programming and show possible applications of this language. In particular, we present RJava, the prototype of a recombinant language that uses Grapple in the context of Java-like programs

SADIO Electronic Journal of Informatics and Operations Research, 2011

The growing complexity of software systems is causing a re-conception of their development and ma... more The growing complexity of software systems is causing a re-conception of their development and maintenance strategies. Humans should be relieved from an important part of these tasks, which should be performed by systems themselves, leading to consider self-adaptation as a basic architectural concern. Simultaneously, Multi-Agent Systems (MAS) have been developed as a generic approach to solve complex problems. They describe self-aware structures, conceived to be flexible and to be able to adapt to different situations. Advances approaches use organizations to provide further structuring, taking the form of complex agent architectures. Among them, Agreement Technologies (AT) provides an explicit insight into those architectural abstractions. However, they still do not provide mechanisms to change their composition patterns and element types, which are necessary to achieve real self-adaptivity. In this article, we propose an architectural solution for this: the required dynamism will be supported by an emergent agreement - an evolving architectural structure, based on combining predefined controls and protocols. These are handled in the context of the service-oriented, agent-based and organization-centric framework defined in AT and provided by their implementation within the THOMAS platform. This work provides the first architectural abstractions to support this emergent structure. A real -world example showing the interest of this approach is also provided, and some conclusions about its applicability are finally outlined.

IEEE Latin America Transactions, 2008

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

Despite the well-known advantages of applying the MDA approach, particularly when applied to the ... more Despite the well-known advantages of applying the MDA approach, particularly when applied to the development of SOA-based systems, there are still some gaps in the process that need to be filled. Specifically, when modelling the system at the PIM level, we have an architectural description at a high level of abstraction, as it must only comprise technologically independent models. But this architecture cannot be directly validated, as we must transform it into a PSM version before being able to execute it. In order to solve this issue, we propose to formalize the architectural model using Domain Specific Language, an ADL which supports the description of dynamic, adaptive and evolvable architectures, such as SOA itself. Our choice, π-ADL, allows for the definition of executable versions of the architecture; and therefore providing this specification implies having a prototype of the system at the PIM level. This appears as a perfect way of getting an executable yet completely technology neutral version of the architecture. We illustrate this by discussing a realworld case study, in which a service-oriented messaging system is modelled at the PIM level and then specified using its π-ADL counterpart; the result can then be used to validate the architecture at the right abstraction level.

Lecture Notes in Computer Science

The impact of architecture is not only significant in the final structure of software, but also i... more The impact of architecture is not only significant in the final structure of software, but also in the development process. Architecture itself is assembled by a network of design decisions (DD) composing a design rationale. Such rationale has often been neglected; however it is essential to deal with future change. This is also the role of traceability, the crosscutting relationship describing the evolution of software. The methodology ATRIUM provides the method to manage traceability, by using a Model-Driven Development (MDD) approach where every model element maintains links to related elements in previous and further stages. This proposal defines how these links have been exploited to support the tracing of DDs and their accompanying design rationales (DRs), and study their propagation. We also present how ATRIUM tools support this proposal by introducing DD/DRs and their traceability links from requirements to the target architectural model. These are automatically generated by M2M transformations, avoiding the error-prone task of managing them by hand.

Lecture Notes in Computer Science, 2005

Lecture Notes in Computer Science, 2002

Journal of Software: Evolution and Process, 2012

Lecture Notes in Computer Science, 2009

Abstract. The organization of objects into classes and categories is an essential task in the pro... more Abstract. The organization of objects into classes and categories is an essential task in the process of forming concepts. Within computer science, this classification activity must be supported by a well-founded representation system; among the alternatives, ontologies appear as a particularly suitable choice. Classification has therefore an ontological nature, as it both defines a system of categories, in the philosophical sense, and is founded by some ontology, in the computational sense. However, there is an implicit duality; classes are ...

Abstract. The fact that software systems are ever more complex nowadays leads the designers to re... more Abstract. The fact that software systems are ever more complex nowadays leads the designers to rethink the strategy to handle and manage them. Hence, their development and maintenance strategies must be redesigned. Adaptability (and also self-adaptation) can be considered one of the most important of their features at the architecture level. This position paper outlines an architectural solution to tackle that dynamism, providing adaptive organisations within multi-agent systems. Keywords: Self-Adaptation, Adaptive ...

INRIA Rapports de Recherche, 2004

Abstract: Th is re search re p or tp re se nts ap rom ising new app ro ac htoc om putati on call ... more Abstract: Th is re search re p or tp re se nts ap rom ising new app ro ac htoc om putati on call ed Re-c omb inant P ro gra mm ing. The n ove lty ofour app ro ac h is th atits e pa r at e st he p ro gram int o tw o lay er so fc om putati on: t he re c omb inati on and t he int er p re tati on lay er. The re c omb inati on lay er tak e ss e qu e nc es as inputs and all o ws t he p ro gra mmer to re c omb in et he sese qu e nc e st hro ug ht he de finiti ono fc ohe si ve code units call ede xt e nsi o ns. The o utput of suc h re c omb inati on is a me shth at can be us edb yt ...

Simposio Español de Informática Distribuida (SEID 2000), 2000

Resumen La heterogeneidad en los lenguajes de consulta dificulta la integración de bibliotecas ya... more Resumen La heterogeneidad en los lenguajes de consulta dificulta la integración de bibliotecas ya existentes con el fin de constituir una nueva biblioteca digital en entornos distribuidos. A la multiplicidad en los lenguajes de consulta se suma la diversidad en los formatos de los datos y en los resultados de las consultas de cada servidor. La biblioteca que acoge un nuevo servidor debe garantizar la interoperabilidad entre el recién llegado y el resto del sistema. En este trabajo hacemos una revisión del problema y las posibles ...

II Workshop on Agreement Technologies WAT–XIII Conferencia de la Asociación Española para la Inteligencia Artificial CAEPIA, 2009

Abstract. Multi-Agent Systems (MAS) are increasingly popular in Artificial Intelligence (AI) to s... more Abstract. Multi-Agent Systems (MAS) are increasingly popular in Artificial Intelligence (AI) to solve complex problems. They can be conceived flexible and able to adapt to different situations. However, these features are often compromised by the characteristics of the problem itself. On the other hand, MAS have not had a lot of success in the industry, probably due to a different development culture. To solve this, MAS techniques should be more accessible to the general public, and have a shorter learning curve. The proposed ...

Jornadas de Bibliotecas Digitales, 2000

Resumen. La heterogeneidad en las bibliotecas digitales dificulta la integración de colecciones d... more Resumen. La heterogeneidad en las bibliotecas digitales dificulta la integración de colecciones documentales destinadas a constituir una nueva biblioteca digital. Dicha heterogeneidad puede deberse, entre otras, a las siguientes causas: distintos modelos de documentos, formatos diferentes, distintos modelos en los atributos, y distintas sintaxis en los lenguajes de consulta y en los datos que circulan por la biblioteca. La biblioteca que acoge una nueva colección debe garantizar la interoperabilidad entre la recién llegada y ...

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

Despite the well-known advantages of applying the MDA proposal to SOA developments, there are sti... more Despite the well-known advantages of applying the MDA proposal to SOA developments, there are still some gaps that need to be filled. At PIM-level, for example, there is no possibility of having an executable version of the system as it solely comprises technologically independent models. In order to solve this we propose to formalize the architectural model at this level with π-ADL, an ADL supporting the description of dynamic and evolvable architectures like SOA itself is. Since π-ADL allows the definition of ...

European Conference on Software Architecture, 2007

The vast diversity of implementation and support platforms for service-oriented architectures (su... more The vast diversity of implementation and support platforms for service-oriented architectures (such as Web, Grid or even CORBA) increases the complexity of the development process of service-based systems. To reduce it, both the architectural properties of the SOC paradigm and a development approach based on the MDA proposal can be studied. This work describes a UML profile for the PIM-level