文章基本信息

标题：Program Verifications, Object Interdependencies, and Object Types
本地全文：下载
作者：Cong-Cong Xing
期刊名称：e-Informatica Software Engineering Journal
印刷版ISSN：1897-7979
电子版ISSN：2084-4840
出版年度：2007
卷号：1
期号：1
出版社：Wroclaw University of Technology
摘要：Object types are abstract specifications of object behaviors; object behaviors are abstractly indicated by object component interdependencies; and program verifications are based on object behaviors. In conventional object type systems, object component interdependencies are not taken into account. As a result, distinct behaviors of objects are confused in conventional object type systems, which can lead to fundamental typing/subtyping loopholes and program verification troubles. In this paper, we first identify a program verification problem which is caused by the loose conventional object typing/subtyping which is in turn caused by the overlooking of object component interdependencies. Then, as a new object typing scheme, we introduce object type graphs (OTG) in which object component interdependencies are integrated into object types. Finally, we show how the problem existing in conventional object type systems can be easily resolved under OTG.