2012 | OriginalPaper | Buchkapitel
Coordinated Execution of Heterogeneous Service-Oriented Components by Abstract State Machines
verfasst von : Davide Brugali, Luca Gherardi, Elvinia Riccobene, Patrizia Scandurra
Erschienen in: Formal Aspects of Component Software
Verlag: Springer Berlin Heidelberg
Aktivieren Sie unsere intelligente Suche, um passende Fachinhalte oder Patente zu finden.
Wählen Sie Textabschnitte aus um mit Künstlicher Intelligenz passenden Patente zu finden. powered by
Markieren Sie Textabschnitte, um KI-gestützt weitere passende Inhalte zu finden. powered by
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 service-oriented 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 exemplified through a Robotics Task Coordination case study of the EU project BRICS.