By Topic

Abstract State Machine Models for Basic Service-Oriented Architectures

Sign In

Cookies must be enabled to login.After enabling cookies , please use refresh or reload or ctrl+f5 on the browser for the login options.

Formats Non-Member Member
$31 $13
Learn how you can qualify for the best price for this item!
Become an IEEE Member or Subscribe to
IEEE Xplore for exclusive pricing!
close button

puzzle piece

IEEE membership options for an individual and IEEE Xplore subscriptions for an organization offer the most affordable access to essential journal articles, conference papers, standards, eBooks, and eLearning courses.

Learn more about:

IEEE membership

IEEE Xplore subscriptions

1 Author(s)
Kirchberg, M. ; Inst. for Infocomm Res. (I2R), A*STAR, Singapore

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.

Published in:

Asia-Pacific Services Computing Conference, 2008. APSCC '08. IEEE

Date of Conference:

9-12 Dec. 2008