.png){kind=icon}
返回
On behavioral descriptions in object-oriented modeling
.png){kind=icon}
PRE
AI
DOI：10.1016/0164-1212(95)00069-0.png)
.png){kind=icon}
原文求助.png){kind=icon}
分享.png){kind=icon}
收藏
摘要
En 中文
In the past decade, object-oriented programming has come to be considered a panacea for all computing headaches. We view object orientation as a modeling paradigm, first and foremost. We attempt to provide a formal characterization of objects' behaviors as a step toward the formal analysis and validation of object-oriented systems. In particular, we address the following questions: (1) what should be the scope of objects' behavior? (2) what are the desirable functional properties of behaviors? and (3) what implicit and explicit behavioral composition paradigms need to be supported by an object-oriented model? Unfortunately, but expectedly, the answers to these questions rely on some formal proofs, but also on common sense and general software engineering principles. In particular. we argue that all that an object-oriented model needs to support for behavioral specifications are (1) purely functional behaviors, with no side-effects on the objects implementing them; (2) purely side-effectal behaviors, whose effects are restricted to the implementer and its components; and (3) constraints (between objects). An object-oriented model based on these principles has proven valuable for predicting the behavioral properties of object-oriented systems. The model is briefly discussed.
AI总结
对已上传原文的论文进行重点信息的提取，主要内容包括：简要概述、研究摘要、背景介绍、关键亮点、图文解析、展望与总结。
期刊
IF:
4.1
论文数:
5.4K
被引数:
8.4K
机构
暂无机构信息
.png){kind=icon}
