Música a la Universitat: una eina per desenvolupar l'expressió creativa i la comunicació

Aquest article pretén exposar de quina manera la música, que comporta sempre una participació activa de l'alumne, constitueix un element formatiu de primer ordre, per raó de les seves característiques creatives i expressives. Informar i crear un corrent d'opinió favorable a la inclusió de la música com a matèria dins la Universitat, per aprofitar les seves qualitats i enriquir així la vida emocional i relacional dels joves, moltes vegades mancada d'unes pautes i d¿uns models basats en la creativitat, l'autenticitat, la solidaritat, la comprensió i la comunicació. També es proposen recursos per desenvolupar l'expressió creativa dels alumnes, a partir de la música.

Linear least squares estimation of the first order moving average parameter

We propose an iterative procedure to minimize the sum of squares function which avoids the nonlinear nature of estimating the first order moving average parameter and provides a closed form of the estimator. The asymptotic properties of the method are discussed and the consistency of the linear least squares estimator is proved for the invertible case. We perform various Monte Carlo experiments in order to compare the sample properties of the linear least squares estimator with its nonlinear counterpart for the conditional and unconditional cases. Some examples are also discussed

Linear least squares estimation of the first order moving average parameter

We propose an iterative procedure to minimize the sum of squares function which avoids the nonlinear nature of estimating the first order moving average parameter and provides a closed form of the estimator. The asymptotic properties of the method are discussed and the consistency of the linear least squares estimator is proved for the invertible case. We perform various Monte Carlo experiments in order to compare the sample properties of the linear least squares estimator with its nonlinear counterpart for the conditional and unconditional cases. Some examples are also discussed

Les mestresses Baldrich a través dels capítols matrimonials (segles XVII-XIX)

L’evolució d’una família burgesa benestant al llarg d’un període s’acostuma a estudiar a través dels canvis en el patrimoni, de les estratègies matrimonials o del nivell cultural, és a dir, del conjunt de totes les decisions relacionades amb la família que tenien repercussió en els afers de la casa. Les iniciatives del propietari, els casaments dels hereus i de les cabaleres, els destins dels fadristerns, les aliances que es derivaven dels casaments o l’import dels dots i llegítimes pactades generació rere generació, impactaven en el calaix de la casa mare i afectaven l’esdevenir de tota la comunitat.1 Aquests estudis s’acostumen a centrar en els caps de família perquè en una societat dirigida pels homes, eren els que gaudien de la capacitat legal i del prestigi social per comprar i vendre, i obrir o tancar negocis. També decidien sobre l’educació i el futur dels fills i filles, podien ostentar càrrecs públics o participar en la vida cultural. Tanmateix, en el procés d’evolució dels patrimonis familiars, les dones que es van unir amb els hereus van tenir un gran protagonisme. El casament de l’hereu constituïa un afer familiar de primer ordre, ja que havia de donar resposta als interessos estratègics del conjunt de la casa. Calia considerar el nivell social i econòmic de la família de la candidata i, per tant, el dot que podia aportar i les inversions que permetria aquesta entrada de recursos, però també el lloc de procedència i els avantatges que podia comportar tenir nous contactes en altres localitats. A més, s’havia de valorar la font d’ingressos de la futura família i preveure com podia incidir la nova aliança en el desenvolupament del negoci propi. Així doncs, s’havien de d’avaluar un seguit de factors abans de prendre la decisió final. En aquest article ens proposem estudiar les raons dels diferents enllaços i la rellevància que van tenir les mullers dels successius hereus en el patrimoni Baldrich. Es tracta de les tretze mestresses corresponents a set hereus, que abracen des de la segona meitat del segle xvii fins al 1835, any de la mort de la darrera mestressa Baldrich, un període del qual es conserva, a més de documentació notarial, correspondència de la casa. La diferència entre el nombre d’homes i de dones es deu al fet que un dels hereus es va casar quatre vegades, i de la resta, quatre ho van fer dues vegades, un altre una vegada, i el darrer restà solter.

Primers resultats de l'Essai de dictionnaire historique de la langue catalane, de Julià-Bernat Alart (1824-1880)

Julià-Bernat Alart (1824 – 1880, Vinçà) fou un arxiver, historiador i filòleg rossellonès de primer ordre. Entre molts treballs que va dur a terme, hem volgut treure a la llum uns primers resultats sobre l’inèdit Essai de dictionnaire historique de la langue catalane. Es tracta d’un recull de 14.639 cèdules lexicogràfiques que consten d’una paraula catalana amb una o més documentacions antigues. Gràcies a aquest material, hem pogut demostrar que l’Essai aporta nova informació lingüística i històrica que no recullen cap dels dos diccionaris històrics de referència del català ―el DCVB i el DECat―, com ara nous lemes o atestacions primerenques

Model per a categoritzar les bones estratègies en estimació, en numeració i càlcul emprades pels infans en acabar l'educació primària

L' estimació, per la inexactitud i l'aparent manca de rigor que comporta, ha estat, i encara continua essent, un contingut deixat de banda en els curriculums escolars, entestats fins fa poc temps a presentar una matematica exacta, tancada, acabada, plena de normes i poc flexible. En canvi, nosaltres el considerem un contingut de primer ordre i d'importancia cabdal. Consequència d'aquesta poca consideració curricular és la manca del domini d'estrategies d'estimació en numeració i calcul, per part de l'alumnat, que hem constatat durant anys en diferents nivells educatius. Aquest informe resumeix una part, la determinació dels tipus i categories d'estratègies acceptables, d'un treball de tesi doctoral que consta de dues parts principals: la creació i validació d'un test per analitzar quatre ambits d'estimació en numeració i càlcul i una segona part experimental que suposa l'aplicació dels instruments de mesura a una mostra per poder esbrinar, a partir de les respostes dels infants, els tipus dlestratPgies, de dificultats i d'errors. Posteriorment, s'arriba a establir categories perla tots tres i concloure amb orientacions didhctiques que redundin en la millora de la competencia numerica dels estudiants a partir d'una adequada instrucció a l'aula.

Espeleotoponímia de motivació paleontològica i antracotoponímia de les Illes Balears

En aquest treball es recopilen i estudien, des d’una perspectiva etnopaleontològica, les aportacions i influencies exercides pels fòssils en relació al patrimoni onomàstic toponímic relacionat amb cavitats càrstiques de l’àmbit geogràfic de les Illes Balears. Generalment es tracta de microtopònims moderns o recents, en vies de popularització i/o tradicionalització (neotopònims), establerts pels científics que estudien les coves i/o esportistes del món de l’espeleologia (topocultismes). Es poden distingir entre espeleotopònims de primer ordre (quan es refereixen a cavitats completes) i de segon ordre (quan es refereixen a un sector d’una cavitat). També es realitza una primera aproximació als topònims referits a mines d’extracció de carbó fòssil (antracotopònims).

La nocturnitat en la il·luminació dels clips musicals actuals

Peer-reviewed

Ensumar la ciutat: anàlisi antropològica de la construcció olfactiva sobre les condicions de salubritat a Catalunya en el segle XIX

Les topografies mèdiques-finals del segle XIX i primeres dècades del segle xx- són informes fets pels metges catalans que volien construir una"geografia mèdica" del país, qüestió fonamental per conèixer l"estat de la salut de la població; avui, aquests informes esdevenen un material de primer ordre per conèixer les condicions de vida en relació amb l"estat de salubritat no solament de les localitats estudiades sinó també de tota una època.

El ghetto de Venècia: de reducte jueu a patrimoni cultural i recurs turístic

Aquest article analitza el projecte de transformació del Ghetto de Venècia de reducte jueu i punt obscur de la ciutat, a producte cultural i turístic de primer ordre; un projecte en el qual hi han col·laborat tant la mateixa comunitat jueva veneciana com les diferents administracions públiques i institucions privades interessades en la conservació i promoció d'aquest patrimoni. Aquest estudi analitza aquesta transformació. Per a la seva delimitació, es va dur a terme una anàlisi documental de la informació generada per diferents institucions culturals i turístiques, així com entrevistes amb els actors mateixos, relacionats tant amb la recuperacíó com amb laposada en valor del patrimoni jueu de la ciutat de Venècia.

Proposta de millora en relació a la formació i dinamització del voluntariat del projecte Parelles per a la inserció de l'Associació Tapís de Vic

Des de l’itinerari professionalitzador del Màster en Educació Inclusiva es realitzen 6 mòduls dels quals el 6 consisteix en fer un període de pràctiques (100 hores – 9 crèdits) i el Treball Final de Màster (6 crèdits). Jo he realitzat les pràctiques a l’Associació Tapís de Vic, una entitat sense ànim de lucre que treballa per donar resposta a les dificultats derivades de l’exclusió sociolaboral que afecten a molts ciutadans i ciutadanes de la ciutat de Vic i de la comarca d’Osona. Concretament, he realitzat el seguiment i l’anàlisi d’un nou projecte impulsat per l’Associació i en el qual hi ha una important participació activa de voluntariat, anomenat “Parelles per a la Inserció”. Per a aquest nou projecte, l’acompanyament emocional o la motivació davant l’adversitat són elements de primer ordre davant les dificultats per trobar feina. Després d’haver conegut el projecte, he dissenyat i planificat una proposta de millora amb la finalitat de donar resposta a algunes de les necessitats detectades. La proposta de millora, com es podrà observar en aquest treball, està relacionada amb la formació i dinamització de les persones voluntàries.

First-order molecular descriptors for molecular steric similarity

En aquest treball s'analitza la contribució estèrica de les molècules a les seves propietats químiques i físiques, mitjançant l'avaluació del seu volum i de la seva mesura de semblança, a partir d'ara definits com a descriptors moleculars de primer ordre. La difeèsncia entre aquests dos conceptes ha estat aclarida: mentre que el volum és la magnitud de l'espai que ocupa la molècula com a entitat global, la mesura de semblança ens dóna una idea de com està distribuïda la densitat electrònica al llarg d'aquest volum, i reflecteix més les diferències locals existents. L'ús de diverses aproximacions per a l'obtenció d'ambdós valors ha estat analitzat sobre diferents classes d'isòmers

Relational and Allegorical Semantics for Constraint Logic Programming

El cálculo de relaciones binarias fue creado por De Morgan en 1860 para ser posteriormente desarrollado en gran medida por Peirce y Schröder. Tarski, Givant, Freyd y Scedrov demostraron que las álgebras relacionales son capaces de formalizar la lógica de primer orden, la lógica de orden superior así como la teoría de conjuntos. A partir de los resultados matemáticos de Tarski y Freyd, esta tesis desarrolla semánticas denotacionales y operacionales para la programación lógica con restricciones usando el álgebra relacional como base. La idea principal es la utilización del concepto de semántica ejecutable, semánticas cuya característica principal es el que la ejecución es posible utilizando el razonamiento estándar del universo semántico, este caso, razonamiento ecuacional. En el caso de este trabajo, se muestra que las álgebras relacionales distributivas con un operador de punto fijo capturan toda la teoría y metateoría estándar de la programación lógica con restricciones incluyendo los árboles utilizados en la búsqueda de demostraciones. La mayor parte de técnicas de optimización de programas, evaluación parcial e interpretación abstracta pueden ser llevadas a cabo utilizando las semánticas aquí presentadas. La demostración de la corrección de la implementación resulta extremadamente sencilla. En la primera parte de la tesis, un programa lógico con restricciones es traducido a un conjunto de términos relacionales. La interpretación estándar en la teoría de conjuntos de dichas relaciones coincide con la semántica estándar para CLP. Las consultas contra el programa traducido son llevadas a cabo mediante la reescritura de relaciones. Para concluir la primera parte, se demuestra la corrección y equivalencia operacional de esta nueva semántica, así como se define un algoritmo de unificación mediante la reescritura de relaciones. La segunda parte de la tesis desarrolla una semántica para la programación lógica con restricciones usando la teoría de alegorías—versión categórica del álgebra de relaciones—de Freyd. Para ello, se definen dos nuevos conceptos de Categoría Regular de Lawvere y _-Alegoría, en las cuales es posible interpretar un programa lógico. La ventaja fundamental que el enfoque categórico aporta es la definición de una máquina categórica que mejora e sistema de reescritura presentado en la primera parte. Gracias al uso de relaciones tabulares, la máquina modela la ejecución eficiente sin salir de un marco estrictamente formal. Utilizando la reescritura de diagramas, se define un algoritmo para el cálculo de pullbacks en Categorías Regulares de Lawvere. Los dominios de las tabulaciones aportan información sobre la utilización de memoria y variable libres, mientras que el estado compartido queda capturado por los diagramas. La especificación de la máquina induce la derivación formal de un juego de instrucciones eficiente. El marco categórico aporta otras importantes ventajas, como la posibilidad de incorporar tipos de datos algebraicos, funciones y otras extensiones a Prolog, a la vez que se conserva el carácter 100% declarativo de nuestra semántica. ABSTRACT The calculus of binary relations was introduced by De Morgan in 1860, to be greatly developed by Peirce and Schröder, as well as many others in the twentieth century. Using different formulations of relational structures, Tarski, Givant, Freyd, and Scedrov have shown how relation algebras can provide a variable-free way of formalizing first order logic, higher order logic and set theory, among other formal systems. Building on those mathematical results, we develop denotational and operational semantics for Constraint Logic Programming using relation algebra. The idea of executable semantics plays a fundamental role in this work, both as a philosophical and technical foundation. We call a semantics executable when program execution can be carried out using the regular theory and tools that define the semantic universe. Throughout this work, the use of pure algebraic reasoning is the basis of denotational and operational results, eliminating all the classical non-equational meta-theory associated to traditional semantics for Logic Programming. All algebraic reasoning, including execution, is performed in an algebraic way, to the point we could state that the denotational semantics of a CLP program is directly executable. Techniques like optimization, partial evaluation and abstract interpretation find a natural place in our algebraic models. Other properties, like correctness of the implementation or program transformation are easy to check, as they are carried out using instances of the general equational theory. In the first part of the work, we translate Constraint Logic Programs to binary relations in a modified version of the distributive relation algebras used by Tarski. Execution is carried out by a rewriting system. We prove adequacy and operational equivalence of the semantics. In the second part of the work, the relation algebraic approach is improved by using allegory theory, a categorical version of the algebra of relations developed by Freyd and Scedrov. The use of allegories lifts the semantics to typed relations, which capture the number of logical variables used by a predicate or program state in a declarative way. A logic program is interpreted in a _-allegory, which is in turn generated from a new notion of Regular Lawvere Category. As in the untyped case, program translation coincides with program interpretation. Thus, we develop a categorical machine directly from the semantics. The machine is based on relation composition, with a pullback calculation algorithm at its core. The algorithm is defined with the help of a notion of diagram rewriting. In this operational interpretation, types represent information about memory allocation and the execution mechanism is more efficient, thanks to the faithful representation of shared state by categorical projections. We finish the work by illustrating how the categorical semantics allows the incorporation into Prolog of constructs typical of Functional Programming, like abstract data types, and strict and lazy functions.

Semantic Service Discovery Techniques for the composable web

This PhD thesis contributes to the problem of resource and service discovery in the context of the composable web. In the current web, mashup technologies allow developers reusing services and contents to build new web applications. However, developers face a problem of information flood when searching for appropriate services or resources for their combination. To contribute to overcoming this problem, a framework is defined for the discovery of services and resources. In this framework, three levels are defined for performing discovery at content, discovery and agente levels. The content level involves the information available in web resources. The web follows the Representational Stateless Transfer (REST) architectural style, in which resources are returned as representations from servers to clients. These representations usually employ the HyperText Markup Language (HTML), which, along with Content Style Sheets (CSS), describes the markup employed to render representations in a web browser. Although the use of SemanticWeb standards such as Resource Description Framework (RDF) make this architecture suitable for automatic processes to use the information present in web resources, these standards are too often not employed, so automation must rely on processing HTML. This process, often referred as Screen Scraping in the literature, is the content discovery according to the proposed framework. At this level, discovery rules indicate how the different pieces of data in resources’ representations are mapped onto semantic entities. By processing discovery rules on web resources, semantically described contents can be obtained out of them. The service level involves the operations that can be performed on the web. The current web allows users to perform different tasks such as search, blogging, e-commerce, or social networking. To describe the possible services in RESTful architectures, a high-level feature-oriented service methodology is proposed at this level. This lightweight description framework allows defining service discovery rules to identify operations in interactions with REST resources. The discovery is thus performed by applying discovery rules to contents discovered in REST interactions, in a novel process called service probing. Also, service discovery can be performed by modelling services as contents, i.e., by retrieving Application Programming Interface (API) documentation and API listings in service registries such as ProgrammableWeb. For this, a unified model for composable components in Mashup-Driven Development (MDD) has been defined after the analysis of service repositories from the web. The agent level involves the orchestration of the discovery of services and contents. At this level, agent rules allow to specify behaviours for crawling and executing services, which results in the fulfilment of a high-level goal. Agent rules are plans that allow introspecting the discovered data and services from the web and the knowledge present in service and content discovery rules to anticipate the contents and services to be found on specific resources from the web. By the definition of plans, an agent can be configured to target specific resources. The discovery framework has been evaluated on different scenarios, each one covering different levels of the framework. Contenidos a la Carta project deals with the mashing-up of news from electronic newspapers, and the framework was used for the discovery and extraction of pieces of news from the web. Similarly, in Resulta and VulneraNET projects the discovery of ideas and security knowledge in the web is covered, respectively. The service level is covered in the OMELETTE project, where mashup components such as services and widgets are discovered from component repositories from the web. The agent level is applied to the crawling of services and news in these scenarios, highlighting how the semantic description of rules and extracted data can provide complex behaviours and orchestrations of tasks in the web. The main contributions of the thesis are the unified framework for discovery, which allows configuring agents to perform automated tasks. Also, a scraping ontology has been defined for the construction of mappings for scraping web resources. A novel first-order logic rule induction algorithm is defined for the automated construction and maintenance of these mappings out of the visual information in web resources. Additionally, a common unified model for the discovery of services is defined, which allows sharing service descriptions. Future work comprises the further extension of service probing, resource ranking, the extension of the Scraping Ontology, extensions of the agent model, and contructing a base of discovery rules. Resumen La presente tesis doctoral contribuye al problema de descubrimiento de servicios y recursos en el contexto de la web combinable. En la web actual, las tecnologías de combinación de aplicaciones permiten a los desarrolladores reutilizar servicios y contenidos para construir nuevas aplicaciones web. Pese a todo, los desarrolladores afrontan un problema de saturación de información a la hora de buscar servicios o recursos apropiados para su combinación. Para contribuir a la solución de este problema, se propone un marco de trabajo para el descubrimiento de servicios y recursos. En este marco, se definen tres capas sobre las que se realiza descubrimiento a nivel de contenido, servicio y agente. El nivel de contenido involucra a la información disponible en recursos web. La web sigue el estilo arquitectónico Representational Stateless Transfer (REST), en el que los recursos son devueltos como representaciones por parte de los servidores a los clientes. Estas representaciones normalmente emplean el lenguaje de marcado HyperText Markup Language (HTML), que, unido al estándar Content Style Sheets (CSS), describe el marcado empleado para mostrar representaciones en un navegador web. Aunque el uso de estándares de la web semántica como Resource Description Framework (RDF) hace apta esta arquitectura para su uso por procesos automatizados, estos estándares no son empleados en muchas ocasiones, por lo que cualquier automatización debe basarse en el procesado del marcado HTML. Este proceso, normalmente conocido como Screen Scraping en la literatura, es el descubrimiento de contenidos en el marco de trabajo propuesto. En este nivel, un conjunto de reglas de descubrimiento indican cómo los diferentes datos en las representaciones de recursos se corresponden con entidades semánticas. Al procesar estas reglas sobre recursos web, pueden obtenerse contenidos descritos semánticamente. El nivel de servicio involucra las operaciones que pueden ser llevadas a cabo en la web. Actualmente, los usuarios de la web pueden realizar diversas tareas como búsqueda, blogging, comercio electrónico o redes sociales. Para describir los posibles servicios en arquitecturas REST, se propone en este nivel una metodología de alto nivel para descubrimiento de servicios orientada a funcionalidades. Este marco de descubrimiento ligero permite definir reglas de descubrimiento de servicios para identificar operaciones en interacciones con recursos REST. Este descubrimiento es por tanto llevado a cabo al aplicar las reglas de descubrimiento sobre contenidos descubiertos en interacciones REST, en un nuevo procedimiento llamado sondeo de servicios. Además, el descubrimiento de servicios puede ser llevado a cabo mediante el modelado de servicios como contenidos. Es decir, mediante la recuperación de documentación de Application Programming Interfaces (APIs) y listas de APIs en registros de servicios como ProgrammableWeb. Para ello, se ha definido un modelo unificado de componentes combinables para Mashup-Driven Development (MDD) tras el análisis de repositorios de servicios de la web. El nivel de agente involucra la orquestación del descubrimiento de servicios y contenidos. En este nivel, las reglas de nivel de agente permiten especificar comportamientos para el rastreo y ejecución de servicios, lo que permite la consecución de metas de mayor nivel. Las reglas de los agentes son planes que permiten la introspección sobre los datos y servicios descubiertos, así como sobre el conocimiento presente en las reglas de descubrimiento de servicios y contenidos para anticipar contenidos y servicios por encontrar en recursos específicos de la web. Mediante la definición de planes, un agente puede ser configurado para descubrir recursos específicos. El marco de descubrimiento ha sido evaluado sobre diferentes escenarios, cada uno cubriendo distintos niveles del marco. El proyecto Contenidos a la Carta trata de la combinación de noticias de periódicos digitales, y en él el framework se ha empleado para el descubrimiento y extracción de noticias de la web. De manera análoga, en los proyectos Resulta y VulneraNET se ha llevado a cabo un descubrimiento de ideas y de conocimientos de seguridad, respectivamente. El nivel de servicio se cubre en el proyecto OMELETTE, en el que componentes combinables como servicios y widgets se descubren en repositorios de componentes de la web. El nivel de agente se aplica al rastreo de servicios y noticias en estos escenarios, mostrando cómo la descripción semántica de reglas y datos extraídos permiten proporcionar comportamientos complejos y orquestaciones de tareas en la web. Las principales contribuciones de la tesis son el marco de trabajo unificado para descubrimiento, que permite configurar agentes para realizar tareas automatizadas. Además, una ontología de extracción ha sido definida para la construcción de correspondencias y extraer información de recursos web. Asimismo, un algoritmo para la inducción de reglas de lógica de primer orden se ha definido para la construcción y el mantenimiento de estas correspondencias a partir de la información visual de recursos web. Adicionalmente, se ha definido un modelo común y unificado para el descubrimiento de servicios que permite la compartición de descripciones de servicios. Como trabajos futuros se considera la extensión del sondeo de servicios, clasificación de recursos, extensión de la ontología de extracción y la construcción de una base de reglas de descubrimiento.

Analysis of service-oriented computing systems

La computación basada en servicios (Service-Oriented Computing, SOC) se estableció como un paradigma ampliamente aceptado para el desarollo de sistemas de software flexibles, distribuidos y adaptables, donde las composiciones de los servicios realizan las tareas más complejas o de nivel más alto, frecuentemente tareas inter-organizativas usando los servicios atómicos u otras composiciones de servicios. En tales sistemas, las propriedades de la calidad de servicio (Quality of Service, QoS), como la rapídez de procesamiento, coste, disponibilidad o seguridad, son críticas para la usabilidad de los servicios o sus composiciones en cualquier aplicación concreta. El análisis de estas propriedades se puede realizarse de una forma más precisa y rica en información si se utilizan las técnicas de análisis de programas, como el análisis de complejidad o de compartición de datos, que son capables de analizar simultáneamente tanto las estructuras de control como las de datos, dependencias y operaciones en una composición. El análisis de coste computacional para la composicion de servicios puede ayudar a una monitorización predictiva así como a una adaptación proactiva a través de una inferencia automática de coste computacional, usando los limites altos y bajos como funciones del valor o del tamaño de los mensajes de entrada. Tales funciones de coste se pueden usar para adaptación en la forma de selección de los candidatos entre los servicios que minimizan el coste total de la composición, basado en los datos reales que se pasan al servicio. Las funciones de coste también pueden ser combinadas con los parámetros extraídos empíricamente desde la infraestructura, para producir las funciones de los límites de QoS sobre los datos de entrada, cuales se pueden usar para previsar, en el momento de invocación, las violaciones de los compromisos al nivel de servicios (Service Level Agreements, SLA) potenciales or inminentes. En las composiciones críticas, una previsión continua de QoS bastante eficaz y precisa se puede basar en el modelado con restricciones de QoS desde la estructura de la composition, datos empiricos en tiempo de ejecución y (cuando estén disponibles) los resultados del análisis de complejidad. Este enfoque se puede aplicar a las orquestaciones de servicios con un control centralizado del flujo, así como a las coreografías con participantes multiples, siguiendo unas interacciones complejas que modifican su estado. El análisis del compartición de datos puede servir de apoyo para acciones de adaptación, como la paralelización, fragmentación y selección de los componentes, las cuales son basadas en dependencias funcionales y en el contenido de información en los mensajes, datos internos y las actividades de la composición, cuando se usan construcciones de control complejas, como bucles, bifurcaciones y flujos anidados. Tanto las dependencias funcionales como el contenido de información (descrito a través de algunos atributos definidos por el usuario) se pueden expresar usando una representación basada en la lógica de primer orden (claúsulas de Horn), y los resultados del análisis se pueden interpretar como modelos conceptuales basados en retículos. ABSTRACT Service-Oriented Computing (SOC) is a widely accepted paradigm for development of flexible, distributed and adaptable software systems, in which service compositions perform more complex, higher-level, often cross-organizational tasks using atomic services or other service compositions. In such systems, Quality of Service (QoS) properties, such as the performance, cost, availability or security, are critical for the usability of services and their compositions in concrete applications. Analysis of these properties can become more precise and richer in information, if it employs program analysis techniques, such as the complexity and sharing analyses, which are able to simultaneously take into account both the control and the data structures, dependencies, and operations in a composition. Computation cost analysis for service composition can support predictive monitoring and proactive adaptation by automatically inferring computation cost using the upper and lower bound functions of value or size of input messages. These cost functions can be used for adaptation by selecting service candidates that minimize total cost of the composition, based on the actual data that is passed to them. The cost functions can also be combined with the empirically collected infrastructural parameters to produce QoS bounds functions of input data that can be used to predict potential or imminent Service Level Agreement (SLA) violations at the moment of invocation. In mission-critical applications, an effective and accurate continuous QoS prediction, based on continuations, can be achieved by constraint modeling of composition QoS based on its structure, known data at runtime, and (when available) the results of complexity analysis. This approach can be applied to service orchestrations with centralized flow control, and choreographies with multiple participants with complex stateful interactions. Sharing analysis can support adaptation actions, such as parallelization, fragmentation, and component selection, which are based on functional dependencies and information content of the composition messages, internal data, and activities, in presence of complex control constructs, such as loops, branches, and sub-workflows. Both the functional dependencies and the information content (described using user-defined attributes) can be expressed using a first-order logic (Horn clause) representation, and the analysis results can be interpreted as a lattice-based conceptual models.