Validating User-Centric Business Process based Service Composition

Now-a-days, service composition is an interesting mechanism in various fields, such as the Internet of Things (IoT), Cloud Computing, and Software-defined networks. Service composition aims to allow interactions among user requirements and their components. Several research studies have been performed on the formal verification to validate the service composition. However, less attention is paid to the service composition validation (completeness and correctness) in the IoT environment using business processes (BPs). Therefore, this paper provides a validated service composition (VSC) approach in the IoT environment. This approach considers the look-up table and Triple Graph Grammar (TGG) rule for the service composition. Look-up table enables to establish a one-to-one relationship between business process (BP) and service composition. This table has limitations in-terms of representation. So, the TGG rule is used to establish the m-to-n relationships. The BP elements are mapped with the service composition, but the backward transformation is not possible. An algorithm is designed for validation purposes. The case study related to healthcare, i.e., clinical decision support system (CDSS), is used to evaluate the proposed approach. Various dynamic features are considered to compare the VSC with the existing approaches. The novelty of this paper is to prove the VSC is complete but not correct. The effectiveness of the VSC is shown in terms of validation and execution time with respect to BPs.