{"title":"Specifying joint behavior of objects: formalization standardization","authors":"H. Kilov, Bellcore, Laura, Redmann","doi":"10.1109/SESS.1993.263948","DOIUrl":null,"url":null,"abstract":"To understand a large and complicated system, its specifier and user should be able to separate essential concerns from irrelevant details. To do that, specification of behavioral semantics-as opposed to just signatures (i.e., syntax)-is essential. Abstract and precise specifications are the corner stones of object modeling. However, object modeling has usually considered only behavior of isolated objects. Real-world enterprises do not consist only of isolated objects. It is the joint behavior of associated objects that defines the object model of the enterprise and therefore makes the business understandable. The paper show how semantics of an information model (the result of analyzing the system) can be specified in an abstract and precise manner, by reusing programming methodology concepts, and how this approach to specification is used in standardization activities.<<ETX>>","PeriodicalId":145783,"journal":{"name":"Proceedings 1993 Software Engineering Standards Symposium","volume":"1 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"1993-08-30","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"4","resultStr":null,"platform":"Semanticscholar","paperid":null,"PeriodicalName":"Proceedings 1993 Software Engineering Standards Symposium","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1109/SESS.1993.263948","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}
引用次数: 4
Abstract
To understand a large and complicated system, its specifier and user should be able to separate essential concerns from irrelevant details. To do that, specification of behavioral semantics-as opposed to just signatures (i.e., syntax)-is essential. Abstract and precise specifications are the corner stones of object modeling. However, object modeling has usually considered only behavior of isolated objects. Real-world enterprises do not consist only of isolated objects. It is the joint behavior of associated objects that defines the object model of the enterprise and therefore makes the business understandable. The paper show how semantics of an information model (the result of analyzing the system) can be specified in an abstract and precise manner, by reusing programming methodology concepts, and how this approach to specification is used in standardization activities.<>
京公网安备 11010802042870号
京ICP备2023020795号-1
分享
求助内容：
应助结果提醒方式：
扫码关注我们
