Computer-implemented method and system to support in...

Data processing: database and file management or data structures – Database design – Data structure types

Reexamination Certificate

Rate now

  [ 0.00 ] – not rated yet Voters 0   Comments 0

Details

C707S793000, C709S203000, C709S207000

Reexamination Certificate

active

07096230

ABSTRACT:
A computer-implemented method or computer system develops a process specification for a collaborative process involving distributed computer-based participant systems exchanging messages through an asynchronous messaging network. In operation, a computer retrieves, from a first computer system, information on process states and process state transitions in relation to each participant system. Information on collaboration states and collaboration state transitions of the process are stored in a second computer system and used to generate information on dead-end collaboration states.

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: 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.
“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, 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, 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-0148973.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, 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=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>.
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/State Machines.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.

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

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.

Rate now

     

Profile ID: LFUS-PAI-O-3605350

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