I坐标

摘要： Catalysis 以3个建模概念为基础，同时用框架来描述3个概念的之间的递归模式。3个概念分别是：1、类型（Type）一个对象的外部行为。类型通过指定对象的外部可见行为来定义对象。然而，类描述的是对象的一种实现方式，类型不涉及实现；针对相同的类型规范，可以有多种实现。Catalysis中的类型模型精确描述了行为，定义所有正确的实现的状态及输入或输出参数。2、协作（Collaboration）一组... 阅读全文