Composing Web-service-like Abstract State Machines (ASMs) · Study