A survey on service composition languages

In recent years, service-oriented architecture (SOA) has been adopted by industry in developing enterprise systems. Web service composition has been one of the challenging topics in SOA. Numerous approaches have been proposed to tackle this problem. In industry big companies such as Amazon, Netflix, and Uber have developed their own web service composition languages and tools. In academia, on the other hand, there have also been attempts to resolve some of the complexities in web service composition. In this survey we identify and evaluate current prominent service composition languages, and discuss our key findings. After a scan of dozens of service composition systems, 14 systems that used a language-based approach were included in this study. We believe that our findings will help people from industry and academia to learn about some of the major active composition languages and get an overall idea about their commonalities and differences

Exploiting unified modelling language (UML) as a preliminary design tool for Common Logic-based ontologies in manufacturing

This is an Accepted Manuscript of an article published by Taylor & Francis in International Journal of Computer Integrated Manufacturing on 08/06/2012, available online: http://dx.doi.org/10.1080/0951192X.2012.688142.This paper proposes a particular method which utilises the unified modelling language (UML) as a design visualisation tool for modelling ontologies based on the Common Logic knowledge representation language. The use of this method will enable Common Logic ontological concepts to be more readily accessible to general engineers and provide a valuable ontology design aid. The method proposed is explored using the knowledge frame language (KFL) which provides constructs to facilitate ontology building and is built on Common Logic. The major constructs of KFL are briefly defined and a description of how each construct may be represented in UML is given. Examples are presented showing how the constructs may be modelled in UML and a Common Logic-based implementation founded on a UML design is illustrated and discussed. The manufacturing domain is utilised as an experimental basis for demonstrating the proposed method