Aspect-Oriented Techniques for Web Services: a Model-Driven Approach

Web Service technologies offer a successful way for interoperability among applications, but in order to tackle the entire web service life cycle, it is necessary to face how to model systems based on service functionality and also how to add extra-functional properties to modelled services. In this regard, we propose first of all a versatile and simple UML profile based on the Service Component Architecture specification for modelling services, in order to provide a model environment in which to add extra-functional properties. Secondly, a new UML profile is proposed to model and reuse the said extra-functional properties in service models. The implemented models based on these profiles will be independent from a final implementation language or platform, thus it is necessary to specify a particular type of model to convert the independent one into in a subsequent step. In order to meet this requirement an object, an aspect and a policy based models are proposed as the intermediate step between the independent model and the final code. We acknowledge that there are tools available which convert Java models into web services\u27 Java code, and it is not our aim to build a tool to fulfil this requirement. Regarding extra-functional properties, aspect-oriented techniques allow them to be easily modularized and reused; in this respect, properties are implemented as aspects in a totally transparent way and avoid the need to modify service code in an intrusive manner on adding extra-functional properties, improving our system maintenance. Furthermore, this way traceability between the model and the code is perfectly maintained in both directions. This work has been developed thanks to the support of CICYT under contract TIN2005-09405-C02-02

Towards the systematic construction of domain-specific transformation languages

The final publication is available at Springer via http://dx.doi.org/10.1007/978-3-319-09195-2-13Proceedings of 10th European Conference, ECMFA 2014, Held as Part of STAF 2014, York, UK, July 21-25, 2014General-purpose transformation languages, like ATL or QVT, are the basis for model manipulation in Model-Driven Engineering (MDE). However, as MDE moves to more complex scenarios, there is the need for specialized transformation languages for activities like model merging, migration or aspect weaving, or for specific domains of wide use like UML. Such domain-specific transformation languages (DSTLs) encapsulate transformation knowledge within a language, enabling the reuse of recurrent solutions to transformation problems. Nowadays, many DSTLs are built in an ad-hoc manner, which requires a high development cost to achieve a full-featured implementation. Alternatively, they are realised by an embedding into general-purpose transformation or programming languages like ATL or Java. In this paper, we propose a framework for the systematic creation of DSTLs. First, we look into the characteristics of domain-specific transformation tools, deriving a categorization which is the basis of our framework. Then, we propose a domain-specific language to describe DSTLs, from which we derive a ready-to-run workbench which includes the abstract syntax, concrete syntax and translational semantics of the DSTL.This work has been funded by the Spanish Ministry of Economy and Competitivity with project “Go Lite” (TIN2011-24139

From Business Process to Component Architecture: Engineering Business to IT Alignment

International audienceMaintaining the alignment between the Business and IT is of high strategic relevance in today's enterprise roadmap. In this paper, we follow our previous assumption that this alignment will be better maintained if we are able to ensure a clear conceptual alignment between the Business Processes and the Software Architectures. As our aim is to provide an environment that would flawlessly support evolutions of the processes or of the architecture while maintaining this alignment, we build on the formal foundation that we have developed to ensure it and shows how it can be actually developed with current Model Driven Engineering technologies

Model Driven Development and Maintenance of Business Logic for Information Systems

Since information systems become more and more important in today\''s society, business firms, organizations, and individuals rely on these systems to manage their daily business and social activities. The dependency of possibly critical business processes on complex IT systems requires a strategy that supports IT departments in reducing the time needed to implement changed or new domain requirements of functional departments. In this context, software models help to manage system\''s complexity and provide a tool for communication and documentation purposes. Moreover, software engineers tend to use automated software model processing such as code generation to improve development and maintenance processes. Particularly in the context of web-based information systems, a number of model driven approaches were developed. However, we believe that compared to the user interface layer and the persistency layer, there could be a better support of consistent approaches providing a suitable architecture for the consistent model driven development of business logic. To ameliorate this situation, we developed an architectural blueprint consisting of meta models, tools, and a method support for model driven development and maintenance of business logic from analysis until system maintenance. This blueprint, which we call Amabulo infrastructure, consists of five layers and provides concepts and tools to set up and apply concrete infrastructures for model driven development projects. Modeling languages can be applied as needed. In this thesis we focus on business logic layers of J2EE applications. However, concrete code generation rules can be adapted easily for different target platforms. After providing a high-level overview of our Amabulo infrastructure, we describe its layers in detail: The Visual Model Layer is responsible for all visual modeling tasks. For this purpose, we discuss requirements for visual software models for business logic, analyze several visual modeling languages concerning their usefulness, and provide an UML profile for business logic models. The Abstract Model Layer provides an abstract view on the business logic model in the form of a domain specific model, which we call Amabulo model. An Amabulo model is reduced to pure logical information concerning business logic aspects. It focuses on information that is relevant for the code generation. For this purpose, an Amabulo model integrates model elements for process modeling, state modeling, and structural modeling. It is used as a common interface between visual modeling languages and code generators. Visual models of the Visual Model Layer are automatically transformed into an Amabulo model. The Abstract System Layer provides a formal view onto the system in the form of a Coloured Petri Net (CPN). A Coloured Petri Net representation of the modeled business logic is a formal structure and independent of the actual business logic implementation. After an Amabulo model is automatically transformed into a CPN, it can be analyzed and simulated before any line of code is generated. The Code Generation Layer is responsible for code generation. To support the design and implementation of project-specific code generators, we discuss several aspects of code integration issues and provide object-oriented design approaches to tackle the issues. Then, we provide a conceptual mapping of Amabulo model elements into architectural elements of a J2EE infrastructure. This mapping explicitly considers robustness features, which support a later manual integration of generated critical code artifacts and external systems. The Application Layer is the target layer of an Amabulo infrastructure and comprises generated code artifacts. These artifacts are instances of a specific target platform specification, and they can be modified for integration purposes with development tools. Through the contributions in this thesis, we aim to provide an integrated set of solutions to support an efficient model driven development and maintenance process for the business logic of information systems. Therefore, we provide a consistent infrastructure blueprint that considers modeling tasks, model analysis tasks, and code generation tasks. As a result, we see potential for reducing the development and maintenance efforts for changed domain requirements and simultaneously guaranteeing robustness and maintainability even after several changes

The power-series algorithm applied to the shortest-queue model

Queueing Theory;operations research

Vector Boson Scattering and Electroweak Production of Two Like-Charge W Bosons and Two Jets at the Current and Future ATLAS Detector

The scattering of electroweak gauge bosons is closely connected to the electroweak gauge symmetry and its spontaneous breaking through the Brout-Englert-Higgs mechanism. Since it contains triple and quartic gauge boson vertices, the measurement of this scattering process allows to probe the self-interactions of weak bosons. The contribution of the Higgs boson to the weak boson scattering amplitude ensures unitarity of the scattering matrix. Therefore, the scattering of massive electroweak gauge bosons is sensitive to deviations from the Standard Model prescription of the electroweak interaction and of the properties of the Higgs boson. At the Large Hadron Collider (LHC), the scattering of massive electroweak gauge bosons is accessible through the measurement of purely electroweak production of two jets and two gauge bosons. No such process has been observed before. Being the channel with the least amount of background from QCD-mediated production of the same final state, the most promising channel for the first measurement of a process containing massive electroweak gauge boson scattering is the one with two like-charge W bosons and two jets in the final state. This thesis presents the first measurement of electroweak production of two jets and two identically charged W bosons, which yields the first observation of a process with contributions from quartic gauge interactions of massive electroweak gauge bosons. An overview of the most important issues in Monte Carlo simulation of vector boson scattering processes with current Monte Carlo generators is given in this work. The measurement of the final state of two jets and two leptonically decaying same-charge W bosons is conducted based on proton-proton collision data with a center-of-mass energy of √s = 8 TeV, taken in 2012 with the ATLAS experiment at the LHC. The cross section of electroweak production of two jets and two like-charge W bosons is measured with a significance of 3.6 standard deviations to be σ(W± W±jj−EW[fiducial]) = 1.3 ± 0.4(stat.) ± 0.2(syst.) fb in a fiducial phase space region selected to enhance the contribution from W W scattering. The measurement is compatible with the Standard Model prediction of σ(W±W± jj−EW[fiducial]) = 0.95 ± 0.06 fb. Based on this measurement, limits on anomalous quartic gauge couplings are derived. The effect of anomalous quartic gauge couplings is simulated within the framework of an effective chiral Lagrangian unitarized with the K-matrix method. The limits for the anomalous coupling parameters α4 and α5 are found to be −0.14 < α4 < 0.16 and −0.23 < α5 < 0.24 at 95 % confidence level. Furthermore, the prospects for the measurement of the electroweak production of two same-charge W bosons and two jets within the Standard Model and with additional doubly charged resonances after the upgrade of the ATLAS detector and the LHC are investigated. For a high-luminosity LHC with a center-of-mass energy of √s = 14 TeV, the significance of the measurement with an integrated luminosity of 3000 fb^−1 is estimated to be 18.7 standard deviations. It can be improved by 30 % by extending the inner tracking detector of the atlas experiment up to an absolute pseudorapidity of |η| = 4.0

Topological Data Analysis for Software Test Cases Generation

The escalating development of digital technologies over the last several decades has given rise to an accompanying surge in data analysis.The software based smart applications increase the importance of behaviour analysis. Software testing of expert systems such as electronic health records, health information system and software as a medical device (SaMD) refers to detect the difference between expected behaviour and actual outcome during healthcare&nbsp; expert systems development. Test cases are the core source of effective software testing. Test cases generation for expert systems are discover challenges of identifying the expected behaviour of the system, where the decision logic is obtained via a data –driven paradigm. In the traditional system software object oriented expected behaviour, provide the clear test cases does not change the flow such as in the healthcare system. Intelligent software test case generation approach required for smart health systems. In this research contributes key performance indicators from massive data sets, node –link diagrams from decision trees, test cases from adjacency matrix are elaborated. The experimental results of healthcare expert systems provide empirically evidence that topological data analysis are compact contribution for software requirement validation

Structural investigations of the components of the complement cascade

The complement cascade is a multi-component protein system found in plasma and plays an important role in immune defence. The molecular structures of five proteins were studied using a combination of neutron and X-ray small- angle solution scattering and secondary structure prediction techniques. α1-antitrypsin is the best characterized member of the serpin superfamily. It was shown to have a moderately elongated structure. Models of native and reactive-centre cleaved α1-antitrypsin were created based on the crystal coordinates of the cleaved protein. Since these were very similar, the gross conformational change between the two structures is minor. C1 inhibitor controls the activation of the classical pathway. It consists of a serpin domain and a highly glycosylated N-terminal domain. The structure of the serpin domain was based upon the crystal structure of α1-antitrypsin. The N-terminal domain was modelled as a highly elongated structure with extended carbohydrates. The activation of C5 initiates the formation of the membrane attack complex. Solution scattering showed that this had an elongated structure and was similar to the homologous proteins C3 and C4. Properdin is a regulatory protein of the alternative pathway. The properdin trimer was successfully modelled as a triangle of sides 26 nm in agreement with published electron micrographs. Monomeric properdin contains 6 thrombospondin repeats (TSR). Sequence alignments and secondary structure predictions of the TSR showed this to be comprised of two β-turn regions and one β-strand region. C9 is the most abundant member of the membrane attack complex. It consists of four domains: thrombospondin repeat (TSR), low density lipoprotein receptor (LDLr), perforin- like region (PLR) and an epidermal growth factor-like (EGF) domain. Again, solution scattering experiments showed C9 was elongated. Models for C9 suggest that the domains are arranged in a V shape with each arm of length 11.1 nm and inter-arm angle of 10°. A total of 74 LDLr, 10 PLR and 99 EGF sequences were aligned and their secondary structures predicted. The LDLr and EGF domains were found to consist of β-strand and β-turn conformations whilst the PLR was predominantly α-helix

A Genomic Investigation of Divergence Between Tuna Species

Effective management and conservation of marine pelagic fishes is heavily dependent on a robust understanding of their population structure, their evolutionary history, and the delineation of appropriate management units. The Yellowfin tuna (Thunnus albacares) and the Blackfin tuna (Thunnus atlanticus) are two exploited epipelagic marine species with overlapping ranges in the tropical and sub-tropical Atlantic Ocean. This work analyzed genome-wide genetic variation of both species in the Atlantic basin to investigate the occurrence of population subdivision and adaptive variation. A de novo assembly of the Blackfin tuna genome was generated using Illumina paired-end sequencing data and applied as a reference for population genomic analysis of specimens from 9 localities spanning most of the Blackfin tuna range. Analysis suggested the presence of four weakly differentiated units corresponding to the northwestern Atlantic Ocean, Gulf of Mexico, Caribbean Sea, and southwestern Atlantic Ocean, respectively. Significant spatial autocorrelation of genotypes was observed for specimens collected within 800 km of each other. A high-quality genome assembly generated for the Yellowfin tuna using PacBio and Illumina sequences was scaffolded by a linkage map developed through analysis of the segregation of genome wide Single Nucleotide Polymorphisms in 164 larvae offspring from a single pair produced by controlled breeding. The genome assembly was used as a reference for population genomic analysis of juvenile specimens from the 4 main nursery areas hypothesized in the Atlantic Ocean basin. Analyses corroborated previously reported population subdivision between the east and west Atlantic Ocean, but also suggested subdivision associated with individual nursery areas within the east and west regions. Draft reference assemblies were generated for Albacore, Bigeye and Longtail tunas and used in combination with the Yellowfin and Blackfin tuna genomes obtained in this work and existing assemblies for bluefin tunas in preliminary analyses of genome wide variation between species of the Thunnus genus. Whole-genome derived SNP-based phylogenetic analysis of the Thunnus genus suggests phylogenetic relationships may be more complex than suggested in earlier work based on Restriction-site Associated DNA sequencing or muscle transcriptome sequencing and prompt for further analysis of the genus using a more comprehensive sampling of taxa in each oceanic basin

The XPSL Query component: a framework for pattern searches in code

This thesis describes the tool support for the query component of the eXtensible Pattern Specification Language (XPSL). The XPSL framework is a part of the Knowledge-Centric Software (KCS) platform of tools for software analysis and transformation. XPSL provides a language for the specification of patterns. Currently, there is no tool support to perform software analysis and transformation patterns specified through XPSL. The objective of this research is to provide tool support for analysis. An analysis task is viewed by the tool as a query that can be executed to produce the appropriate results. The goal is to produce a tool which is extensible and easily maintainable. This thesis outlines the framework design of the query component of XPSL, wherein it is presented as a library of basic queries on patterns in code, together with a composition mechanism for writing queries of greater sophistication. The tool is implemented as a translator which takes an XPSL specification as input, and converts it into an equivalent query in a target language of choice. We consider XQuery and XSLT as possible target languages. We discuss the comparative merits and demerits of XSLT and XQuery as the target languages, and explain why our choice of XQuery as the target language is desirable. The pattern search is then done by an XQuery engine. The translation mechanism precisely defines of the semantics of execution of the query, and chooses the various data formats and the technologies for its stages. These are discussed in the thesis. We also do an empirical study of the efficacy and efficiency of the approach taken. Some queries which were executed demonstrate the fact that queries composed in XPSL and executed using the tool can go beyond what is possible in the current Aspect-Oriented Languages. We discuss the applicability of the tool to various software engineering paradigms. We also explore future extensions to the querying mechanism, and discuss the issues that may arise in adding a transformation component to the current framework