Computer Science – Software Engineering
Scientific paper
2010-11-11
Computer Science
Software Engineering
7 pages, 5 figures, 3 listings
Scientific paper
The growing complexity of software systems as well as changing conditions in their operating environment demand systems that are more flexible, adaptive and dependable. The service-oriented computing paradigm is in widespread use to support such adaptive systems, and, 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 QoS properties. The complexity of dynamic adaptation (DA) is significant, but currently not well understood or formally specified. This paper elaborates a well-founded model and theory of DA, introducing formalisms written using COWS. The model is evaluated for reliability and responsiveness properties with the model checker CMC.
No associations
LandOfFree
A Formal Model for Dynamically Adaptable Services does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.
If you have personal experience with A Formal Model for Dynamically Adaptable Services, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and A Formal Model for Dynamically Adaptable Services will most certainly appreciate the feedback.
Profile ID: LFWR-SCP-O-431014