The Community for Technology Leaders
RSS Icon
Subscribe
Issue No.09 - September (1991 vol.17)
pp: 911-921
ABSTRACT
<p>An adaptive program is one that changes its behavior base on the current state of its environment. This notion of adaptivity is formalized, and a logic for reasoning about adaptive programs is presented. The logic includes several composition operators that can be used to define an adaptive program in terms of given constituent programs; programs resulting from these compositions retain the adaptive properties of their constituent programs. The authors begin by discussing adaptive sequential programs, then extend the discussion to adaptive distributed programs. The relationship between adaptivity and self-stabilization is discussed. A case study for constructing an adaptive distributed program where a token is circulated in a ring of processes is presented.</p>
INDEX TERMS
token ring networks; adaptivity; composition operators; constituent programs; adaptive sequential programs; adaptive distributed programs; self-stabilization; adaptive systems; formal logic; parallel programming; programming theory
CITATION
M.G. Gouda, T. Herman, "Adaptive Programming", IEEE Transactions on Software Engineering, vol.17, no. 9, pp. 911-921, September 1991, doi:10.1109/32.92911
59 ms
(Ver 2.0)

Marketing Automation Platform Marketing Automation Tool