Article

ASMs in Service Oriented Architectures.

J. UCS 01/2008; 14:2034-2058.
Source: DBLP

ABSTRACT In this presentation we will report on a number of projects where we have successfully applied the ASM methodology to provide abstract models for a number of problems that are commonly found in Service Oriented Architectures (SOAs). In particular, we will provide solutions for the following topics: (1) service behaviour mediation, (2) service discovery, and (3) service composition. Introduction. Service Oriented Architecture (SOA) serve as an architectural blueprint for designing flexible information systems. SOAs are built from au- tonomous functional entities, services, which inter-operate through well-defined, message-based interfaces that abstract from both programming languages and implementation platforms. The most prominent incarnation of this architectural blueprint is based on the technical specification set defined by the World Wide Web Consortium (W3C) where services expose their functionality as so-called Web1 services. The corre- sponding W3C technical report on the Web Services Architecture (7) describes a basic engagement model that identifies, among others, the following three fundamental entities: the service requester invoking functionality from a service provider through message exchanges. The definition of these message exchanges has been published and thus can be retrieved through a public service discovery service.

0 Bookmarks
 · 
65 Views
  • Source
    [Show abstract] [Hide abstract]
    ABSTRACT: Early design and validation of service-oriented applications is hardly feasible due to their distributed, dynamic, and heterogeneous nature. In order to support the engineering of such applications and discover faults early, foundational theories, modeling notations and analysis techniques for component-based development should be revisited. This paper presents a formal framework for coordinated simulation of service-oriented applications based on the OSOA open standard Service Component Architecture (SCA) for heterogeneous service assembly and on the formal method Abstract State Machine (ASM) for modeling notions of service behavior, interactions, and orchestration in an abstract but executable way. The proposed framework is exemplified through a Robotics Task Coordination case study of the EU project BRICS.
    Formal aspects of component software : 8th International Symposium, FACS 2011; 01/2011
  • Source
    J. UCS. 01/2011; 17:1183-1201.
  • Source
    [Show abstract] [Hide abstract]
    ABSTRACT: Early design and validation of service-oriented applications is hardly feasible due to their distributed, dynamic, and heterogeneous nature. In order to support the engineering of such applications and discover faults early, foundational theories, modeling notations and analysis techniques for component-based development should be revisited. This paper presents a formal framework for coordinated execution of serviceoriented applications based on the OSOA open standard Service Component Architecture (SCA) for heterogeneous service assembly and on the formal method Abstract State Machines (ASMs) for modeling notions of service behavior, interactions, and orchestration in an abstract but executable way. The proposed framework is exempli�ed through a Robotics Task Coordination case study of the EU project BRICS.
    Formal aspects of component software : 8th International Symposium, FACS 2011: revised selected papers; 01/2012

Full-text

View
2 Downloads
Available from