Research on Monitoring Properties of Open Environments

HUANG Yu,YU Jian-Ping,MA Xiao-Xing,TAO Xian-Ping,LU Jian
DOI: https://doi.org/10.3724/sp.j.1001.2011.03800
2009-01-01
Journal of Software
Abstract:Monitoring of and adapting to the changing environment is one of the essential problems in building high-confidence software systems in open environments. Existing schemes are either informal, thus not supporting automatic and reliable monitoring of the environment, or too complex, resulting in limited efficiency. Moreover, software entities in open environments often coordinate in an asynchronous manner. Traditional techniques which are based on the assumption that such entities have a global clock, fail to monitor temporal properties of the environment. To this end, we first propose a framework, which enables convenient and formal specification of environment properties. Our framework also supports implementation of effective schemes for monitoring environment properties based on distributed predicate detection. Then we design and implement a middleware infrastructure, which supports efficient monitoring of environment properties for building high-confidence systems in open environments. We also evaluate design of the proposed infrastructure with a case study.
What problem does this paper attempt to address?