Dynamic decision-making based on NFR for managing software variability and configuration selection

Due to dynamic variability, identifying the specific conditions under which non-functional requirements (NFRs) are satisfied may be only possible at runtime. Therefore, it is necessary to consider the dynamic treatment of relevant information during the requirements specifications. The associated data can be gathered by monitoring the execution of the application and its underlying environment to support reasoning about how the current application configuration is fulfilling the established requirements. This paper presents a dynamic decision-making infrastructure to support both NFRs representation and monitoring, and to reason about the degree of satisfaction of NFRs during runtime. The infrastructure is composed of: (i) an extended feature model aligned with a domain-specific language for representing NFRs to be monitored at runtime; (ii) a monitoring infrastructure to continuously assess NFRs at runtime; and (iii) a exible decision-making process to select the best available configuration based on the satisfaction degree of the NRFs. The evaluation of the approach has shown that it is able to choose application configurations that well fit user NFRs based on runtime information. The evaluation also revealed that the proposed infrastructure provided consistent indicators regarding the best application configurations that fit user NFRs. Finally, a benefit of our approach is that it allows us to quantify the level of satisfaction with respect to NFRs specification.

A framework for specification and analysis of software architectures

Software architecture is the abstract design of a software system. It plays a key role as a bridge between requirements and implementation, and is a blueprint for development. The architecture represents a set of early design decisions that are crucial to a system. Mistakes in those decisions are very costly if they remain undetected until the system is implemented and deployed. This is where formal specification and analysis fits in. Formal specification makes sure that an architecture design is represented in a rigorous and unambiguous way. Furthermore, a formally specified model allows the use of different analysis techniques for verifying the correctness of those crucial design decisions. ^ This dissertation presented a framework, called SAM, for formal specification and analysis of software architectures. In terms of specification, formalisms and mechanisms were identified and chosen to specify software architecture based on different analysis needs. Formalisms for specifying properties were also explored, especially in the case of non-functional properties. In terms of analysis, the dissertation explored both the verification of functional properties and the evaluation of non-functional properties of software architecture. For the verification of functional property, methodologies were presented on how to apply existing model checking techniques on a SAM model. For the evaluation of non-functional properties, the dissertation first showed how to incorporate stochastic information into a SAM model, and then explained how to translate the model to existing tools and conducts the analysis using those tools. ^ To alleviate the analysis work, we also provided a tool to automatically translate a SAM model for model checking. All the techniques and methods described in the dissertation were illustrated by examples or case studies, which also served a purpose of advocating the use of formal methods in practice. ^

ArchWiSeN: uma estratégia baseada em modelos para desenvolvimento de aplicações para redes de sensores e atuadores sem fio

Wireless Sensor and Actuator Networks (WSAN) are a key component in Ubiquitous Computing Systems and have many applications in different knowledge domains. Programming for such networks is very hard and requires developers to know the available sensor platforms specificities, increasing the learning curve for developing WSAN applications. In this work, an MDA (Model-Driven Architecture) approach for WSAN applications development called ArchWiSeN is proposed. The goal of such approach is to facilitate the development task by providing: (i) A WSAN domain-specific language, (ii) a methodology for WSAN application development; and (iii) an MDA infrastructure composed of several software artifacts (PIM, PSMs and transformations). ArchWiSeN allows the direct contribution of domain experts in the WSAN application development without the need of specialized knowledge on WSAN platforms and, at the same time, allows network experts to manage the application requirements without the need for specific knowledge of the application domain. Furthermore, this approach also aims to enable developers to express and validate functional and non-functional requirements of the application, incorporate services offered by WSAN middleware platforms and promote reuse of the developed software artifacts. In this sense, this Thesis proposes an approach that includes all WSAN development stages for current and emerging scenarios through the proposed MDA infrastructure. An evaluation of the proposal was performed by: (i) a proof of concept encompassing three different scenarios performed with the usage of the MDA infrastructure to describe the WSAN development process using the application engineering process, (ii) a controlled experiment to assess the use of the proposed approach compared to traditional method of WSAN application development, (iii) the analysis of ArchWiSeN support of middleware services to ensure that WSAN applications using such services can achieve their requirements ; and (iv) systematic analysis of ArchWiSeN in terms of desired characteristics for MDA tool when compared with other existing MDA tools for WSAN.

AdaptMCloud: uma estratégia para adaptação dinâmica de aplicações Multi-Cloud

Multi-Cloud Applications are composed of services offered by multiple cloud platforms where the user/developer has full knowledge of the use of such platforms. The use of multiple cloud platforms avoids the following problems: (i) vendor lock-in, which is dependency on the application of a certain cloud platform, which is prejudicial in the case of degradation or failure of platform services, or even price increasing on service usage; (ii) degradation or failure of the application due to fluctuations in quality of service (QoS) provided by some cloud platform, or even due to a failure of any service. In multi-cloud scenario is possible to change a service in failure or with QoS problems for an equivalent of another cloud platform. So that an application can adopt the perspective multi-cloud is necessary to create mechanisms that are able to select which cloud services/platforms should be used in accordance with the requirements determined by the programmer/user. In this context, the major challenges in terms of development of such applications include questions such as: (i) the choice of which underlying services and cloud computing platforms should be used based on the defined user requirements in terms of functionality and quality (ii) the need to continually monitor the dynamic information (such as response time, availability, price, availability), related to cloud services, in addition to the wide variety of services, and (iii) the need to adapt the application if QoS violations affect user defined requirements. This PhD thesis proposes an approach for dynamic adaptation of multi-cloud applications to be applied when a service is unavailable or when the requirements set by the user/developer point out that other available multi-cloud configuration meets more efficiently. Thus, this work proposes a strategy composed of two phases. The first phase consists of the application modeling, exploring the similarities representation capacity and variability proposals in the context of the paradigm of Software Product Lines (SPL). In this phase it is used an extended feature model to specify the cloud service configuration to be used by the application (similarities) and the different possible providers for each service (variability). Furthermore, the non-functional requirements associated with cloud services are specified by properties in this model by describing dynamic information about these services. The second phase consists of an autonomic process based on MAPE-K control loop, which is responsible for selecting, optimally, a multicloud configuration that meets the established requirements, and perform the adaptation. The adaptation strategy proposed is independent of the used programming technique for performing the adaptation. In this work we implement the adaptation strategy using various programming techniques such as aspect-oriented programming, context-oriented programming and components and services oriented programming. Based on the proposed steps, we tried to assess the following: (i) the process of modeling and the specification of non-functional requirements can ensure effective monitoring of user satisfaction; (ii) if the optimal selection process presents significant gains compared to sequential approach; and (iii) which techniques have the best trade-off when compared efforts to development/modularity and performance.

Development of release methods for critically endangered freshwater pearl mussels (Margaritifera margaritifera)

Biodiversity loss is a global problem with freshwater bivalves considered amongst the most
endangered biota. The freshwater pearl mussel, Margaritifera margaritifera, is declining
throughout its range owing to habitat degradation and overexploitation. In most of its range,
populations are regarded as reproductively non-functional which has led to the development
of captive breeding programmes. A novel method of releasing M. margaritifera was trialled,
with captive-bred juveniles being released into the rivers caged in ‘mussels silos’ (protective
concrete domes with ventilation creating upwelling to ensure water through flow). We
released 240 juvenile mussels and survival and growth rates were monitored for 18 months
post-release for three size classes: A (13.01-20.00mm); B (10.01-13.00mm); and C (4.01-
10.00mm). We explicitly tested two experimental treatments; one where sediment was added
to each silo (allowing mussels to orientate and burrow) and one without sediment. Survival
by the end of the experiment at month 18 was significantly higher for the largest size class at
97% (though growth was lowest in this cohort), and lowest for the smallest size class at 61%
(though growth was highest in this cohort). Survival and growth were unaffected by the
experimental treatment suggesting that adding sediment offered no advantage. Growth was
positively correlated with both water temperature and the particle size of suspended solids
(both of which were collinear, peaking in summer). There are a large number of ex situ
breeding programmes for freshwater pearl mussels throughout Europe and our finding
suggest that the use of ‘mussel silos’ could be a useful tool to protecting juvenile mussels
allowing them to be released at a relatively early stage of development, minimising the risk of
domestication.

Molecular characteristics and gene segment usage in IGH gene rearrangements in multiple myeloma.

BACKGROUND AND OBJECTIVES: Analysis of IgH rearrangements in B-cell malignancies has provided clinical researchers with a wide range of information during the last few years. However, only a few studies have contributed to the characterization of these features in multiple myeloma (MM), and they have been focused on the analysis of the expressed IgH allele only. Comparison between the expressed and the non-functional IgH alleles allows further characterizion of the selection processes to which pre-myeloma cells are submitted. DESIGN AND METHODS: We analyzed a cohort of 84 untreated MM patients in order to characterize their functional VDJH and non-functional DJH rearrangements. The pattern of mutations and gene segment usage for both types of rearrangements was analyzed by polymerase chain reaction and sequencing. RESULTS: VH3 and VH1 family members were over- and under-represented, respectively. VH3-30 and VH3-15 segments were the most frequently used, whereas VH4-34 was found only in non-functional or heavily mutated VDJH rearrangements. DH2 and DH3 family members were over-represented in both VDJH and DJH repertoires, while the DH1 family was under-represented only in the productive VDJH rearrangements. Finally, DH3-22 and DH2-21 gene segments were found to be over-represented in the functional repertoire while segments commonly used by less mature B-cell malignancies, such as DH6-19 or DH3-3, were under-represented. INTERPRETATION AND CONCLUSIONS: Data reported here help to identify the clonogenic MM cell as a post-germinal center B cell that has undergone selection processes during the germinal center reaction.

Funcionamento Familiar e Comportamento Anti-social e Delinquente

Este estudo visa aprofundar o conhecimento sistémico, relativamente à problemática do comportamento anti-social numa perspectiva do seu funcionamento familiar. Procurámos compreender a existência ou não de comportamentos anti-sociais e delinquentes nos subsistemas filiais de famílias disfuncionais, de uma comunidade socialmente conotada como estando associada à criminalidade. Em termos metodológicos utilizámos o questionário sociodemográfico (Correia, 2009), a FACES II – escala de avaliação da adaptabilidade e da coesão familiar (Olson et al., 1981) e a escala do comportamento anti-social e delinquente (Formiga & Gouveia, 2005). Os instrumentos de análise foram aplicados a 30 famílias, que revelaram maioritariamente ter um nível de coesão separada, uma adaptabilidade flexível, correspondendo a um tipo de família meio-termo. No entanto, uma análise individual dos resultados revela que um maior número de elementos percepciona a família ao nível da coesão como desmembrada, ao nível da adaptabilidade como flexível, e ao nível do tipo de família como extrema, indicando-nos que diferentes elementos percepcionam de forma diferente o funcionamento do seu sistema familiar. Relativamente aos comportamentos anti-sociais e delinquentes, um número considerável de elementos afirma praticar comportamentos anti-sociais, sendo o número de práticas delinquentes inferior. Apesar de não existir um número elevado de famílias extremas, concluímos que os elementos que pertencem a famílias tendencialmente disfuncionais, praticam maioritariamente comportamentos anti-sociais e delinquentes, sendo que os primeiros prevalecem relativamente aos segundos. /

An Unusual Case of Cerebral Oedema

Hereditary angioedema (HAE) is a rare genetic disorder transmitted as an autosomal dominant trait, characterized by reduced plasma concentration or by the presence of non-functional C1 esterase inhibitor. Oedema caused by HAE mostly affects the skin and bowel and can induce swelling of genitalia. Oedema can be life threatening if it causes swelling of the larynx with obstruction of the airways. We describe the case of a 52-year-old man who presented a neurological emergency (coma), where the remarkable localization of the clinical manifestation and the unusual symptomatology hindered the correct diagnosis.

Online MBPeT dashboard : enabling performance testing as a service in the cloud

In this thesis, tool support is addressed for the combined disciplines of Model-based testing and performance testing. Model-based testing (MBT) utilizes abstract behavioral models to automate test generation, thus decreasing time and cost of test creation. MBT is a functional testing technique, thereby focusing on output, behavior, and functionality. Performance testing, however, is non-functional and is concerned with responsiveness and stability under various load conditions. MBPeT (Model-Based Performance evaluation Tool) is one such tool which utilizes probabilistic models, representing dynamic real-world user behavior patterns, to generate synthetic workload against a System Under Test and in turn carry out performance analysis based on key performance indicators (KPI). Developed at Åbo Akademi University, the MBPeT tool is currently comprised of a downloadable command-line based tool as well as a graphical user interface. The goal of this thesis project is two-fold: 1) to extend the existing MBPeT tool by deploying it as a web-based application, thereby removing the requirement of local installation, and 2) to design a user interface for this web application which will add new user interaction paradigms to the existing feature set of the tool. All phases of the MBPeT process will be realized via this single web deployment location including probabilistic model creation, test configurations, test session execution against a SUT with real-time monitoring of user configurable metric, and final test report generation and display. This web application (MBPeT Dashboard) is implemented with the Java programming language on top of the Vaadin framework for rich internet application development. The Vaadin framework handles the complicated web communications processes and front-end technologies, freeing developers to implement the business logic as well as the user interface in pure Java. A number of experiments are run in a case study environment to validate the functionality of the newly developed Dashboard application as well as the scalability of the solution implemented in handling multiple concurrent users. The results support a successful solution with regards to the functional and performance criteria defined, while improvements and optimizations are suggested to increase both of these factors.

Early investigation towards defining and measuring sustainability as a quality attribute in software systems

Sustainability in software system is still a new practice that most software developers and companies are trying to incorporate into their software development lifecycle and has been largely discussed in academia. Sustainability is a complex concept viewed from economic, environment and social dimensions with several definitions proposed making sometimes the concept of sustainability very fuzzy and difficult to apply and assess in software systems. This has hindered the adoption of sustainability in the software industry. A little research explores sustainability as a quality property of software products and services to answer questions such as; How to quantify sustainability as a quality construct in the same way as other quality attributes such as security, usability and reliability? How can it be applied to software systems? What are the measures and measurement scale of sustainability? The Goal of this research is to investigate the definitions, perceptions and measurement of sustainability from the quality perspective. Grounded in the general theory of software measurement, the aim is to develop a method that decomposes sustainability in factors, criteria and metrics. The Result is a method to quantify and access sustainability of software systems while incorporating management and users concern. Conclusion: The method will empower the ability of companies to easily adopt sustainability while facilitating its integration to the software development process and tools. It will also help companies to measure sustainability of their software products from economic, environmental, social, individual and technological dimension.

Towards Automated Business Process Deduction through a Social and Collaborative Platform

Part 12: Collaboration Platforms

Fonctionnalité in vivo d’un endothélium cornéen reconstitué par injection de cellules endothéliales cornéennes dans la chambre antérieure d’un modèle félin

Introduction : Malgré leur état non-prolifératif in vivo, les cellules endothéliales cornéennes (CEC) peuvent être amplifiées in vitro. Leur transplantation subséquente par injection intracamérale pourrait surmonter la pénurie de tissus associée à l’allo-greffe traditionnelle – l’unique traitement définitif disponible pour les endothéliopathies cornéennes. Objectif : Évaluer la fonctionnalité d’un endothélium cornéen reconstitué par injection de CEC dans la chambre antérieure du félin. Méthodes : Les yeux droits de 16 animaux ont été opérés. Huit ont été désendothélialisés centralement avec injection de 2x10e5 (n=4) ou 1x10e6 (n=4) CEC félines supplémentées avec Y-27632 et marquées avec SP-DiOC18(3). Deux ont été désendothélialisés complètement et injectés avec 1x10e6 CEC et Y-27632. Six contrôles ont été désendothélialisés centralement (n=3) ou complètement (n=3) et injectés avec Y-27632 sans CEC. La performance clinique, l’intégrité anatomique, le phénotype fonctionnel et l’expression de SP-DiOC18(3) du nouvel endothélium ont été étudiés. Résultats : Les cornées greffées avec 2x10e5 CEC et les contrôles désendothélialisés centralement ont réussi le mieux cliniquement. Les contrôles désendothélialisés complètement sont restés opaques. L’histopathologie a révélé une monocouche endothéliale fonctionnelle dans les cornées greffées avec 2x10e5 CEC et les contrôles désendothélialisés centralement, une multicouche endothéliale non-fonctionnelle dans les cornées désendothélialisées centralement et greffées avec 1x10e6 CEC, et un endothélium fibrotique non-fonctionnel dans les cornées désendothélialisées complètement. L’expression de SP-DiOC18(3) était rare dans les greffes. Conclusion : La thérapie par injection cellulaire a reconstitué un endothélium partiellement fonctionnel, auquel les CEC injectées n’ont contribué que peu. L’injection de Y-27632 sans CEC a reconstitué l’endothélium le plus sain. Des études additionnelles investiguant l’effet thérapeutique de Y-27632 seul sont justifiées.

Fonctionnalité in vivo d’un endothélium cornéen reconstitué par injection de cellules endothéliales cornéennes dans la chambre antérieure d’un modèle félin

Introduction : Malgré leur état non-prolifératif in vivo, les cellules endothéliales cornéennes (CEC) peuvent être amplifiées in vitro. Leur transplantation subséquente par injection intracamérale pourrait surmonter la pénurie de tissus associée à l’allo-greffe traditionnelle – l’unique traitement définitif disponible pour les endothéliopathies cornéennes. Objectif : Évaluer la fonctionnalité d’un endothélium cornéen reconstitué par injection de CEC dans la chambre antérieure du félin. Méthodes : Les yeux droits de 16 animaux ont été opérés. Huit ont été désendothélialisés centralement avec injection de 2x10e5 (n=4) ou 1x10e6 (n=4) CEC félines supplémentées avec Y-27632 et marquées avec SP-DiOC18(3). Deux ont été désendothélialisés complètement et injectés avec 1x10e6 CEC et Y-27632. Six contrôles ont été désendothélialisés centralement (n=3) ou complètement (n=3) et injectés avec Y-27632 sans CEC. La performance clinique, l’intégrité anatomique, le phénotype fonctionnel et l’expression de SP-DiOC18(3) du nouvel endothélium ont été étudiés. Résultats : Les cornées greffées avec 2x10e5 CEC et les contrôles désendothélialisés centralement ont réussi le mieux cliniquement. Les contrôles désendothélialisés complètement sont restés opaques. L’histopathologie a révélé une monocouche endothéliale fonctionnelle dans les cornées greffées avec 2x10e5 CEC et les contrôles désendothélialisés centralement, une multicouche endothéliale non-fonctionnelle dans les cornées désendothélialisées centralement et greffées avec 1x10e6 CEC, et un endothélium fibrotique non-fonctionnel dans les cornées désendothélialisées complètement. L’expression de SP-DiOC18(3) était rare dans les greffes. Conclusion : La thérapie par injection cellulaire a reconstitué un endothélium partiellement fonctionnel, auquel les CEC injectées n’ont contribué que peu. L’injection de Y-27632 sans CEC a reconstitué l’endothélium le plus sain. Des études additionnelles investiguant l’effet thérapeutique de Y-27632 seul sont justifiées.

A market-oriented hierarchical scheduling strategy in cloud workflow systems

A cloud workflow system is a type of platform service which facilitates the automation of distributed applications based on the novel cloud infrastructure. One of the most important aspects which differentiate a cloud workflow system from its other counterparts is the market-oriented business model. This is a significant innovation which brings many challenges to conventional workflow scheduling strategies. To investigate such an issue, this paper proposes a market-oriented hierarchical scheduling strategy in cloud workflow systems. Specifically, the service-level scheduling deals with the Task-to-Service assignment where tasks of individual workflow instances are mapped to cloud services in the global cloud markets based on their functional and non-functional QoS requirements; the task-level scheduling deals with the optimisation of the Task-to-VM (virtual machine) assignment in local cloud data centres where the overall running cost of cloud workflow systems will be minimised given the satisfaction of QoS constraints for individual tasks. Based on our hierarchical scheduling strategy, a package based random scheduling algorithm is presented as the candidate service-level scheduling algorithm and three representative metaheuristic based scheduling algorithms including genetic algorithm (GA), ant colony optimisation (ACO), and particle swarm optimisation (PSO) are adapted, implemented and analysed as the candidate task-level scheduling algorithms. The hierarchical scheduling strategy is being implemented in our SwinDeW-C cloud workflow system and demonstrating satisfactory performance. Meanwhile, the experimental results show that the overall performance of ACO based scheduling algorithm is better than others on three basic measurements: the optimisation rate on makespan, the optimisation rate on cost and the CPU time.

Alexander Scriabin: the definition of a new sound space in the crisis of tonality

This dissertation describes the new compositional system introduced by Scriabin in 1909– 1910, focusing on Feuillet d’Album op. 58, Poème op. 59, nº1, Prélude op. 59, nº2 and Promethée op. 60. Based upon exhaustive pitch and formal analysis the present study (a) claims the inexistence of non-functional pitches in all analysed works, (b) shows that transpositional procedures have structural consequences on the “basic chord”, and (c) for the first time advances an explanation on the intrinsic relation between the sonata form and the slow Luce line in Promethée op. 60; RESUMO: Sob o título de “Alexander Scriabin: a definição dum novo espaço sonoro na crise da Tonalidade”, a presente tese descreve o novo sistema compositivo introduzido por Scriabin em 1909– 1910, tomando como ponto de partida o estudo de Feuillet d’Album op. 58, Poème op. 59, nº1, Prélude op. 59, nº2 e Promethée op. 60. Baseando-se numa análise exaustiva das alturas e da forma, este estudo (a) conclui pela inexistência de alturas não funcionais em qualquer das obras analisadas, (b) mostra que os procedimentos transpositivos têm consequências estruturais no “acorde básico”, e (c) pela primeira vez explica a estrutura formal de Promethée op. 60 a partir da relação intrínseca entre a sua forma sonata e a linha lenta de Luce.