Behavior-consistent specialization of object life cycles Export

@article{citeulike:4059418, abstract = {Object-oriented design methodologies represent the behavior of instances of an object type not merely by a set of operations, but also by providing an overall description on how instances evolve over time. Such a description is often referred to as "object life cycle."Object-oriented systems organize object types in hierarchies in which subtypes inherit and specialize the structure and behavior of their supertypes. Past experience has shown that unrestricted use of inheritance mechanisms leads to system architectures that are hard to understand and to maintain, since arbitrary differences between supertype and subtype are possible. Evidently, this is not a desirable state of affairs and the behavior of a subtype should specialize the behavior of its supertype according to some clearly defined consistency criteria. Such criteria have been formulated in terms of type systems for semantic data models and object-oriented programming languages. But corresponding criteria for the specialization of object life cycles have so far not been thoroughly investigated.This paper defines such criteria in the realm of Object Behavior Diagrams, which have been originally developed for the design of object-oriented databases. Its main contributions are necessary and sufficient rules for checking behavior consistency between object life cycles of object types in specialization hierarchies with multiple inheritance.}, address = {New York, NY, USA}, author = {Schrefl, Michael and Stumptner, Markus}, citeulike-article-id = {4059418}, citeulike-linkout-0 = {http://portal.acm.org/citation.cfm?id=504091}, citeulike-linkout-1 = {http://dx.doi.org/10.1145/504087.504091}, doi = {10.1145/504087.504091}, issn = {1049-331X}, journal = {ACM Trans. Softw. Eng. Methodol.}, keywords = {2002, refinement, statecharts}, number = {1}, pages = {92--148}, posted-at = {2009-02-16 17:15:59}, priority = {2}, publisher = {ACM}, title = {Behavior-consistent specialization of object life cycles}, url = {http://dx.doi.org/10.1145/504087.504091}, volume = {11}, year = {2002} }

TY - JOUR ID - citeulike:4059418 L3 - citeulike-article-id:4059418 N2 - Object-oriented design methodologies represent the behavior of instances of an object type not merely by a set of operations, but also by providing an overall description on how instances evolve over time. Such a description is often referred to as "object life cycle."Object-oriented systems organize object types in hierarchies in which subtypes inherit and specialize the structure and behavior of their supertypes. Past experience has shown that unrestricted use of inheritance mechanisms leads to system architectures that are hard to understand and to maintain, since arbitrary differences between supertype and subtype are possible. Evidently, this is not a desirable state of affairs and the behavior of a subtype should specialize the behavior of its supertype according to some clearly defined consistency criteria. Such criteria have been formulated in terms of type systems for semantic data models and object-oriented programming languages. But corresponding criteria for the specialization of object life cycles have so far not been thoroughly investigated.This paper defines such criteria in the realm of Object Behavior Diagrams, which have been originally developed for the design of object-oriented databases. Its main contributions are necessary and sufficient rules for checking behavior consistency between object life cycles of object types in specialization hierarchies with multiple inheritance. IS - 1 JF - ACM Trans. Softw. Eng. Methodol. SN - 1049-331X AD - New York, NY, USA EP - 148 TI - Behavior-consistent specialization of object life cycles PB - ACM VL - 11 SP - 92 KW - 2002 KW - refinement KW - statecharts AU - Schrefl, Michael AU - Stumptner, Markus PY - 2002/// UR - http://dx.doi.org/10.1145/504087.504091 ER -