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

Model-driven design, simulation and implementation of service compositions in COSMO

The success of software development projects to a large extent depends on the quality of the models that are produced in the development process, which in turn depends on the conceptual and practical support that is available for modelling, design and analysis. This paper focuses on model-driven support for service-oriented software development. In particular, it addresses how services and compositions of services can be designed, simulated and implemented. The support presented is part of a larger framework, called COSMO (COnceptual Service MOdelling). Whereas in previous work we reported on the conceptual support provided by COSMO, in this paper we proceed with a discussion of the practical support that has been developed. We show how reference models (model types) and guidelines (design steps) can be iteratively applied to design service compositions at a platform independent level and discuss what tool support is available for the design and analysis during this phase. Next, we present some techniques to transform a platform independent service composition model to an implementation in terms of BPEL and WSDL. We use the mediation scenario of the SWS challenge (concerning the establishment of a purchase order between two companies) to illustrate our application of the COSMO framework

A Taxonomy of Workflow Management Systems for Grid Computing

With the advent of Grid and application technologies, scientists and engineers are building more and more complex applications to manage and process large data sets, and execute scientific experiments on distributed resources. Such application scenarios require means for composing and executing complex workflows. Therefore, many efforts have been made towards the development of workflow management systems for Grid computing. In this paper, we propose a taxonomy that characterizes and classifies various approaches for building and executing workflows on Grids. We also survey several representative Grid workflow systems developed by various projects world-wide to demonstrate the comprehensiveness of the taxonomy. The taxonomy not only highlights the design and engineering similarities and differences of state-of-the-art in Grid workflow systems, but also identifies the areas that need further research.Comment: 29 pages, 15 figure

Engineering of service-oriented automation systems: a survey

The evolution of manufacturing systems and the emergence of decentralised control require flexibility at various levels of their lifecycle. New emerging methods, such as multi-agent and service-oriented systems are major research topics in the sense of revitalizing the traditional production procedures. This paper takes an overview of the serviceoriented approach in terms of platform and engineering tools, from the perspective of automation and production systems. From the basic foundation to the more complex interactions, service-oriented architectures and its implementation in form of web services provide diverse and quality proved features that are welcome to different states of the production systems’ life-cycle. Key elements are the concepts of modelling and collaboration, which enhance the automatic binding and synchronisation of individual low-value services to more complex and meaningful structures. Such interactions can be specified by Petri nets, a mathematically well founded tool with features that enhance towards the modelling of systems. The right application of different methodologies together should motivate the development of service-oriented manufacturing systems that embrace the vision of collaborative automation.The authors would like to thank the European Commission and the partners of Network of Excellence “Innovative Production Machines and Systems” (http://www.iproms.org/) and the SOCRADES project (http://www.socrades.eu) for their support.info:eu-repo/semantics/publishedVersio