面向网构软件的环境显式化技术
摘要
Situated in open, dynamic and uncertain network environments, Internetware systems must be able to sense the changes in their running environments and adapt themselves accordingly. This paper proposes to encode environmental knowledge a priori with environment models and environment specifications, and to include them as explicit parts of Internetware systems. We discuss how to use this approach to address some import issues of open environments: understanding the distributed and asynchronous nature of the environments, detecting and resolving context inconsistencies and recognizing human activities. We also come up with a preliminary methodology for the development of environment models and specifications and the corresponding implementation mechanism, which provides a good concern separation between environment handling and business logic.