DocumentCode
1502540
Title
Adaptive programming
Author
Gouda, Mohamed G. ; Herman, Ted
Author_Institution
Dept. of Comput. Sci., Texas Univ., Austin, TX, USA
Volume
17
Issue
9
fYear
1991
fDate
9/1/1991 12:00:00 AM
Firstpage
911
Lastpage
921
Abstract
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
Keywords
adaptive systems; formal logic; parallel programming; programming theory; adaptive distributed programs; adaptive sequential programs; adaptivity; composition operators; constituent programs; self-stabilization; token ring networks;
fLanguage
English
Journal_Title
Software Engineering, IEEE Transactions on
Publisher
ieee
ISSN
0098-5589
Type
jour
DOI
10.1109/32.92911
Filename
92911
Link To Document