Abstract State Machine and Web Services

Farahbod, Glasser, Vajihollahi (Simon Fraser University) and Fahland (Humboldt University in Berlin) have used ASM to represent BPEL for Web Services. One process is represented by the distributed behaviors among several agents. ASM is used for modeling the distributed behaviors. The representation is too complex to use.