Abstract State Machine Models for Basic Service-Oriented Architectures

Service-oriented computing research activities focus on service foundations, service composition, service management and monitoring, and service-oriented engineering. While the precise definition of service foundations including an appropriate general service model is still an open research issue, event and process algebras, Petri nets, and abstract state machines (ASMs) are commonly considered as suitable candidates for developing such a formal model. In this paper, we consider how a basic ASM-based service-oriented architecture (SOA) model can be refined in different ways to capture fundamental properties of the three most common SOA approaches: ESB-style Web, REST-like Web, and IMS-based telecommunication services.