Presence awareness initiatives are implemented in a collaborative system
that enables a user to set presence awareness policies, and that provides
a reasonably high assurance that the system will correctly implement those
policies. Specifically, the collaborative presence awareness system is
such as to enable users to specify complex presence awareness policies.
The presence awareness system is also such as to have been verified by
employing systematic state-space exploration tools to establish a high
level of assurance that the presence awareness system has the capability
to implement correctly, substantially all possible presence awareness
policies. Further, in accordance with another aspect of the invention, the
presence awareness policy specifications are modular relative to the rest
of the presence awareness system, and can be modified without having to
modify computational modules or user interface program code of the
presence awareness system. In accordance with another aspect of the
invention, a user has the capability to update his or her presence
information. In accordance with still another aspect of the invention, the
system automatically collects presence information about the user and
automatically updates his or her presence information. In accordance with
yet another aspect of the invention, the presence awareness system may use
specification-based testing at run-time to monitor whether some users'
presence awareness policies have inadvertently been violated, further
strengthening the reliability of the system.
Инициативы осведомленности присутсвия снабжены в сотруднической системе позволяют потребитель установить политики осведомленности присутсвия, и которая предусматривает разумно высокое обеспечение что система правильно снабдит те политики. Специфически, сотрудническая система осведомленности присутсвия должна such as позволить потребители определить сложные политики осведомленности присутсвия. Система осведомленности присутсвия должна также such as быть подтверженным путем использовать систематические инструменты исследования положени-kosmosa для того чтобы установить высокое уровень гарантии система осведомленности присутсвия имеет возможность, котор нужно снабдить правильно, существенн все по возможности политики осведомленности присутсвия. Более потом, в соответствии с другим аспектом вымысла, спецификации политики осведомленности присутсвия модульны по отношению к остальноям системы осведомленности присутсвия, и могут быть доработаны без доработать вычислительные модули или Кодего программы поверхности стыка потребителя системы осведомленности присутсвия. В соответствии с другим аспектом вымысла, потребитель имеет возможность для уточнения his or her данных по присутсвия. В соответствии с неподвижным другой аспект вымысла, система автоматически собирает данные по присутсвия о потребителе и автоматически уточняет his or her данные по присутсвия. В соответствии с yet another аспектом вымысла, система осведомленности присутсвия может использовать спецификаци-osnovanny1 испытывать на продолжительности времени, котор нужно контролировать были нарушены ли политики осведомленности присутсвия нескольких потребителей невольно, дальнейше усиливающ надежность системы.