发明名称 Method and apparatus for formally specifying application-specific read/write consistency
摘要 A system for specifying read/write consistency for an application including an application including at least one transaction, wherein the at least one transaction includes at least one of a plurality of states, at least one of a plurality of transitions, and at least one artifact; and a database operatively connected to the application, wherein the application accesses data associated with the at least one artifact using a read/write consistency specification; wherein the read/write consistency specification specifies at least one selected from the group consisting of a read consistency and a write consistency for the at least one artifact within the transaction.
申请公布号 US7624108(B1) 申请公布日期 2009.11.24
申请号 US20030603884 申请日期 2003.06.25
申请人 SUN MICROSYSTEMS, INC. 发明人 GOLDBERG ROBERT N.;DANIELS BRUCE K.;KAMEN YURY;ALI SYED M.
分类号 G06F7/00;G06F17/30 主分类号 G06F7/00
代理机构 代理人
主权项
地址