Augmenting semantic web service descriptions with compositional specification

This publication has 5 references indexed in Scilit:

• Automating DAML-S Web Services Composition Using SHOP2
  Published by Springer Nature ,2003
• The Web Service Modeling Framework WSMF
  Electronic Commerce Research and Applications, 2002
• Simulation, verification and automated composition of web services
  Published by Association for Computing Machinery (ACM) ,2002
• Compositional Reasoning using Interval Temporal Logic and Tempura
  Published by Springer Nature ,1998
• Solution of a problem in concurrent programming control
  Communications of the ACM, 1965