{"title":"Understanding object-model concepts","authors":"D. Embley","doi":"10.1145/260303.260364","DOIUrl":null,"url":null,"abstract":"ion produces models that hide detail, extract the essence of objects being modeled, and chunk concepts. Multiple levels of abstraction facilitate the presentation and management of varying amounts of T(x) => P(x) holds, where T is a type for an object n, which, if it holds, implies that certain properties P are true for X. The properties P are usually only signatures, not full semantics. Addendum to the Proceedings OOPSLA’93 137 Generalization/Specialization Given the predicates above for class and type, we can define generalization/specialization for classes and types as follows:","PeriodicalId":297156,"journal":{"name":"Addendum to the proceedings on Object-oriented programming systems, languages, and applications","volume":"28 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"1993-04-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"1","resultStr":null,"platform":"Semanticscholar","paperid":null,"PeriodicalName":"Addendum to the proceedings on Object-oriented programming systems, languages, and applications","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1145/260303.260364","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}
引用次数: 1
Abstract
ion produces models that hide detail, extract the essence of objects being modeled, and chunk concepts. Multiple levels of abstraction facilitate the presentation and management of varying amounts of T(x) => P(x) holds, where T is a type for an object n, which, if it holds, implies that certain properties P are true for X. The properties P are usually only signatures, not full semantics. Addendum to the Proceedings OOPSLA’93 137 Generalization/Specialization Given the predicates above for class and type, we can define generalization/specialization for classes and types as follows: