Data processing: database and file management or data structures – Database design – Data structure types
Reexamination Certificate
2007-09-18
2007-09-18
Cottingham, John (Department: 2167)
Data processing: database and file management or data structures
Database design
Data structure types
C707S793000, C709S203000, C709S205000, C709S206000, C709S207000
Reexamination Certificate
active
10632674
ABSTRACT:
A computer-implemented method for a collaborative process of exchanging messages through an asynchronous messaging network. The method is embodied by a computer program that causes a computer system to retrieve information on local states and local state transitions related to each participant system from a first storage location, including information specifying local states of the corresponding participant system and events triggering, and resulting from, the respective local state transition; process the information to generate, and store in a second storage location, information on collaboration states and collaboration state transitions; retrieve information stored in the second storage location; process the information retrieved from the second storage location to generate information on incompletely specified terminal collaboration states among said collaboration states; and generate a result data object containing information on every incompletely specified terminal collaboration state found.
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 et al.
patent: 5974129 (1999-10-01), Bodnar
patent: 6212653 (2001-04-01), Boivin et al.
patent: 6310941 (2001-10-01), Crutcher et al.
patent: 6332155 (2001-12-01), Notani
patent: 6415315 (2002-07-01), Glass
patent: 6442586 (2002-08-01), Glass
patent: 6529932 (2003-03-01), Dadiomov et al.
patent: 6557027 (2003-04-01), Cragun
patent: 6564218 (2003-05-01), Roth
patent: 6631386 (2003-10-01), Arun et al.
patent: 6738797 (2004-05-01), Martin
patent: 6754657 (2004-06-01), Lomet
patent: 6761636 (2004-07-01), Chung et al.
patent: 6766321 (2004-07-01), Sasaki et al.
patent: 6836891 (2004-12-01), Okada et al.
patent: 6941304 (2005-09-01), Gainey et al.
patent: 6944611 (2005-09-01), Flank et al.
patent: 6952660 (2005-10-01), Matheson
patent: 2003/0097410 (2003-05-01), Atkins 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 Fornal 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- XP0022443.
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.
“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/ee118/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.
“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.
“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.
“Application Link Enabling,” http://searchsap.techtarget.com/sDefinition/0,,sid21—gci822148.00.html, May 7, 2002, printed from the Internet Dec. 10, 2003, 2 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—id=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. 16, 2005]. Retrieved from the Internet: <URL: http://half.ebay.com/cat/buy/inv.cgi?offer—id=1286774759&meta—id=6&cpid=1202509734&domain—id=447>.
‘The Next Evolution of E-Commerce—Tango Trade Press Release’ [online]. Undated materials, [retrieved initially, in part, on Mar. 7, 2005, than 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, 2005; 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.
Robinson, Scott, “Save Time and Effort with SAP's ALE Change Pointers,” http://techrepublic.com.com/5102-6329-1048973.html, Aug. 12, 2002, copyright 1995-2003 CNET Networks Inc., printed from the Internet Sep. 4, 2003, 3 pgs.
‘TangoTrade.net—About’ [online], Tango, undated materials, [retrieved on Mar. 16, 2003]. 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=9182eb870619298ff76e18a31b0a7635>.
‘Welcome to TangoTrade.net’ [online]. Tango, undated materials, [retrieved on Mar. 7, 2005]. Retrieved from the Internet: <URL: http://www.tangotrade.net/index.html>.
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.
Cottingham John
Fish & Richardson P.C.
SAP Aktiengesellschaft
Timblin Robert M
LandOfFree
Computer-implemented method and system to support in... does not yet have a rating. At this time, there are no reviews or comments for this patent.
If you have personal experience with Computer-implemented method and system to support in..., we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Computer-implemented method and system to support in... will most certainly appreciate the feedback.
Profile ID: LFUS-PAI-O-3775590