Web services choreography testing using semantic service description

Web services have become popular due to their ability to integrate with and to interoperate heterogeneous applications. Several web services can be combined into a single application to meet the needs of users. In the course of web services selection, a web candidate service needs to conform to the behaviour of its client, and one way of ensuring this conformity is by testing the interaction between the web service and its user. The existing web services test approaches mainly focus on syntax-based web services description, whilst the semantic-based solutions mostly address composite process flow testing. The aim of this research is to provide an automated testing approach to support service selection during automatic web services composition using Web Service Modeling Ontology (WSMO). The research work began with understanding and analysing the existing test generation approaches for web services. Second, the weaknesses of the existing approaches were identified and addressed by utilizing the choreography transition rules of WSMO in an effort to generate a Finite State Machine (FSM). The FSM was then used to generate the working test cases. Third, a technique to generate an FSM from Abstract State Machine (ASM) was adapted to be used with WSMO. This thesis finally proposed a new testing model called the Choreography to Finite State Machine (C2FSM) to support the service selection of an automatic web service composition. It proposed new algorithms to automatically generate the test cases from the semantic description (WSMO choreography description). The proposed approach was then evaluated using the Amazon E-Commerce Web Service WSMO description. The quality of the test cases generated using the proposed approach was measured by assessing their mutation adequacy score. A total of 115 mutants were created based on 7 mutant operators. A mutation adequacy score of 0.713 was obtained. The experimental validation demonstrated a significant result in the sense that C2FSM provided an efficient and feasible solution. The result of this research could assist the service consumer agents in verifying the behaviour of the Web service in selecting appropriate services for web service composition

Evaluation of marginal discrepancy on all-ceramic crowns manufactured by CAD/CAM versus conventional methods

Tese de mestrado, Medicina Dentária, Universidade de Lisboa, Faculdade de Medicina Dentária, 2015Introduction: The marginal integrity of a dental prosthesis can determine longevity and predictability. This gap is important because the amount of space will determine the amount of possible cement dissolution. Margin inaccuracy can lead to the accumulation of plaque and bacteria, the dissolution of luting material, and the introduction of unfavorable inflammation or the periodontal tissues. With the introduction of new technologies to fabricate dental ceramic crowns (CAD/CAM), marginal fit is a valuable way to determine the prognosis of the restoration in comparison to the more conventional methods. Objectives: The objective of this work was to review the current literature in regards of the marginal gap/fit of all-ceramic crowns manufactured by conventional methods (Heat-Pressing and Slip-Casting) versus digital methods (CAD/CAM). Materials and Methods: A research on PubMed electronic database was conducted for articles with the following combination of key words: (discrepancy or fit or gaps or adaptation) and (disilicate or ceramic) and (copings or crowns). The studies considered for this research were in English from peer-reviewed publications that focused on the evaluation of the marginal fit in ceramic single crowns. Results: An overall review of the data retrieved for marginal gap showed that 86.8% of the values measured were less than or equal to 120 μm described by McLean and Von Fraunhofer. The widest marginal gap measured was 180 μm, and the smallest was 17 μm. CAD/CAM ceramic crowns showed, an overall, better marginal fit than conventional crowns. Conclusion: Based on the results obtained, the digital method seems to be a legitimate alternative to the traditional methods. Analysis of the results of this study suggested that the digital method exceeds the standards of clinical acceptability and can sometimes surpass the vertical marginal fit of conventionally fabricated crowns

Connected And Autonomous Vehicles: Implications For Policy And Practice In City And Transportation Planning

Vehicular transportation is undergoing a technological change. Cars are being automated, which have significant implications for governments. Autonomous Vehicles (AVs) and Connected and Autonomous Vehicles (CAVs) can have significant benefits such as improved overall roadside safety and efficiency however, there may also be negative effects as well such as increased sprawl and social inequity. In Ontario, AV testing on public roads has been conducted under O. Reg. 306/15, which has also helped to establish Ontario as a leader of innovation in Canada. Before CAVs can be mass deployed in Ontario and Canada at large however, a number of barriers will need to be addressed such as legislation, infrastructure and cooperation between municipalities, and between municipalities and the automotive industry. Recommendations for municipal and provincial governments are provided

Stability Problems for Stochastic Models: Theory and Applications II

Most papers published in this Special Issue of Mathematics are written by the participants of the XXXVI International Seminar on Stability Problems for Stochastic Models, 21­25 June, 2021, Petrozavodsk, Russia. The scope of the seminar embraces the following topics: Limit theorems and stability problems; Asymptotic theory of stochastic processes; Stable distributions and processes; Asymptotic statistics; Discrete probability models; Characterization of probability distributions; Insurance and financial mathematics; Applied statistics; Queueing theory; and other fields. This Special Issue contains 12 papers by specialists who represent 6 countries: Belarus, France, Hungary, India, Italy, and Russia

Advances in Evolutionary Algorithms

With the recent trends towards massive data sets and significant computational power, combined with evolutionary algorithmic advances evolutionary computation is becoming much more relevant to practice. Aim of the book is to present recent improvements, innovative ideas and concepts in a part of a huge EA field

Designing a human-centred, mobile interface to support real-time flood forecasting and warning system

This thesis was submitted for the award of Doctor of Philosophy and was awarded by Brunel University LondonThere is a demand for human-centred technology which improves the management of flood events. This thesis describes the development, design and evaluation of a mobile GIS-based hydrological model. The application provides hydrological forecasts and issues flood warnings. The thesis reports on the usability and practicality of the application. The application, a mobile-based hydrological modelling system, permits the integrated handling of real-time rainfall data from a wireless monitoring network. A spatially distributed GIS-based model integrates this incoming data, approximating real-time, to generate data on catchment hydrology and runoff. The data can be accessed from any android-based mobile computer or mobile phone. It may be further analysed online using several GIS and numerical functions. A human-centred approach to design was taken. Design guidelines for a user-centric application were developed and deployed in the first prototype. There was intensive consultation with potential users. Particular attention was paid to the ease of use of the mobile interface. Users’ needs and attitudes were relevant in the achievement of a highly functional but intuitive interface. The first prototype underwent intensive testing with users. After the initial testing of the first prototype an interactive approach was taken to development. This generated a high-fidelity prototype which was matched to the taxonomy from a user’s mental model. Users were interrogated under controlled laboratory conditions as they performed predefined tasks which were selected to generate data across all aspects of the system and to identify weaknesses. Subsequent to this work there was a major prototype re-design. User test data, identified issues and an improved mental taxonomy closer were used to further refine the application. Of particular note was new functionality which aligned with user expectations and enhanced the applications credibility. The final evaluation of the system was undertaken with diverse subjects. Overall, the subjects considered the system efficient and effective. Users said the system was easy to learn and integrate into their work. Task completion rates were satisfactory. The final interviews with users confirmed that the application was ready to proceed to the implementation phase

Advances in Robotics, Automation and Control

The book presents an excellent overview of the recent developments in the different areas of Robotics, Automation and Control. Through its 24 chapters, this book presents topics related to control and robot design; it also introduces new mathematical tools and techniques devoted to improve the system modeling and control. An important point is the use of rational agents and heuristic techniques to cope with the computational complexity required for controlling complex systems. Through this book, we also find navigation and vision algorithms, automatic handwritten comprehension and speech recognition systems that will be included in the next generation of productive systems developed by man

Aplicación de técnicas de pruebas automáticas basadas en propiedades a los diferentes niveles de prueba del software

[Resumen]Las pruebas son una de las actividades clave en el desarrollo de software, puesto que ayudan a detectar defectos que, de otro modo, pasarían desapercibidos hasta que el software sea desplegado. Sin embargo, al contrario que en otras etapas del ciclo de vida del software, como son el análisis, el diseño o la implementación, para las que existen metodologías y técnicas bien definidas y ampliamente aceptadas en la comunidad informática, junto con herramientas que permiten llevar a cabo dichas tareas, no hay una uniformidad sobre las metodologías, técnicas o herramientas a utilizar para llevar a cabo las pruebas del software de una manera eficiente y eficaz. Este hecho provoca que, muchas veces, éstas sean omitidas o no realizadas con todo el rigor necesario. Esta tesis presenta una aproximación, basada en propiedades y puramente funcional, para la realización de las pruebas del software, que intenta paliar estos problemas. Para ello, se definen metodologías y técnicas de pruebas, integradas en el proceso de desarrollo de software, que pueden ser aplicadas a los diferentes niveles de pruebas del software. Así, pueden utilizarse para llevar a cabo pruebas unitarias y de componente, en las que se comprueba que cada componente individual se comporta de la manera esperada, pruebas de integración, que comprueban las interacciones de los componentes que forman parte de un sistema, y pruebas de sistema, que se encargan de comprobar diferentes aspectos del sistema como un todo. Además, se utiliza un lenguaje de especificación de pruebas común en todas las aproximaciones desarrolladas, el lenguaje de programación funcional Erlang, y las metodologías se definen de manera independiente a la estructura del software concreto a probar o el lenguaje de programación en el que éste esté implementado. Por último, cabe destacar que el uso de estas metodologías y técnicas de pruebas se ilustra a través de un ejemplo industrial, en concreto, el sistema VoDKATV. Este sistema ofrece acceso a servicios multimedia (canales de televisión, videoclub, aplicaciones, juegos, entre otros) a través de diferentes tipos de dispositivos, como, por ejemplo, televisiones, ordenadores, tabletas o móviles. Con respecto a la arquitectura, el sistema VoDKATV está compuesto por múltiples componentes implementados con diferentes tecnologías (Java, Erlang, C, etc.) que se integran entre sí. La complejidad de este sistema permite ilustrar cada una de las metodologías y técnicas de pruebas desarrolladas con un ejemplo real

Tools and Algorithms for the Construction and Analysis of Systems

This open access two-volume set constitutes the proceedings of the 26th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2020, which took place in Dublin, Ireland, in April 2020, and was held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020. The total of 60 regular papers presented in these volumes was carefully reviewed and selected from 155 submissions. The papers are organized in topical sections as follows: Part I: Program verification; SAT and SMT; Timed and Dynamical Systems; Verifying Concurrent Systems; Probabilistic Systems; Model Checking and Reachability; and Timed and Probabilistic Systems. Part II: Bisimulation; Verification and Efficiency; Logic and Proof; Tools and Case Studies; Games and Automata; and SV-COMP 2020