Jirun Dong

Learn More
This paper presents a formal transformational process-based approach to object-oriented design. This approach uses a process language that allows us to represent the changes of the object models through the design process and, in particular, the changes induced by the application of design patterns. The approach is illustrated through a small example(More)
The recently introduced notion of order dependency in the relational model is generalized to include situations where order dependency is satisfied in an approximate way. Two fundamental types of approximate satisfaction are distinguished and analyzed. It is shown for both types that such approximate satisfaction of order dependencies can be applied to(More)
  • 1