Towards Consistency Management for a Business-Driven Development of SOA

The usage of the Service Oriented Architecture (SOA) along with the Business Process Management has emerged as a valuable solution for the complex (business process driven) system engineering. With a Model Driven Engineering where the business process models drive the supporting service component architectures, less effort is gone into the Business/IT alignment during the initial development activities, and the IT developers can rapidly proceed with the SOA implementation. However, the difference between the design principles of the emerging domainspecific languages imposes serious challenges in the following re-design phases. Moreover, enabling evolutions on the business process models while keeping them synchronized with the underlying software architecture models is of high relevance to the key elements of any Business Driven Development (BDD). Given a business process update, this paper introduces an incremental model transformation approach that propagates this update to the related service component configurations. It, therefore, supports the change propagation among heterogenous domainspecific languages, e.g., the BPMN and the SCA. As a major contribution, our approach makes model transformation more tractable to reconfigure system architecture without disrupting its structural consistency. We propose a synchronizer that provides the BPMN-to-SCA model synchronization with the help of the conditional graph rewriting

Legal compliance by design (LCbD) and through design (LCtD) : preliminary survey

1st Workshop on Technologies for Regulatory Compliance co-located with the 30th International Conference on Legal Knowledge and Information Systems (JURIX 2017). The purpose of this paper is twofold: (i) carrying out a preliminary survey of the literature and research projects on Compliance by Design (CbD); and (ii) clarifying the double process of (a) extending business managing techniques to other regulatory fields, and (b) converging trends in legal theory, legal technology and Artificial Intelligence. The paper highlights the connections and differences we found across different domains and proposals. We distinguish three different policydriven types of CbD: (i) business, (ii) regulatory, (iii) and legal. The recent deployment of ethical views, and the implementation of general principles of privacy and data protection lead to the conclusion that, in order to appropriately define legal compliance, Compliance through Design (CtD) should be differentiated from CbD

Component-based software engineering: a quantitative approach

Dissertação apresentada para a obtenção do Grau de Doutor em Informática pela Universidade Nova de Lisboa, Faculdade de Ciências e TecnologiaBackground: Often, claims in Component-Based Development (CBD) are only supported by qualitative expert opinion, rather than by quantitative data. This contrasts with the normal practice in other sciences, where a sound experimental validation of claims is standard practice. Experimental Software Engineering (ESE) aims to bridge this gap. Unfortunately, it is common to find experimental validation efforts that are hard to replicate and compare, to build up the body of knowledge in CBD. Objectives: In this dissertation our goals are (i) to contribute to evolution of ESE, in what concerns the replicability and comparability of experimental work, and (ii) to apply our proposals to CBD, thus contributing to its deeper and sounder understanding. Techniques: We propose a process model for ESE, aligned with current experimental best practices, and combine this model with a measurement technique called Ontology-Driven Measurement (ODM). ODM is aimed at improving the state of practice in metrics definition and collection, by making metrics definitions formal and executable,without sacrificing their usability. ODM uses standard technologies that can be well adapted to current integrated development environments. Results: Our contributions include the definition and preliminary validation of a process model for ESE and the proposal of ODM for supporting metrics definition and collection in the context of CBD. We use both the process model and ODM to perform a series experimental works in CBD, including the cross-validation of a component metrics set for JavaBeans, a case study on the influence of practitioners expertise in a sub-process of component development (component code inspections), and an observational study on reusability patterns of pluggable components (Eclipse plug-ins). These experimental works implied proposing, adapting, or selecting adequate ontologies, as well as the formal definition of metrics upon each of those ontologies. Limitations: Although our experimental work covers a variety of component models and, orthogonally, both process and product, the plethora of opportunities for using our quantitative approach to CBD is far from exhausted. Conclusions: The main contribution of this dissertation is the illustration, through practical examples, of how we can combine our experimental process model with ODM to support the experimental validation of claims in the context of CBD, in a repeatable and comparable way. In addition, the techniques proposed in this dissertation are generic and can be applied to other software development paradigms.Departamento de Informática of the Faculdade de Ciências e Tecnologia, Universidade Nova de Lisboa (FCT/UNL); Centro de Informática e Tecnologias da Informação of the FCT/UNL; Fundação para a Ciência e Tecnologia through the STACOS project(POSI/CHS/48875/2002); The Experimental Software Engineering Network (ESERNET);Association Internationale pour les Technologies Objets (AITO); Association forComputing Machinery (ACM

The design of public transit networks with heuristic algorithms : case study Cape Town

Includes bibliographical references.The Transit Network Design Problem (TNDP) is well-researched in the field of transportation planning. It deals with the design of optimized public transportation networks and systems, and belongs to the class of non-linear optimization problems. In solving the problem, attempts are made to balance the tradeoffs between utility maximization and cost minimization given some resource constraints, within the context of a transportation network. In this dissertation, the design of a public transit network is undertaken and tested for Cape Town. The focus of the research is on obtaining an optimal network configuration that minimizes cost for both users and operators of the network. In doing so, heuristic solution algorithms are implemented in the design process, since they are known to generate better results for non-linear optimization problems than analytical ones. This algorithm which is named a Bus Route Network Design Algorithm (BRNDA) is based on genetic algorithms. Furthermore, it has three key components namely: 1) Bus Route Network Generation Algorithm (BRNGA) - which generates the potential network solutions; 2) Bus Route Network Analysis Procedure (BRNAP) - which evaluates the generated solutions; 3) Bus Route Network Search Algorithm (BRNSA) - which searches for an optimal or near optimal network option, among the feasible ones. The solution approach is tested first on a small scale network to demonstrate its numerical results, then it is applied to a large scale network, namely the Cape Town road network

A scale-out RDF molecule store for distributed processing of biomedical data

The computational analysis of protein-protein interaction and biomolecular pathway data paves the way to efficient in silico drug discovery and therapeutic target identification. However, relevant data sources are currently distributed across a wide range of disparate, large-scale, publicly-available databases and repositories and are described using a wide range of taxonomies and ontologies. Sophisticated integration, manipulation, processing and analysis of these datasets are required in order to reveal previously undiscovered interactions and pathways that will lead to the discovery of new drugs. The BioMANTA project focuses on utilizing Semantic Web technologies together with a scale-out architecture to tackle the above challenges and to provide efficient analysis, querying, and reasoning about protein-protein interaction data. This paper describes the initial results of the BioMANTA project. The fully-developed system will allow knowledge representation and processing that are not currently available in typical scale-out or Semantic Web databases. We present the design of the architecture, basic ontology and some implementation details that aim to provide efficient, scalable RDF storage and inferencing. The results of initial performance evaluation are also provided

Four Lessons in Versatility or How Query Languages Adapt to the Web

Exposing not only human-centered information, but machine-processable data on the Web is one of the commonalities of recent Web trends. It has enabled a new kind of applications and businesses where the data is used in ways not foreseen by the data providers. Yet this exposition has fractured the Web into islands of data, each in different Web formats: Some providers choose XML, others RDF, again others JSON or OWL, for their data, even in similar domains. This fracturing stifles innovation as application builders have to cope not only with one Web stack (e.g., XML technology) but with several ones, each of considerable complexity. With Xcerpt we have developed a rule- and pattern based query language that aims to give shield application builders from much of this complexity: In a single query language XML and RDF data can be accessed, processed, combined, and re-published. Though the need for combined access to XML and RDF data has been recognized in previous work (including the W3C’s GRDDL), our approach differs in four main aspects: (1) We provide a single language (rather than two separate or embedded languages), thus minimizing the conceptual overhead of dealing with disparate data formats. (2) Both the declarative (logic-based) and the operational semantics are unified in that they apply for querying XML and RDF in the same way. (3) We show that the resulting query language can be implemented reusing traditional database technology, if desirable. Nevertheless, we also give a unified evaluation approach based on interval labelings of graphs that is at least as fast as existing approaches for tree-shaped XML data, yet provides linear time and space querying also for many RDF graphs. We believe that Web query languages are the right tool for declarative data access in Web applications and that Xcerpt is a significant step towards a more convenient, yet highly efficient data access in a “Web of Data”

Cannabidiol as a treatment for craving and relapse in individuals with cocaine use disorder : a randomized placebo‐controlled trial

Background and Aims Cocaine use disorder (CUD) is a significant public health concern for which no efficacious pharmacological interventions are available. Cannabidiol (CBD) has attracted considerable interest as a promising treatment for addiction. This study tested CBD efficacy for reducing craving and preventing relapse in people with CUD. Design Single site double‐blind randomized controlled superiority trial comparing CBD with placebo. Setting Centre hospitalier de l'Université de Montréal, Canada. Participants Seventy‐eight adults (14 women) with moderate to severe CUD participated. Intervention Participants were randomly assigned (1:1) by stratified blocks to daily 800 mg CBD (n=40) or placebo (n=38). They first underwent an inpatient detoxification phase lasting 10 days. Those who completed this phase entered a 12‐week outpatient follow‐up. Measurements Primary outcomes were drug‐cue induced craving during detoxication and time‐to‐cocaine relapse during subsequent outpatient treatment. Findings During drug‐cue exposure, craving scores (mean ± SD) increased from baseline by 4.69 (2.89) versus 3.21 (2.78) points respectively in CBD (n=36) and placebo (n=28) participants (CI = ‐0.33 to 3.04; p = 0.069; Bayes factor = 0.498). All but three participants relapsed to cocaine by week 12 with similar risk for CBD (n=34) and placebo (n=27) participants (Hazard Ratio =1.20, CI=0.65 to 2.20, p=0.51; Bayes factor = 0.152). CBD treatment was well tolerated and associated mainly with diarrhea. Conclusions Cannabidiol did not reduce cocaine craving or relapse among people being treated for cocaine use disorder

Consequences of in-situ strategies for the conservation of plant genetic diversity

Conservation biologists have drawn up a range of guidelines for the conservation of genetic diversity—to maximise the chances that populations of threatened species persist, and to conserve this variation for its potential utility. However, our understanding of the effectiveness of conservation guidelines for maintaining genetic diversity in situ is limited. Furthermore, we lack information on how species-level variation in mating system affects these genetic conservation strategies. We used the British geographical ranges of eight widespread but declining plant species, varying in breeding system, as a model to assess the effectiveness of guidelines for the in-situ conservation of neutral genetic diversity. By applying simulated in-situ conservation scenarios to amplified fragment length polymorphism data, we show that the conservation of one population (the “minimum-set” approach) would retain ~ 70% of common allelic variation, but few or no rare alleles (alleles with frequency ≤ 0.05). Our results indicate that the conservation of > 35% of populations would be needed to reach the Convention on Biological Diversity's recommendation to conserve 70% of genetic diversity in situ, as applied to rare alleles (~ 10 populations within each species' British range). The capture of genetic variation in simulated conservation networks was insensitive to breeding system. However, a spatially stratified approach to population selection led to significantly greater capture rates for common alleles in two of our study species, relative to a spatially random strategy. Our study highlights the challenges of conserving genetic variation, and emphasises the vulnerability of genetic biodiversity to reductions in the extent of species' ranges