Specifying object behaviors by actions and attributes

摘要

Advanced applications such as computer-aided cooperation ned to deal with behavioral properties of data in addition to their structures. Semantic modeling of object behaviors together with that of structures is sorely required. A well-designed object description language based on the modeling mechanism is quite useful as a tool for such aplications. Our work investigates the theory, implementation, and applications of semantic modeling of object behaviors. With actions and attributes as primitives, object behaviors such as interaction, synchronization, and transaction are investigated. An object description language is proposed. Examples are given to show the power of the approach.