%0 Journal Article
%T Final Coalgebraic Semantics for Behavioral Equality of Objects<br>对象行为等价的终结共代数语义
%A 余珊珊
%A 李师贤
%A 苏锦宝田
%J 计算机科学
%D 2012
%I 
%X 终结共代数上的互模拟是等价关系，这一性质为对象的行为等价提供了一种基于共归纳原理的证明方法。 首先，利用共代数给出面向对象方法中的抽象类、类和对象的形式化描述，其中抽象类被定义为一个包含方法和断言 声明的类规范，类被定义为满足类规范的共代数，类的各个对象看成是共代数状态空间上的元素，而对象中方法的各 种行为结构则通过强Monads进行参数化描述;接着，利用类规范的终结共代数给出对象行为等价关系的证明方法以 及在各种不同Monads结构下的终结共代数语义;最后，通过实例说明如何利用PVS工具对研究结果进行验证。
%K Objects
%K Behavioral equivalence
%K Coalgebraic methods
%K Final coalgebras
%K Strong Monads<br>对象，行为等价，共代数方法，终结共代数，强Monads
%U http://www.alljournals.cn/get_abstract_url.aspx?pcid=5B3AB970F71A803DEACDC0559115BFCF0A068CD97DD29835&cid=8240383F08CE46C8B05036380D75B607&jid=64A12D73428C8B8DBFB978D04DFEB3C1&aid=A72829DDE955E0D267DA7478F9A73D1E&yid=99E9153A83D4CB11&vid=7C3A4C1EE6A45749&iid=0B39A22176CE99FB&sid=DD74772618543076&eid=50BBDFAC8381694B&journal_id=1002-137X&journal_name=计算机科学&referenced_num=0&reference_num=16