Computer Science

Semantic Business Processes and Semantic Web Services
Business process implementation can be fastened by identifying component services that can be used to implement one or more process tasks, by selecting them from a repository of already implemented services, and composing them. Therefore, the research aims at studying and defining: (1) a service identification algorithm (i.e., decomposing the business process in a set of tasks that can be implemented by services), (2) a service selection algorithm (i.e. selecting services that can implement process tasks), and (3) a service composition algorithm (i.e. choreographing selected services in order to implement the original business process). Step (1) based on two metrics: cohesion and coupling. Steps (2) and (3) are based on the Semantic Model Checker defined in Research Activity “Formal Verification”. It has been proved that the related selection and composition algorithms are sound and complete. The algorithms have been implemented in a tool available at:

[1] Such a tool is based on standard technologies as BPMN, BPEL, WSML and on a semantic annotation language proposed by the research group:
[2] I. DI PIETRO, F. PAGLIARECCI, L. SPALAZZI, “SWSAL: Semantic Web Service Annotation Language”, n. 2008004453, SIAE Sezione Opere Inedite, 15/10/2008
Laboratory SILab at DII
Contact PersonLuca Spalazzi
  • FBK IRST, Trento
  • University of Brescia
  • University of Dayton, Dayton, OH, USA