The Web Service Conversation Language (WSCL) proposal defines the overall input and output message sequences for one web service using a finite-state automaton over the alphabet of message types.
This Web-software-related article is a stub.
You can help Wikipedia by expanding it.