Dynamic Constraints and Object Migration

  title={Dynamic Constraints and Object Migration},
  author={Jianwen Su},
A “role set” is the set of classes in a class hierarchy where an object may reside simultaneously. A “migration pattern” is a sequence of role sets that a n object can migrate through. We define a “migration inventory”, which is a set of migration pa tterns, as a dynamic integrity constraint on object migration. We consider three update la ngu ges: SL which has five operators, CSL+ which extends SL with positive conditionals, and CSL which a llows both positive and negative conditionals. Three… CONTINUE READING
Highly Cited
This paper has 60 citations. REVIEW CITATIONS

6 Figures & Tables



Citations per Year

60 Citations

Semantic Scholar estimates that this publication has 60 citations based on the available data.

See our FAQ for additional information.