Title :
Using Domain Specific Hierarchical Good Practice for Ranking Service Compositions
Author :
Marginean, Anca ; Letia, Ioan Alfred ; Zaporojan, Sergiu
Author_Institution :
Comput. Sci. Dept., Tech. Univ. of Cluj-Napoca, Cluj-Napoca, Romania
Abstract :
We propose a method for ranking the service compositions according to the good practice of each domain. Knowledge about good practice is modeled in a hierarchical manner inspired from Hierarchical Task Networks. In describing the good practice knowledge we give a model for HTN in N3 notation and we enhanced it with an importance value. Each candidate service composition is checked against good practice in a model checking style. A candidate composition is a sequence of services. The candidate composition is compared to the constraints defined in good practice and is considered good if for each simple task the most important constraints are fulfilled.
Keywords :
formal verification; HTN; candidate composition; domain specific hierarchical good practice; hierarchical task networks; model checking; service composition ranking; Availability; Business; Cognition; Compounds; Context; Resource description framework; Semantics; Desription Logic; Hierarchical Task Networks; N3 Logic; Rest Services;
Conference_Titel :
Symbolic and Numeric Algorithms for Scientific Computing (SYNASC), 2014 16th International Symposium on
Conference_Location :
Timisoara
Print_ISBN :
978-1-4799-8447-3
DOI :
10.1109/SYNASC.2014.35