Una Visión General a los Lenguajes de Descripción Arquitectónica : Informe Técnico LSI-2001-01

El presente informe técnico es una breve introducción en español a los lenguajes de descripción arquitectónica, basada principalmente en los trabajos de [8] y [11], donde hacemos un repaso de las principales características que todos ellos deberían tener e intuimos hasta qué punto son tenidas en cuenta o no por las corrientes actuales. A continuación, introducimos el marco de clasificación y comparación de ADL’s definido por [11] y, basándonos en él, presentamos los ADL’s que hemos considerado más interesantes. Finalmente, repasamos los últimos enfoques surgidos con vistas a especificar las propiedades no funcionales a nivel arquitectónico, uno de los aspectos que se quedaron al margen cuando se definieron los primeros ADL’s, enfocados principalmente hacia la funcionalidad. Al no ser una compilación original remitimos directamente al lector que desee profundizar en estos temas a las referencias bibliográficas que aparecen al final del documento

Una Experiencia en el diseño y la impartición de una asignatura en torno a la metodología del aprendizaje basado en proyectos

En este artículo presentamos nuestra experiencia en la creación e impartición de una asignatura sobre Arquitecturas Software que aplica la metodología del aprendizaje basado en proyectos. La asignatura pertenece a una joven titulación de Máster Oficial creada bajo los principios del Espacio Europeo de Educación Superior (EEES) y actualmente ofrecida por la Universidad de Sevilla como parte de su oferta de estudios de postgrado. Las decisiones tomadas en el diseño de la asignatura en torno a una metodología activa y las conclusiones extraídas de su impartición pueden ser de ayuda a otros profesores durante el proceso de adaptación de las diferentes titulaciones al EEES.Peer Reviewe

A Framework For Classifying and Comparing Web Services Procurement Platforms

The procurement of web services (WSP) shifts the focus of architects and integrators from functional to quality-ofservice (QoS) aspects. A number of platforms have been proposed as supporting infrastructures to assist WSP activities. Notwithstanding, there is a lack of consensus on (i) what expressiveness degree in QoS specifications should be offered, and (ii) what activities should be supported by these platforms. This paper attempts to provide an answer to both questions, thus it motivates and presents a classification framework for WSP platforms. This framework is used to compare several existing platforms and to identify some key properties and deficiencies, which might be considered as a research agenda for the future.Ministerio de Ciencia y Tecnología TIC2000-1106-C02-01Ministerio de Ciencia y Tecnología TIC 2003-02737-C02-01Junta de Comunidades de Castilla La Mancha PCB-02-00

Una experiencia en el diseño y la impartición de una asignatura en torno a la metodología del aprendizaje basado en proyectos

En este artículo presentamos nuestra experiencia en la creación e impartición de una asignatura sobre Arquitecturas Software que aplica la metodología del aprendizaje basado en proyectos. La asignatura pertenece a una joven titulación de Máster Oficial creada bajo los principios del Espacio Europeo de Educación Superior (EEES) y actualmente ofrecida por la Universidad de Sevilla como parte de su oferta de estudios de postgrado. Las decisiones tomadas en el diseño de la asignatura en torno a una metodología activa y las conclusiones extraídas de su impartición pueden ser de ayuda a otros profesores durante el proceso de adaptación de las diferentes titulaciones al EEES

Dealing with Fixable and Non-fixable Properties in Service Matchmaking

In the context of service discovery, matchmakers check the compliance of service-level objectives from providers and consumers. The problem of bounded uncertainty arises if some property is non-fixable. In this case, the provider is not able to control the value it takes at runtime, so the eventual consumer must not have the choice to select a value and fix it, but only knowing the guaranteed range of values it may take. To the best of our knowledge, there does not exist any approach which deals with this scenario. Most matchmakers work as if all properties were fixable, and a few have assumed the contrary. In either case, the accuracy of their results is likely to be in question since there may be involved both fixable and non-fixable properties at the same time, and there may also exist dependencies between them. In order to improve the accuracy, we present a holistic approach to matchmaking under bounded uncertainty and propose constraint programming as our choice to deal with it, so that matchmaking is transformed into a quantified constraint satisfaction problem.Comisión Interministerial de Ciencia y Tecnología TIN2006-00472Comisión Interministerial de Ciencia y Tecnología TIN2009- 07366Junta de Andalucía TIC-253

Spl needs an automatic holistic model for software reasoning with feature models

The number of features and their relations in a Software Product Line (SPL) may lead to have SPLs with a big number of potential products which may be difficult to manage. This number of potential products widely increases if, as well as functional features, extra–functional features are taken into account. There are several questions that a SPL engineer would like to ask to his SPL model such as: is it a valid model?, how many potential products a SPL has?, is there any product fulfilling the customer needs? and so forth. These types of questions are error prone to answer without an automatic support. The work reported in this position paper glipmses some misconceptions of previous related proposals: we uphold the need to have an holistic product line model were not distinction are made between functional and extra–functional features, we propose a model based on a formalism strong enough to support both type o features: contraint programming.Ministerio de Ciencia y Tecnología TIC2003-02737-C02-0

Implementing Associations among Classes in an Environment of Active Databases

The association is a native concept from relational databases, one that has been adapted to object oriented (OO) modelling. It is an interesting operator used to describe links among objects of a system, commonly included in the most popular diagram-based OO methodologies. However, those methodologies sometimes present a lack of formality that may undermine its use. In this paper we formalize the semantics of associations. Firstly, we will describe an OO model based on different kinds of constraints. Some of them will be especially useful for describing the semantics of associations. Finally, we will present some remarks about implementation by means of triggers, a new feature incorporated in databases to specify an inner active behavior.Comisión Interministerial de Ciencia y Tecnología TIC97-0593-C05-0

Automatic Generation of Purchasing Plans for Cloud Services

The myriad of cloud service providers, as well as their overwhelming variety of configuration and purchasing options, result in a highly complex purchasing scenario. Furthermore, users may specify their needs for cloud services provisioning with a certain scheduling restrictions. There is a need for an automatic support for obtaining an appropriate purchasing plan, which takes into account both service configurations and scheduling needs, while allowing the comparison among different providers and their various offerings. In this work, we present an automatic purchasing plan generator, which analyzes cloud service offerings from several providers to obtain an optimized purchasing plan according to user needs. From the obtained purchasing plan, our solution can provide the corresponding charge plan, possibly including discounts, which serves the purpose of comparing offerings to get the best option.Ministerio de Economía y Competitividad BELI (TIN2015-70560-R)Junta de Andalucía P12--TIC--1867Junta de Andalucía P10-TIC-590

Towards a Comprehensive Purchasing Model for Cloud Services

The Cloud Service Market has evolved into a complex landscape that challenges the decision making of users as they develop their purchasing process. In particular, we explore the case of cloud infrastructure (IaaS) providers as an example of heterogeneous variety of purchasing options and discounts; this variability represents an important drawback during the decision making process where there is a need to compare and select the best option. In this work, we define a common model to describe purchasing models from different providers taking into account such heterogeneity. This purchasing model represents a first step towards the automated support of decision making problems during the purchasing process. In order to illustrate our approach we apply the model in a real case study of IaaS purchasing.Ministerio de Economía y Competitividad TIN2012-32273Ministerio de Economía y Competitividad TIN2014-53986-REDTJunta de Andalucía TIC-5906Junta de Andalucía P12--TIC--186