Home // ADAPTIVE 2011, The Third International Conference on Adaptive and Self-Adaptive Systems and Applications // View article

A Formal Orchestration Model for Dynamically Adaptable Services with COWS

Authors:
Jorge Fox

Keywords: Dynamic Adaptation, Formal Languages, Formal Methods

Abstract:
The growing complexity of software systems, as well as, changing conditions in their operating environment demand systems that are more flexible, adaptable and dependable. In many domains, adaptations may occur dynamically and in real time. In addition, services from heterogeneous, possibly unknown sources may be used. This motivates a need to ensure the correct behaviour of the adapted systems, and its continuing compliance to time bounds and other Quality of Service properties. The complexity of Dynamic Adaptation is significant, but currently not well understood or formally specified. This paper elaborates a well-founded model of dynamic adaptation, introducing formalisms written using the process algebra COWS. The model provides the foundation for exploring dynamic adaptation and assessing it against predefined specifications. We consider it a contribution for the design of new models and methodologies for system adaptability.

Pages: 67 to 72

Copyright: Copyright (c) IARIA, 2011

Publication date: September 25, 2011

Published in: conference

ISSN: 2308-4146

ISBN: 978-1-61208-156-4

Location: Rome, Italy

Dates: from September 25, 2011 to September 30, 2011