US6697840B1
Expired / Lapsed
US
⏱️ 0.0 years remaining
Presence awareness in collaborative systems
Assignee: Nokia of America Corp
•
Filing: 2000-02-29
•
Granted: 2004-02-24
•
Expires: 2020-02-29
Abstract
Abstract 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.
Inventors
- 👤 Patrice Ismael Godefroid
- 👤 James David Herbsleb
- 👤 Lalita Jategaonkar Jagadeesan
- 👤 Du Li
Bibliographic Details
Application Number
—
Jurisdiction
US
Data Source
google_patents
Last Synchronized
2026-11-04 15:51
CPC Classifications
H; H04; H04L; H04L67/00; H04L67/50; H04L67/54; H04L9/00; H04L9/40
Claims Analysis
Total Claims: 68
Claim 1
Independent Claim
235 words
A method for use in collaborative systems to effect presence awareness comprising the steps of: enabling a prescribed user to log on to a presence awareness system including presence awareness policies of one or more users; receiving an indication from said prescribed user that he/she wants to join an existing collaborative session including one or more current users; determining whether said presence awareness policies of said existing session and those of said current users in said existing session allow said prescribed user to join said existing session, if so, enabling said prescribed user and said current users to communicate via said session, otherwise, notifying said prescribed user that he/she cannot join said existing session; determining whether said prescribed user wants to modify his/her presence awareness policies, prior to or any time after joining said existing session; if it is determined that said prescribed user wants to modify his/her presence awareness policies, further including the step of enabling said prescribed user to modify his/her presence awareness policies, prior to and any time after joining said existing session; and employing a systematic state-space exploration tool to analyze substantially all possible concurrent behaviors of the system in order to verify substantially all possible specifiable presence awareness policies thereby establishing a relatively high degree of assurance that said presence awareness system can correctly implement substantially all of said specifiable presence awareness policies prior to use of the system application.
Claim 2
Independent Claim
235 words
A method for use in collaborative systems to effect presence awareness comprising the steps of: enabling a prescribed user to log on to a presence awareness system including presence awareness policies of one or more users; receiving an indication from said prescribed user that he/she wants to join an existing collaborative session including one or more current users; determining whether said presence awareness policies of said existing session and those of said current users in said existing session allow said prescribed user to join said existing session, if so, enabling said prescribed user and said current users to communicate via said session, otherwise, notifying said prescribed user that he/she cannot join said existing session; determining whether said prescribed user wants to modify his/her presence awareness policies, prior to or any time after joining said existing session; if it is determined that said prescribed user wants to modify his/her presence awareness policies, further including the step of enabling said prescribed user to modify his/her presence awareness policies, prior to and any time after joining said existing session; and employing a systematic state-space exploration tool to analyze substantially all possible concurrent behaviors of the system in order to verify substantially all possible specifiable presence awareness policies thereby establishing a relatively high degree of assurance that said presence awareness system can correctly implement substantially all of said specifiable presence awareness policies prior to use of the system application.
Claim 3
Dependent Claim
28 words
The method as defined in claim 1 further including a step of enabling a particular user to initiate joining another existing collaborative session while in said current session.
Claim 4
Dependent Claim
37 words
The method as defined in claim 1 further including a step of enabling a particular user to initiate setting up a new collaborative session with a set of one or more users while in said current session.
Claim 5
Dependent Claim
30 words
The method as defined in claim 1 further including the step of enabling a particular user to manually update his/her presence information, at any time after joining said existing session.
Claim 6
Dependent Claim
44 words
The method as defined in claim 4 further including the step of automatically updating users who have been informed of said particular user's presence information with any new updated presence information about said particular user in accordance with said particular user's presence awareness policies.
Claim 7
Dependent Claim
51 words
The method as defined in claim 5 further including a step of performing specification based presence awareness policy testing in background while said system is running and presence awareness policy violations are being reported to determine whether said presence awareness system correctly implements substantially all of said specifiable presence awareness policies.
Claim 8
Dependent Claim
38 words
The method as defined in claim 1 further including steps of automatically collecting presence information about a particular user and automatically updating said presence awareness information for said particular user, at any time after joining said existing session.
Claim 9
Dependent Claim
44 words
The method as defined in claim 7 further including a step of automatically updating users who have been informed of said particular user's presence information with any new updated presence information about said particular user in accordance with said particular user's presence awareness policies.
Claim 10
Dependent Claim
51 words
The method as defined in claim 8 further including a step of performing specification based presence awareness policy testing in background while said system is running and presence awareness policy violations are being reported to determine whether said presence awareness system correctly implements substantially all of said specifiable presence awareness policies.
Claim 11
Dependent Claim
48 words
The method as defined in claim 1 further including steps of enabling users to inquire about presence information of other users and providing an inquiring user presence information of a particular user in accordance with said particular user's presence awareness policies, at any time during said existing session.
Claim 12
Dependent Claim
51 words
The method as defined in claim 10 further including a step of performing specification based presence awareness policy testing in background while said system is running and presence awareness policy violations are being reported to determine whether said presence awareness system correctly implements substantially all of said specifiable presence awareness policies.
Claim 13
Dependent Claim
44 words
The method as defined in claim 1 further including a step of automatically updating users who have been informed of said particular user's presence information with any new updated presence information about said particular user in accordance with said particular user's presence awareness policies.
Claim 14
Dependent Claim
51 words
The method as defined in claim 12 further including a step of performing specification based presence awareness policy testing in background while said system is running and presence awareness policy violations are being reported to determine whether said presence awareness system correctly implements substantially all of said specifiable presence awareness policies.
Claim 15
Dependent Claim
36 words
The method as defined in claim 1 further including a step of automatically modifying a particular user's presence awareness policies in a manner pre-specified by said particular user, at any time after joining existing said session.
Claim 16
Dependent Claim
44 words
The method as defined in claim 14 further including a step of automatically updating users who have been informed of said particular user's presence information with any new updated presence information about said particular user in accordance with said particular user's presence awareness policies.
Claim 17
Dependent Claim
51 words
The method as defined in claim 15 further including a step of performing specification based presence awareness policy testing in background while said system is running and presence awareness policy violations are being reported to determine whether said presence awareness system correctly implements substantially all of said specifiable presence awareness policies.
Claim 18
Independent Claim
256 words
A method for use in collaborative systems to effect presence awareness comprising the steps of: enabling a prescribed user to log on to a presence awareness system including presence awareness policies of said prescribed user and one or more other users; receiving an indication from said prescribed user that he/she wants to set up a new collaborative session including a set of one or more other users; determining whether said presence awareness policies of said set of one or more other users and said presence awareness system policies for the type of collaborative session to be set up allow said prescribed user to set up said new session, if so, enabling said prescribed user and said set of users to communicate via said session, otherwise, notifying said prescribed user that he/she cannot set up said new session; determining whether said prescribed user wants to modify his/her presence awareness policies, prior to or any time after joining said new session; if it is determined that said prescribed user wants to modify his/her presence awareness policies, further including the step of enabling said prescribed user to modify his/her presence awareness policies, prior to and after joining said new session; and employing a systematic state-space exploration tool to analyze substantially all possible concurrent behaviors of the system in order to verify substantially all possible specifiable presence awareness policies thereby establishing a relatively high degree of assurance that said presence awareness system can correctly implement substantially all of said specifiable presence awareness policies prior to use of the system application.
Claim 19
Independent Claim
256 words
A method for use in collaborative systems to effect presence awareness comprising the steps of: enabling a prescribed user to log on to a presence awareness system including presence awareness policies of said prescribed user and one or more other users; receiving an indication from said prescribed user that he/she wants to set up a new collaborative session including a set of one or more other users; determining whether said presence awareness policies of said set of one or more other users and said presence awareness system policies for the type of collaborative session to be set up allow said prescribed user to set up said new session, if so, enabling said prescribed user and said set of users to communicate via said session, otherwise, notifying said prescribed user that he/she cannot set up said new session; determining whether said prescribed user wants to modify his/her presence awareness policies, prior to or any time after joining said new session; if it is determined that said prescribed user wants to modify his/her presence awareness policies, further including the step of enabling said prescribed user to modify his/her presence awareness policies, prior to and after joining said new session; and employing a systematic state-space exploration tool to analyze substantially all possible concurrent behaviors of the system in order to verify substantially all possible specifiable presence awareness policies thereby establishing a relatively high degree of assurance that said presence awareness system can correctly implement substantially all of said specifiable presence awareness policies prior to use of the system application.
Claim 20
Dependent Claim
28 words
The method as defined in claim 17 further including a step of enabling a particular user to initiate joining another existing collaborative session while in said current session.
Claim 21
Dependent Claim
38 words
The method as defined in claim 17 further including a step of enabling a particular user to initiate setting up a new collaborative session with a set of one or more other users while in said current session.
Claim 22
Dependent Claim
30 words
The method as defined in claim 17 further including the step of enabling a particular user to manually update his/her presence information at any time after joining said new session.
Claim 23
Dependent Claim
44 words
The method as defined in claim 20 further including the step of automatically updating users who have been informed of said particular user's presence information with any new updated presence information about said particular user in accordance with said particular user's presence awareness policies.
Claim 24
Dependent Claim
51 words
The method as defined in claim 21 further including a step of performing specification based presence awareness policy testing in background while said system is running and presence awareness policy violations are being reported to determine whether said presence awareness system correctly implements substantially all of said specifiable presence awareness policies.
Claim 25
Dependent Claim
38 words
The method as defined in claim 17 further including steps of automatically collecting presence information about a particular user and automatically updating said presence awareness information for said particular users at any time after joining said new session.
Claim 26
Dependent Claim
44 words
The method as defined in claim 23 further including a step of automatically updating users who have been informed of said particular user's presence information with any new updated presence information about said particular user in accordance with said particular user's presence awareness policies.
Claim 27
Dependent Claim
51 words
The method as defined in claim 24 further including a step of performing specification based presence awareness policy testing in background while said system is running and presence awareness policy violations are being reported to determine whether said presence awareness system correctly implements substantially all of said specifiable presence awareness policies.
Claim 28
Dependent Claim
49 words
The method as defined in claim 17 further including steps of enabling users to inquire about presence information of other users and providing an inquiring user presence information of a particular user in accordance with said particular user's presence awareness policies, at any time after joining said new session.
Claim 29
Dependent Claim
51 words
The method as defined in claim 26 further including a step of performing specification based presence awareness policy testing in background while said system is running and presence awareness policy violations are being reported to determine whether said presence awareness system correctly implements substantially all of said specifiable presence awareness policies.
Claim 30
Dependent Claim
44 words
The method as defined in claim 17 further including a step of automatically updating users who have been informed of said particular user's presence information with any new updated presence information about said particular user in accordance with said particular user's presence awareness policies.
Claim 31
Dependent Claim
51 words
The method as defined in claim 28 further including a step of performing specification based presence awareness policy testing in background while said system is running and presence awareness policy violations are being reported to determine whether said presence awareness system correctly implements substantially all of said specifiable presence awareness policies.
Claim 32
Dependent Claim
36 words
The method as defined in claim 17 further including a step of automatically modifying a particular user's presence awareness policies in a manner pre-specified by said particular user, at any time after joining said new session.
Claim 33
Dependent Claim
44 words
The method as defined in claim 30 further including a step of automatically updating users who have been informed of said particular user's presence information with any new updated presence information about said particular user in accordance with said particular user's presence awareness policies.
Claim 34
Dependent Claim
50 words
The method as defined in claim 31 further including a step of performing specification based presence awareness policy testing in background while said system is running and presence awareness policy violations are being reported to determine whether said presence awareness system correctly implements substantially all of said,specifiable presence awareness policies.
Claim 35
Dependent Claim
218 words
Apparatus for use in collaborative systems to effect presence awareness comprising: a user interface for enabling a prescribed user to log on to a presence awareness system including presence awareness policies of one or more users by a prescribed user and for indicating to said presence awareness system that said prescribed user wants to join an existing collaborative session including one or more current users; a controller for determining whether said presence awareness policies of said existing session and those of said current users in said session allow said prescribed user to join said existing session, if so, for enabling said prescribed user and said current users to communicate via said session, otherwise, for notifying said prescribed user that he/she cannot join said existing session, for determining whether said prescribed user wants to modify his/her presence awareness policies, if so, for enabling said prescribed user to modify his/her presence awareness policies, prior to and anytime after joining said existing session; and a state-space exploration tool to systematically analyze substantially all possible concurrent behaviors of the system in order to verify substantially all possible specifiable presence awareness policies thereby establishing a relatively high degree of assurance that said presence awareness system can correctly implement substantially all of said specifiable presence awareness policies prior to use of the system application.
Claim 36
Dependent Claim
218 words
Apparatus for use in collaborative systems to effect presence awareness comprising: a user interface for enabling a prescribed user to log on to a presence awareness system including presence awareness policies of one or more users by a prescribed user and for indicating to said presence awareness system that said prescribed user wants to join an existing collaborative session including one or more current users; a controller for determining whether said presence awareness policies of said existing session and those of said current users in said session allow said prescribed user to join said existing session, if so, for enabling said prescribed user and said current users to communicate via said session, otherwise, for notifying said prescribed user that he/she cannot join said existing session, for determining whether said prescribed user wants to modify his/her presence awareness policies, if so, for enabling said prescribed user to modify his/her presence awareness policies, prior to and anytime after joining said existing session; and a state-space exploration tool to systematically analyze substantially all possible concurrent behaviors of the system in order to verify substantially all possible specifiable presence awareness policies thereby establishing a relatively high degree of assurance that said presence awareness system can correctly implement substantially all of said specifiable presence awareness policies prior to use of the system application.
Claim 37
Dependent Claim
30 words
The invention as defined in claim 33 wherein said controller is further equipped to enable a particular user to initiate joining another existing collaborative session while in said current session.
Claim 38
Dependent Claim
39 words
The invention as defined in claim 33 wherein said controller is further equipped to enable a particular user to initiate setting up a new collaborative session with a set of one or more users while in said current session.
Claim 39
Dependent Claim
46 words
The invention as defined in claim 33 wherein said controller is further equipped to automatically update users who have been informed of said particular user's presence information with any new updated presence information about said particular user in accordance with said particular user's presence awareness policies.
Claim 40
Dependent Claim
52 words
The invention as defined in claim 36 wherein said controller is further equipped to perform specification based presence awareness policy testing in background while said system is running and presence awareness policy violations are being reported to determine whether said presence awareness system correctly,implements substantially all of said specifiable presence awareness policies.
Claim 41
Dependent Claim
42 words
The invention as defined in claim 33 wherein said controller is further equipped to automatically collect presence information about a particular user and to automatically update said presence awareness information for said particular user, at any time after joining said existing session.
Claim 42
Dependent Claim
46 words
The invention as defined in claim 38 wherein said controller is further equipped to automatically update users who have been informed of said particular user's presence information with any new updated presence information about said particular user in accordance with said particular user's presence awareness policies.
Claim 43
Dependent Claim
53 words
The invention as defined in claim 39 wherein said controller is further equipped to perform specification based presence awareness policy testing in background while said system is running and presence awareness policy violations are being reported to determine whether said presence awareness system correctly implements substantially all of said specifiable presence awareness policies.
Claim 44
Dependent Claim
52 words
The invention as defined in claim 33 wherein said controller is further equipped to enable users to inquire about presence information of other users and to provide an inquiring user presence information of a particular user in accordance with said particular user's presence awareness policies, at any time during said existing session.
Claim 45
Dependent Claim
53 words
The invention as defined in claim 41 wherein said controller is further equipped to perform specification based presence awareness policy testing in background while said system is running and presence awareness policy violations are being reported to determine whether said presence awareness system correctly implements substantially all of said specifiable presence awareness policies.
Claim 46
Dependent Claim
46 words
The invention as defined in claim 33 wherein said controller is further equipped to automatically update users who have been informed of said particular user's presence information with any new updated presence information about said particular user in accordance with said particular user's presence awareness policies.
Claim 47
Dependent Claim
53 words
The invention as defined in claim 43 wherein said controller is further equipped to perform specification based presence awareness policy testing in background while said system is running and presence awareness policy violations are being reported to determine whether said presence awareness system correctly implements substantially all of said specifiable presence awareness policies.
Claim 48
Dependent Claim
38 words
The invention as defined in claim 33 wherein said controller is further equipped to automatically modify a particular user's presence awareness policies in a manner pre-specified by said particular user, at any time after joining said existing session.
Claim 49
Dependent Claim
46 words
The invention as defined in claim 45 wherein said controller is further equipped to automatically update users who have been informed of said particular user's presence information with any new updated presence information about said particular user in accordance with said particular user's presence awareness policies.
Claim 50
Dependent Claim
53 words
The invention as defined in claim 46 wherein said controller is further equipped to perform specification based presence awareness policy testing in background while said system is running and presence awareness policy violations are being reported to determine whether said presence awareness system correctly implements substantially all of said specifiable presence awareness policies.
Claim 51
Dependent Claim
251 words
Apparatus for use in collaborative systems to effect presence awareness comprising: a user interface for enabling a prescribed user to log on to a presence awareness system including presence awareness policies of one or more users by a prescribed user and for indicating to said presence awareness system that said prescribed user wants to set up a new collaborative session including a set of one or more other users; a controller for determining whether said presence awareness policies of said set of one or more other users and said presence awareness system policies for the type of collaborative session to be set up allow said prescribed user to set up said new session, if so, for enabling said prescribed user and said current users to communicate via said new session, otherwise, for supplying an output notifying said prescribed user that he/she cannot set up said new session, said controller being further equipped to determine whether said prescribed user wants to modify his/her presence awareness policies, prior to or any time after joining if so, for enabling said prescribed user to modify his/her presence awareness policies, prior to and after joining said new session; and a state-space exploration tool to systematically analyze substantially all possible concurrent behaviors of the system in order to verify substantially all possible specifiable presence awareness policies thereby establishing a relatively high degree of assurance that said presence awareness system can correctly implement substantially all of said specifiable presence awareness policies prior to use of the system application.
Claim 52
Dependent Claim
251 words
Apparatus for use in collaborative systems to effect presence awareness comprising: a user interface for enabling a prescribed user to log on to a presence awareness system including presence awareness policies of one or more users by a prescribed user and for indicating to said presence awareness system that said prescribed user wants to set up a new collaborative session including a set of one or more other users; a controller for determining whether said presence awareness policies of said set of one or more other users and said presence awareness system policies for the type of collaborative session to be set up allow said prescribed user to set up said new session, if so, for enabling said prescribed user and said current users to communicate via said new session, otherwise, for supplying an output notifying said prescribed user that he/she cannot set up said new session, said controller being further equipped to determine whether said prescribed user wants to modify his/her presence awareness policies, prior to or any time after joining if so, for enabling said prescribed user to modify his/her presence awareness policies, prior to and after joining said new session; and a state-space exploration tool to systematically analyze substantially all possible concurrent behaviors of the system in order to verify substantially all possible specifiable presence awareness policies thereby establishing a relatively high degree of assurance that said presence awareness system can correctly implement substantially all of said specifiable presence awareness policies prior to use of the system application.
Claim 53
Dependent Claim
30 words
The invention as defined in claim 48 wherein said controller is further equipped to enable a particular user to initiate joining an existing collaborative session while in said current session.
Claim 54
Dependent Claim
39 words
The invention as defined in claim 48 wherein said controller is further equipped to enable a particular user to initiate setting up a new collaborative session with a set of one or more users while in said current session.
Claim 55
Dependent Claim
46 words
The invention as defined in claim 48 wherein said controller is further equipped to automatically update users who have been informed of said particular user's presence information with any new updated presence information about said particular user in accordance with said particular user's presence awareness policies.
Claim 56
Dependent Claim
53 words
The invention as defined in claim 51 wherein said controller is further equipped to perform specification based presence awareness policy testing in background while said system is running and presence awareness policy violations are being reported to determine whether said presence awareness system correctly, implements substantially all of said specifiable presence awareness policies.
Claim 57
Dependent Claim
42 words
The invention as defined in claim 48 wherein said controller is further equipped to automatically collect presence information about a particular user and to automatically update said presence awareness information for said particular user, at any time after joining said new session.
Claim 58
Dependent Claim
46 words
The invention as defined in claim 53 wherein said controller is further equipped to automatically update users who have been informed of said particular user's presence information with any new updated presence information about said particular user in accordance with said particular user's presence awareness policies.
Claim 59
Dependent Claim
53 words
The invention as defined in claim 54 wherein said controller is further equipped to perform specification based presence awareness policy testing in background while said system is running and presence awareness policy violations are being reported to determine whether said presence awareness system correctly implements substantially all of said specifiable presence awareness policies.
Claim 60
Dependent Claim
53 words
The invention as defined in claim 48 wherein said controller is further equipped to enable users to inquire about presence information of other users and to provide an inquiring user presence information of a particular user in accordance with said particular user's presence awareness policies, at any time after joining said new session.
Claim 61
Dependent Claim
53 words
The invention as defined in claim 56 wherein said controller is firer equipped to perform specification based presence awareness policy testing in background while said system is running and presence awareness policy violations are being reported to determine whether said presence awareness system correctly implements substantially all of said specifiable presence awareness policies.
Claim 62
Dependent Claim
46 words
The invention as defined in claim 48 wherein said controller is further equipped to automatically update users who have been informed of said particular user's presence information with any new updated presence information about said particular user in accordance with said particular user's presence awareness policies.
Claim 63
Dependent Claim
53 words
The invention as defined in claim 58 wherein said controller is further equipped to perform specification based presence awareness policy testing in background while said system is running and presence awareness policy violations are being reported to determine whether said presence awareness system correctly implements substantially all of said specifiable presence awareness policies.
Claim 64
Dependent Claim
38 words
The invention as defined in claim 48 wherein said controller is further equipped to automatically modify a particular user's presence awareness policies in a manner pre-specified by said particular user, at any time after joining said new session.
Claim 65
Dependent Claim
46 words
The invention as defined in claim 60 wherein said controller is further equipped to automatically update users who have been informed of said particular user's presence information with any new updated presence information about said particular user in accordance with said particular user's presence awareness policies.
Claim 66
Dependent Claim
53 words
The invention as defined in claim 61 wherein said controller is further equipped to perform specification based presence awareness policy testing in background while said system is running and presence awareness policy violations are being reported to determine whether said presence awareness system correctly implements substantially all of said specifiable presence awareness policies.
Claim 67
Dependent Claim
278 words
Apparatus for use in collaborative systems to effect presence awareness comprising: means for enabling a prescribed user to log on to a presence awareness system including complex presence awareness policies of said prescribed user and one or more other users; means for receiving an indication from said prescribed user that he/she wants to set up a collaborative session including a set of one or more other users; means for determining whether said complex presence awareness policies of said set of one or more other users and said presence awareness system policies for the type of new collaborative session to be set up allow said prescribed user to set up said new session; means responsive to the results of said determining for enabling said prescribed user and said set of users to communicate via said new session; means responsive to the results of said determining for otherwise notifying said prescribed user that he/she cannot set up said new session; means for determining whether said prescribed user wants to modify his/her presence awareness policies, prior to or any time after joining said new session; means responsive to a determination that said prescribed user wants to modify his/her presence awareness policies, further including means for enabling said prescribed user to modify his/her presence awareness policies, prior to and after joining said new session; and a state-space exploration tool to systematically analyze substantially all possible concurrent behaviors of the system in order to verify substantially all possible specifiable presence awareness policies thereby establishing a relatively high degree of assurance that said presence awareness system can correctly implement substantially all of said specifiable presence awareness policies prior to use of the system application.
Claim 68
Dependent Claim
278 words
Apparatus for use in collaborative systems to effect presence awareness comprising: means for enabling a prescribed user to log on to a presence awareness system including complex presence awareness policies of said prescribed user and one or more other users; means for receiving an indication from said prescribed user that he/she wants to set up a collaborative session including a set of one or more other users; means for determining whether said complex presence awareness policies of said set of one or more other users and said presence awareness system policies for the type of new collaborative session to be set up allow said prescribed user to set up said new session; means responsive to the results of said determining for enabling said prescribed user and said set of users to communicate via said new session; means responsive to the results of said determining for otherwise notifying said prescribed user that he/she cannot set up said new session; means for determining whether said prescribed user wants to modify his/her presence awareness policies, prior to or any time after joining said new session; means responsive to a determination that said prescribed user wants to modify his/her presence awareness policies, further including means for enabling said prescribed user to modify his/her presence awareness policies, prior to and after joining said new session; and a state-space exploration tool to systematically analyze substantially all possible concurrent behaviors of the system in order to verify substantially all possible specifiable presence awareness policies thereby establishing a relatively high degree of assurance that said presence awareness system can correctly implement substantially all of said specifiable presence awareness policies prior to use of the system application.
References Cited (Backward Citations)
US5894556A
Cited
US6128660A
Cited
US6345297B1
Cited
US5862330A
Cited
US6148328A
Cited
US6430567B2
Cited
US6487583B1
Cited
US6411989B1
Cited
US6463471B1
Cited
US6301609B1
Cited
USPTO Annuity & Maintenance Windows
| Annuity Stage | Window Opens | Payment Deadline | Surcharge Period Until | Estimated Fee | Status |
|---|---|---|---|---|---|
| 3.5 Years (Year 4) | 2007-02-23 | 2007-08-25 | 2008-02-24 | $2000.00 | Window Closed / Lapsed |
| 7.5 Years (Year 8) | 2011-02-23 | 2011-08-25 | 2012-02-24 | $3760.00 | Window Closed / Lapsed |
| 11.5 Years (Year 12) | 2015-02-23 | 2015-08-25 | 2016-02-24 | $7700.00 | Window Closed / Lapsed |