叙利亚

合作对象:原理、使用和实现它不再与赞扬面向对象方法和Petri网理论的质量有关。在其应用领域中,每一个都被证明是一个强大的框架。然而,将它们联系到一个概念框架中是一个挑战,这个框架将两种方法的表达能力结合起来,同时保持各自的优点。而且,必须证明,这样的形式主义是可以稳妥有效地实施的。本文是对合作对象形式主义的全面介绍。这种形式主义包含了Petri网和面向对象方法的理论和实用特性,并将它们的概念进行了彻底的整合。它同样适用于开放分布式系统的规范和验证以及它们的实现。其基本思想是Petri网将数据对象作为令牌处理,而活动对象的行为则由Petri网定义。本文还通过对SYROCO对象的协同表示,提出了一种协同对象的解决方案。