Abstract | ||
---|---|---|
Increasingly, computer software must adapt dynamically to changing conditions. The correctness of adaptation cannot be rigorously
addressed without precisely specifying the requirements for adaptation. In many situations, these requirements involve absolute
time, in addition to a logical ordering of events. This paper introduces an approach to formally specifying such timing requirements
for adaptive software. We introduce TA-LTL, a timed adaptation-based extension to linear temporal logic, and use this logic
to specify three timing properties associated with the adaptation process: safety, liveness, and stability. A dynamic adaptation scenario involving interactive audio streaming software is used to illustrate the timed temporal logic. |
Year | DOI | Venue |
---|---|---|
2007 | 10.1007/s11334-006-0016-6 | ISSE |
Keywords | Field | DocType |
autonomic systems · adaptation · timing properties · temporal logic · model checking,model checking,real time,temporal logic,linear temporal logic | Computation tree logic,Temporal logic of actions,Model checking,Interval temporal logic,Systems engineering,Computer science,Correctness,Linear temporal logic,Real-time computing,Temporal logic,Liveness,Distributed computing | Journal |
Volume | Issue | ISSN |
3 | 1 | 1614-5054 |
Citations | PageRank | References |
1 | 0.37 | 24 |
Authors | ||
4 |
Name | Order | Citations | PageRank |
---|---|---|---|
Ji Zhang | 1 | 517 | 23.42 |
Zhinan Zhou | 2 | 22 | 2.11 |
Betty H. C. Cheng | 3 | 3345 | 191.44 |
P. K. McKinley | 4 | 1397 | 121.87 |