loading...
 This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
Third IEEE Workshop on Mobile Computing Systems and Applications (WMCSA'00)
Toward interoperable data synchronization with COSMOS
Monterey, California
December 07-December 08
ISBN: 0-7695-0816-2
N.H. Cohen, IBM Thomas J. Watson Res. Center, Yorktown Heights, NY, USA
A. Purakayastha, IBM Thomas J. Watson Res. Center, Yorktown Heights, NY, USA
COSMOS (Co-Operative State Machines for Object Synchronization) is a method for specifying the behavior of a synchronizable data store by modeling the data store as a state machine. Such a model can be used to define a standard for interoperable data synchronization systems, defining the sequence of messages sent and received during synchronization without constraining the implementation of a conforming system. COSMOS models can be collected, studied and categorized, allowing a synchronization scheme with the properties appropriate for a given application to be selected from a catalog. Alternatively, for pre-existing synchronization systems built without a common standard, COSMOS models can serve as a specification for an adapter allowing the systems to interoperate.
Index Terms:
open systems; synchronisation; finite state machines; cooperative systems; formal specification; concurrency control; interoperable data synchronization; COSMOS; cooperative state machines; object synchronization; synchronizable data store behaviour specification; message sequence; conforming system; catalog; adapter
Citation:
N.H. Cohen, A. Purakayastha, "Toward interoperable data synchronization with COSMOS," wmcsa, pp.138, Third IEEE Workshop on Mobile Computing Systems and Applications (WMCSA'00), 2000
Usage of this product signifies your acceptance of the Terms of Use.