Stabilization of distributed systems

Details Stabilization of distributed systems Stabilization of distributed systems

2008-09-30

2010-10-26

Jean, Frantz B (Department: 2454)

Electrical computers and digital processing systems: multicomput

Computer network managing

Computer network monitoring

C709S217000, C709S219000

Reexamination Certificate

active

07822853

ABSTRACT:
One or more embodiments, described herein, are directed towards a technology for analyzing a distributed system in order to determine one or more inconsistencies placing the distributed system in an unstable state. Once the one or more inconsistencies are determined, one or more operations reconciling the inconsistencies are defined in order to stabilize the distributed system.

REFERENCES:
patent: 6058416 (2000-05-01), Mukherjee et al.
patent: 6615253 (2003-09-01), Bowman-Amuah
patent: 7281236 (2007-10-01), Galvin et al.
patent: 7318074 (2008-01-01), Iyengar et al.
patent: 7370053 (2008-05-01), Cabrera et al.
patent: 7403946 (2008-07-01), Taylor
patent: 7451163 (2008-11-01), Selman et al.
patent: 2002/0188538 (2002-12-01), Robertson et al.
patent: 2003/0191832 (2003-10-01), Satyavolu et al.
patent: 2004/0268312 (2004-12-01), Abe et al.
patent: 2007/0044151 (2007-02-01), Whitmore
patent: 2007/0239797 (2007-10-01), Cattell et al.
Arkin, “Business Process Modeling Language”, retrieved at <<http://xml.coverpages.org/BPML-2002.pdf>>, BPMI.org, Nov. 13, 2002, pp. 1-98.
Arkin, et al, “Web Services Business Process Execution Language”, retrieved May 19, 2008 at <<http://www.oasis-open.org/committees/download.php/10347/wsbpel-specification-draft-120204.htm>>, Oasis, Dec. 1, 2004, pp. 1-40.
Berger, “Basic Theory of Reduction Congruence for Two Timed Asynchronous pi-Calculi”, retreived at >>http://citeseer.ist.psu.edu/cache/papers/cs/31956/http:zSzzSzwww.dcs.qmul.ac.ukzSz˜martinbzSzpublicationszSzconcur04.pdf/berger04basic.pdf>>, Department of Computer Science, Queen Mary, University of London, pp. 1-16.
Berger, “Towards Abstractions for Distributed Systems”, retrieved at >>http://citeseer.ist.psu.edu/cache/papers/cs/32482/http:zSzzSzwww.dcs.qmul.ac.ukzSz˜martinbzSzpublicationszSztoo-short-too-boring.pdf/berger04towards.pdf>>, University of London, Jun. 13, 2004, pp. i-xii, 1-246.
Bocchi, et al., “A Calculus for Long-running Transactions”, retrieved on May 16, 2008 at <<http://www.cs.unibo.it/˜zavattar/Publication/fmoods03.ps>>, pp. 1-15.
Bray, et al, “Extensible Markup Language (XML) 1.0 (Fourth Edition)”, retrieved May 19, 2008 at <<http://www.w3.org/TR/2006/REC-xml-20060816/>>, W3C, Aug. 16, 2006, pp. 1-33.
Breu, et al, “Web Service Engineering—Advancing a New Software Engineering Discipline”, retrieved at <<http://www.springerlink.com/content/5fflqclcv5exd1f4/fulltext.pdf>>, ICWE, 2005, pp. 8-18.
Bruni, et al, “Orchestrating Transactions in Join Calculus”, retrieved from <<http://citeseer.ist.psu.edu/cache/papers/cs/33163/http:zSzzSzwww.di.unipi.itzSz˜brunizSzpublicationszSzconcur2002.pdf/bruni02orchestrating.pdf>>, Department of Information, University of Pisa, Italy, pp. 1-15.
Bruni, et al, “Theoretical Foundations for Compensations in Flow Composition Languages”, retrieved at <<http://www.di.unipi.it/˜melgratt/publications/popI2005.pdf>>, POPL, Jan. 12-14, 2005, pp. 1-12.
Burbeck, “The Tao of e-Business Services”, retrieved May 19, 2008 at >>http://www.ibm.com/developerworks/library/ws-tao/index.html>>, IBM, Oct. 1, 2000, pp. 1-9.
Butler, et al, “An Operational Semantics for StAC, a Language for Modelling Long-Running Business Transactions”, retrieved at <<http://citeseerx.ist.psu.edu/viewdoc/summary;jsessionid=7F904798A641C0C559DF59BB5E536306?doi=10.1.1.80.1031>>, Department of Computer Science, Technical University of Lisbon, pp. 1-15.
“Catalog of OMG Modeling and Metadata Specifications”, retrieved May 19, 2008 at <<http://www.omg.org/technology/ documents/modeling—spec—catalog.htm#UML—for—EDOC>>, OMG, pp. 1-4.
Christensen, et al, “Web Services Description Language (WSDL) 1.1”, retrieved May 19, 2008 at <<http://www.w3.org/TR/ wsdl, W3C, Mar. 15, 2001, pp. 1-31.
Claessens, et al, “A Tangled World Wide Web of Security Issues”, retrieved May 19, 2008 at <<http://www.firstmonday.org/issues/issue7—3/claessens/>>, First Monday, 2002, pp. 1-29.
Clarke, et al, “Model Checking and Abstraction”, retrieved at <<http://www.cs.cmu.edu/˜emc/papers/Papers%20In%20Refereed%20Journals/Model%20Checking%20and%20Abstraction94.pdf>>, ACM, vol. 16, No. 5, Sep. 1994, pp. 1512-1542.
“CORBA Component Model Specification”, retrieved at <<http://www.omg.org/docs/formal/06-04-01.pdf>>, OMG, Version 4.0, Jun. 4, 2001, pp. 1-350.
“CORBA/IIOP Specification”, retrieved May 19, 2008 at <<http://www.omg.org/technology/documents/formal/corba—iiop.htm>>, OMG, 1997-2008, p. 1.
Cover, “Universal Description, Discovery, and Integration (UDDI)”, retrieved May 19, 2008 at <<http://xml.coverpages.org/uddi.html>>, Oasis, Mar. 13, 2008, pp. 1-133.
Csertan, et al, “VIATRA—Visual Automated Transformations for Formal Verification and Validation of UML Models (Tool Demonstration)”, retrieved at <<http://home.mit.bme.hu/˜varro/publication/ase2002—varro.pdf>>, Budapest University of Technology and Economics Department of Measurement and Information Systems, pp. 1-10.
Greenfield, et al., Consistency for Web Services Applications, retrieved at <<http://www.vldb2005.org/program/paper/ thu/p1199-greenfield.pdf>>, Proceedings of the 31st VLDB Conference, Trondheim, Norway, 2005, pp. 1199-1203.
Gudgin, et al, “Web Services Addressing—Core”, retrieved May 19, 2008 at <<http://www.w3.org/TR/2004/WD-ws-addr-core-20041208/>>, W3C, 2004, pp. 1-15.
Guidi, et al, “A Formal Framework for Web Services Coordination”, retreived at <<http://www.cs.unibo.it/˜lucchi/ papers/FOCLASACR04.pdf>>, Department of Computer Science, University of Bologna, 2004, pp. 1-18.
Hoare, “A Calculus of Compensations for Long-Running Transactions”, retrieved at <<http://research.microsoft.com/collaboration/university/europe/events/dotnetcc/Version2/Tony%20HoareMarch11.Long-running%20transactions. ppt#256,1,A calculus of compensations for long-running transactions>>, Cambridge, Mar. 2002, pp. 1-33.
Houston, et al, “The CORBA Activity Service Framework for Supporting Extended Transactions”, retrieved at <<http://citeseer.ist.psu.edu/cache/papers/cs/23158/http:zSzzSznenya.ms.mff.cuni.czzSzrelatedzSzpublzSztpzSzCORBAWorkflow03.pdf/houston01corba.pdf>>, Middleware, 2001, pp. 1-18.
“HTTP—Hypertext Transfer Protocol”, retrieved May 19, 2008 at <<http://www.w3.org/Protocols/>>, W3C, 1996-2003, , pp. 1-5.
Huhns, et al “Service-Oriented Computing: Key Concepts and Principles”, retrieved at <<http://www.cse.sc.edu/˜huhns/journalpapers/V9N1soc.pdf>>, IEEE, Jan.-Feb. 2005, pp. 2-8.
“IEEE Recommended Practice for Architectural Description of Software-Intensive Systems”, retrieved at <<http:// ieeexplore.ieee.org/iel5/7040/18957/00875998.pdf>>, IEEE, Sep. 21, 2000, pp. i-vi, 1-23.
Igarashi, et al, “A Generic Type System for the Pi-Calculus”, retrieved May 27, 2008 at <<http://coblitz.codeen.org:3125/citeseer.ist.psu.edu/cache/papers/cs/31171/http:zSzzSzwww.yl.is.s.u-tokyo.ac.jpzSz˜kobazSzpaperszSzPOPL01-revised.pdf/igarashi01generic.pdf>>, ACM, 2000, pp. 1-14.
“Interworking Between CORBA and TMN Systems Specification”, retrieved at http://www.omg.org/docs/formal/00-08-01.pdf>>, OMG, Version 1.0, Aug. 2000, pp. i

Affiliated with

Also associated with

Rating

Stabilization of distributed systems does not yet have a rating. At this time, there are no reviews or comments for this patent.

If you have personal experience with Stabilization of distributed systems, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Stabilization of distributed systems will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFUS-PAI-O-4153006