Systems and methods for synchronizing data objects among...

Electrical computers and digital processing systems: multicomput – Computer-to-computer protocol implementing

Reexamination Certificate

Rate now

  [ 0.00 ] – not rated yet Voters 0   Comments 0

Details

C709S206000, C709S218000, C707S793000, C705S002000, C705S037000

Reexamination Certificate

active

10632675

ABSTRACT:
A computer-implemented method of, and system for, messaging in a computer network is disclosed. The computer network comprises at least two computer-based participant systems communicating through asynchronous exchange of messages. The first system maintains one or more data objects and notifies another system of modifications of the data objects by sending messages. Each time a data object is modified, the corresponding status object is updated and a modification status flag is checked. In response, a communication status flag is checked and a notification message is sent to the other system if necessary. The modification status flag is then reset. Upon receipt of a confirmation message from the other system, the communication status flag is then reset to the original status.

REFERENCES:
patent: 4694422 (1987-09-01), Kakuda et al.
patent: 4777595 (1988-10-01), Strecker et al.
patent: 5655075 (1997-08-01), Saito et al.
patent: 5842216 (1998-11-01), Anderson et al.
patent: 5864837 (1999-01-01), Maimone
patent: 5974129 (1999-10-01), Bodnar
patent: 6212653 (2001-04-01), Boivin et al.
patent: 6415315 (2002-07-01), Glass
patent: 6442586 (2002-08-01), Glass
patent: 6529932 (2003-03-01), Dadiomov et al.
patent: 6564218 (2003-05-01), Roth
patent: 6631386 (2003-10-01), Arun et al.
patent: 6718347 (2004-04-01), Wilson
patent: 6738797 (2004-05-01), Martin
patent: 6754657 (2004-06-01), Lomet
patent: 6761636 (2004-07-01), Chung et al.
patent: 6952660 (2005-10-01), Matheson
patent: 7082458 (2006-07-01), Guadagno et al.
patent: 2003/0101235 (2003-05-01), Zhang
patent: 2004/0098292 (2004-05-01), Miller et al.
patent: 0 684 720 (1995-11-01), None
patent: 0 926 608 (1999-06-01), None
Bosik, B.S., et al., “Finite State Machine Based Formal Methods in Protocol Conformance Testing: From Theory to Implementation,”Computer Networks and ISDN Systems, North Holland Publishing, Amsterdam, NL, vol. 22, No. 1, Aug. 1, 1991, pp. 7-33, XP00224436.
“Analysis of Petri Net Performance Model,” http://www.document.ic.ac.uk/˜nd/surprise—95/journal/vol2
r1/article2.html, printed from the Internet Sep. 5, 2003, 2 pgs.
Brink, Richard Scott, “A Petri Net Design, Simulation, and Verification Tool,” Rochester Institute of Technology, Sep. 1996, http://www.csh.rit.edu/˜rick/thesis/document/PetriThesis.html, printed from the Internet Sep. 5, 2003, 47 pgs.
Carryer, J. Edward, “State Machines,” Feb. 2, 2001, http://design.stanford.edu/spdl/eel18/pdf—files/StateMachines.pdf, printed from the Internet Sep. 5, 2003, 3 pgs.
“DotnetCoders—UML: Statechart Diagrams,” copyright 2000-2003 .netCoders, http://www.dotnetcoders.com/web/learning/uml/diagrams/statechart.aspx, printed from the Internet Dec. 10, 2003, 2 pgs.
“Finite State Machine—A WhatIs Definition,” http://whatis.techtarget.com/definition/0,,sid9—gci213052,00.html, printed from the Internet Dec. 10, 2003, 4 pgs.
‘Half.com: Apple iPod Mini—Questions & Answers’ [online]. half.com by ebay, undated materials, [retrieved on Mar, 7, 2005]. Retrieved from the Internet: <URL: http://half.ebay.com/cat/buy/ask—question.cgi?offer—ed=1286774759&meta—id=6&domain—id=447>.
‘Half.com: Apple iPod Mini—Seller's Description’ [online]. half.com by ebay, undated materials, [retrieved on Mar. 6, 2005]. Retrieved from the Internet: <URL:http: //half.ebay.com/cat/buy/inv.cgi?offerid=1286774759&meta—id=6&cpid=1202509735&domain—id=447>.
‘The Next Evolution of E-Commerce—Tango Trade Press Release’ [online]. Undated materials, [retrieved initially, in part, on Mar. 7, 2005, then again in its entirety on Apr. 28, 2005]. Retrieved from the Internet: <URL: http://www.p2p-zone.com/underground/showthread.php?s=&threadid=16211>. See, e.g., pp. 10-11.
‘P2P Real Time Trading Community from Tango’ [online]. Undated materials, [retrieved initially, in part, on Mar. 7, 2003; then again in its entirety on Apr. 28, 2005]. Retrieved from the Internet: <URL: http://www.collaborate.com/publication
ewsletter
10603.html#portal>. See, e.g., pp. 24-25.
“StateMachines,” copyright 1996-2002 BoldSoft, copyright 2002 Borland, http://information.borland.com/techpubs/delphi/boldfordelphi/html/Mech—StateMachines.htm, printed from the Internet Sep. 5, 2003, 1 pg.
‘TangoTrade.net—About’ [online]. Tango, undated materials, [retrieved on Mar. 16, 2005]. Retrieved from the Internet: <URL: http://www.tangotrade.net/about,html>.
‘Tango Trade 2.0: End-User Market for: EBAY P/N 370-2304’ [online]. Tango, undated materials, [retrieved on Mar. 7, 2005]. Retrieved from the Internet: <URL: http://rook.tangotrade.net/live/bidask.php?Item=370-2304&ManuName=EBAY>.
‘Tango Trade 2.0: Sell an Item’ [online]. Tango, undated materials, [retrieved on Mar. 7, 2005]. Retrieved from the Internet: <URL: http://dns-1.wtic.net/sell.php?& PHPAUCTION—SESSION=9182eb870919298ff76e18a31b0a7635>.
“UML Tutorial—State Diagrams,” Kennesaw State University, http://pigseye.kennesaw.edu/˜dbraun/csis/4650/A&D/UML—tutorial/state.htm, printed from the Internet Dec. 10, 2003, 4 pgs.
‘Welcome to TangoTrade.net’ [online]. Tango, undated materials, [retrieved on Mar. 7, 2005]. Retrieved from the Internet: <URL: http://www.tangotrade.net/index.html>.
Haase, Kim, “Java Message Service API Tutorial,” Sun Developer Network Site, Aug. 2001, retrieved from the Internet on Jan. 7, 2004, at http://java.sun.com/products/jms/docs.htm, XP002266306, 270 pgs.
Johnson, David B. et al., “Sender-Based Message Logging,” 7thSymposium on Fault-Tolerant Computing, 1987, retrieved from the Internet on Jan. 8, 2004, at http://citeseer.nj.necessary.com/johnson87senderbased.html, XP002266307, 6 pgs.
Kakuda, Yoshiaki, et al., “Automated Verification of Responsive Protocols Modeled by Extended finite State Machines,” Real-Time Systems, Kluwer Academic Publishers, Dordrecht, NL, vol. 7, No. 3, Nov. 1, 1994, XP 000485229, pp. 275-289.
Yuang, Maria C., “Survey of Protocol Verification Techniques Based on Finite State Machine Models,” Apr. 11, 1988, Proceedings of the IEEE NBS Computer Networking Symposium, Washington, DC, XP010011847, pp. 164-172.

LandOfFree

Say what you really think

Search LandOfFree.com for the USA inventors and patents. Rate them and share your experience with other people.

Rating

Systems and methods for synchronizing data objects among... does not yet have a rating. At this time, there are no reviews or comments for this patent.

If you have personal experience with Systems and methods for synchronizing data objects among..., we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Systems and methods for synchronizing data objects among... will most certainly appreciate the feedback.

Rate now

     

Profile ID: LFUS-PAI-O-3811379

  Search
All data on this website is collected from public sources. Our data reflects the most accurate information available at the time of publication.