A formal modeling platform for composing web services

Building a robust service composition is increasingly problematic as large scales of Web service operations can now be possibly achieved through the Internet. This article proposes an effective composing platform based on a formal modeling language. In particular, Petri Nets patterns are developed for enhancing service composition modeling, workflow quality measurement and scripting productivity. By providing a visual editing module, this platform allows business application developers to exploit its composing capabilities without much requiring design time or skills.