Electrical computers and digital processing systems: multicomput – Computer-to-computer protocol implementing
Reexamination Certificate
2007-11-27
2007-11-27
Lin, Wen-Tai (Department: 2154)
Electrical computers and digital processing systems: multicomput
Computer-to-computer protocol implementing
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.
Buckley Maschoff & Talwalkar LLC
Lin Wen-Tai
SAP (AG)
LandOfFree
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.
Profile ID: LFUS-PAI-O-3811379