533 research outputs found
Leveraging Semantic Web Service Descriptions for Validation by Automated Functional Testing
Recent years have seen the utilisation of Semantic Web Service descriptions for automating a wide range of service-related activities, with a primary focus on service discovery, composition, execution and mediation. An important area which so far has received less attention is service validation, whereby advertised services are proven to conform to required behavioural specifications. This paper proposes a method for validation of service-oriented systems through automated functional testing. The method leverages ontology-based and rule-based descriptions of service inputs, outputs, preconditions and effects (IOPE) for constructing a stateful EFSM specification. The specification is subsequently utilised for functional testing and validation using the proven Stream X-machine (SXM) testing methodology. Complete functional test sets are generated automatically at an abstract level and are then applied to concrete Web services, using test drivers created from the Web service descriptions. The testing method comes with completeness guarantees and provides a strong method for validating the behaviour of Web services
Modelling of Multi-Agent Systems: Experiences with Membrane Computing and Future Challenges
Formal modelling of Multi-Agent Systems (MAS) is a challenging task due to
high complexity, interaction, parallelism and continuous change of roles and
organisation between agents. In this paper we record our research experience on
formal modelling of MAS. We review our research throughout the last decade, by
describing the problems we have encountered and the decisions we have made
towards resolving them and providing solutions. Much of this work involved
membrane computing and classes of P Systems, such as Tissue and Population P
Systems, targeted to the modelling of MAS whose dynamic structure is a
prominent characteristic. More particularly, social insects (such as colonies
of ants, bees, etc.), biology inspired swarms and systems with emergent
behaviour are indicative examples for which we developed formal MAS models.
Here, we aim to review our work and disseminate our findings to fellow
researchers who might face similar challenges and, furthermore, to discuss
important issues for advancing research on the application of membrane
computing in MAS modelling.Comment: In Proceedings AMCA-POP 2010, arXiv:1008.314
Model-based Testing in Cloud Brokerage Scenarios
In future Cloud ecosystems, brokers will mediate between service providers and consumers, playing an increased role in quality assurance, checking services for functional compliance to agreed standards, among other aspects. To date, most Software-as-a-Service (SaaS) testing has been performed manually, requiring duplicated effort at the development, certification and deployment stages of the service lifecycle. This paper presents a strategy for achieving automated testing for certification and re-certification of SaaS applications, based on the adoption of simple state-based and functional specifications. High-level test suites are generated from specifications, by algorithms that provide the necessary and sufficient coverage. The high-level tests must be grounded for each implementation technology, whether SOAP, REST or rich-client. Two examples of grounding are presented, one into SOAP for a traditional web service and the other into Selenium for a SAP HANA rich-client application. The results demonstrate good test coverage. Further work is required to fully automate the grounding
Minding the geotechnical data gap:appraisal of the variability of key soil parameters for slope stability modelling in Saint Lucia
Identification of failure thresholds and critical uncertainties associated with slope stability often requires the specification of geotechnical parameter values for input into a physically-based model. The variation of these parameters (including mechanical soil properties such as effective friction angle and cohesion) can have a significant impact on the computed factor of safety. These uncertainties arise from natural variations in soils, measurement techniques, and lack of reliable information. Researchers may use statistical analysis coupled with numerical simulation to determine possible ranges of slope factors of safety and the relative influence of geotechnical and other parameters, such as topsoil depth and rainfall. This study investigates the variation of geotechnical parameters observed on the island of Saint Lucia in the Eastern Caribbean. A database of particle size distributions, in-situ moisture contents, Atterberg and direct shear box test results is compiled from 91 samples of tropical soils in Saint Lucia. A study of various probability distributions shows that the Weibull distribution may be favoured for the effective friction angle of the Saint Lucian soils considered based on the Akaike information criterion, employed as an estimator of the relative quality of statistical models dealing with the trade-off between goodness-of-fit and simplicity of the model
Testing timed systems modeled by stream X-machines
Stream X-machines have been used to specify real systems where complex data structures. They are a variety of extended finite state machine where a shared memory is used to represent communications between the components of systems. In this paper we introduce an extension of the Stream X-machines formalism in order to specify systems that present temporal requirements. We add time in two different ways. First, we consider that (output) actions take time to be performed. Second, our formalism allows to specify timeouts. Timeouts represent the time a system can wait for the environment to react without changing its internal state. Since timeous affect the set of available actions of the system, a relation focusing on the functional behavior of systems, that is, the actions that they can perform, must explicitly take into account the possible timeouts. In this paper we also propose a formal testing methodology allowing to systematically test a system with respect to a specification. Finally, we introduce a test derivation algorithm. Given a specification, the derived test suite is sound and complete, that is, a system under test successfully passes the test suite if and only if this system conforms to the specification
Helicobacter pylori and cancer among adults in Uganda
Data from Africa on infection with Helicobacter pylori (H. pylori) are sparse. Therefore, as part of an epidemiological study of cancer in Uganda, we investigated the prevalence and determinants of antibodies against H. pylori among 854 people with different cancer types and benign tumours. Patients were recruited from hospitals in Kampala, Uganda, interviewed about various demographic and lifestyle factors and tested for antibodies against H. pylori. In all patients combined, excluding those with stomach cancer (which has been associated with H. pylori infection), the prevalence of antibodies was 87% (723/833) overall, but declined with increasing age (p = 0.02) and was lower among people who were HIV seropositive compared to seronegative (p <0.001). Otherwise, there were few consistent epidemiological associations. Among those with stomach cancer, 18/21 (86%) had anti-H. pylori antibodies (odds ratio 0.8, 95% confidence intervals 0.2–2.9, p = 0.7; estimated using all other patients as controls, with adjustment for age, sex and HIV serostatus). No other cancer site or type was significantly associated with anti-H. pylori antibodies. The prevalence of H. pylori reported here is broadly in accord with results from other developing countries, although the determinants of infection and its' role in the aetiology of gastric cancer in Uganda remain unclear
High Throughput Discovery of Lightweight Corrosion-Resistant Compositionally Complex Alloys
Compositionally complex alloys hold the promise of simultaneously attaining
superior combinations of properties such as corrosion resistance,
light-weighting, and strength. Achieving this goal is a challenge due in part
to a large number of possible compositions and structures in the vast alloy
design space. High throughput methods offer a path forward, but a strong
connection between the synthesis of a given composition and structure with its
properties has not been fully realized to date. Here we present the rapid
identification of light weight highly corrosion-resistant alloys based on
combinations of Al and Cr in a Cantor-like base alloy (Al-Co-Cr-Fe-Ni).
Previously unstudied alloy stoichiometries were identified using a combination
of high throughput experimental screening coupled with key metallurgical and
electrochemical corrosion tests, identifying alloys with excellent passivation
behavior. Importantly, the electrochemical impedance modulus of the
exposure-modified, air-formed film at the corrosion potential was found as an
accurate non-destructive predictor of corrosion and passivation
characteristics. Multi-element EXAFS analyses connected more ordered type
chemical short range order in the Ni-Al 1st nn shell to poorer corrosion. This
report underscores the utility of high throughput exploration of
compositionally complex alloys for the identification and rapid screening of
vast stoichiometric space
Tamoxifen for prevention of breast cancer: extended long-term follow-up of the IBIS-I breast cancer prevention trial
© Cuzick et al. Open Access article distributed under the terms of CC BY.http://dx.doi.org/10.1016/S1470-2045(14)71171-
Local Causal States and Discrete Coherent Structures
Coherent structures form spontaneously in nonlinear spatiotemporal systems
and are found at all spatial scales in natural phenomena from laboratory
hydrodynamic flows and chemical reactions to ocean, atmosphere, and planetary
climate dynamics. Phenomenologically, they appear as key components that
organize the macroscopic behaviors in such systems. Despite a century of
effort, they have eluded rigorous analysis and empirical prediction, with
progress being made only recently. As a step in this, we present a formal
theory of coherent structures in fully-discrete dynamical field theories. It
builds on the notion of structure introduced by computational mechanics,
generalizing it to a local spatiotemporal setting. The analysis' main tool
employs the \localstates, which are used to uncover a system's hidden
spatiotemporal symmetries and which identify coherent structures as
spatially-localized deviations from those symmetries. The approach is
behavior-driven in the sense that it does not rely on directly analyzing
spatiotemporal equations of motion, rather it considers only the spatiotemporal
fields a system generates. As such, it offers an unsupervised approach to
discover and describe coherent structures. We illustrate the approach by
analyzing coherent structures generated by elementary cellular automata,
comparing the results with an earlier, dynamic-invariant-set approach that
decomposes fields into domains, particles, and particle interactions.Comment: 27 pages, 10 figures;
http://csc.ucdavis.edu/~cmg/compmech/pubs/dcs.ht
Exploring hypotheses of the actions of TGF-beta 1 in epidermal wound healing using a 3D computational multiscale model of the human epidermis
In vivo and in vitro studies give a paradoxical picture of the actions of the key regulatory factor TGF-beta 1 in epidermal wound healing with it stimulating migration of keratinocytes but also inhibiting their proliferation. To try to reconcile these into an easily visualized 3D model of wound healing amenable for experimentation by cell biologists, a multiscale model of the formation of a 3D skin epithelium was established with TGF-beta 1 literature-derived rule sets and equations embedded within it. At the cellular level, an agent-based bottom-up model that focuses on individual interacting units ( keratinocytes) was used. This was based on literature-derived rules governing keratinocyte behavior and keratinocyte/ECM interactions. The selection of these rule sets is described in detail in this paper. The agent-based model was then linked with a subcellular model of TGF-beta 1 production and its action on keratinocytes simulated with a complex pathway simulator. This multiscale model can be run at a cellular level only or at a combined cellular/subcellular level. It was then initially challenged ( by wounding) to investigate the behavior of keratinocytes in wound healing at the cellular level. To investigate the possible actions of TGF-beta 1, several hypotheses were then explored by deliberately manipulating some of these rule sets at subcellular levels. This exercise readily eliminated some hypotheses and identified a sequence of spatial-temporal actions of TGF-beta 1 for normal successful wound healing in an easy-to-follow 3D model. We suggest this multiscale model offers a valuable, easy-to-visualize aid to our understanding of the actions of this key regulator in wound healing, and provides a model that can now be used to explore pathologies of wound healing
- …