一种类型安全的自适应对象组模型
A Type-Safe Model of Adaptive Object Groups
摘要：
服务是自治的、自描述的、技术中立的软件单元，可以在运行时描述、发布、发现和组合到软件应用程序中。为了形成应用程序或组合服务而设计软件服务和组合服务需要的抽象超出了典型的面向对象程序设计语言中的抽象。本文探讨了面向服务的抽象，如服务适应，发现，并在面向对象的设置查询。我们开发了一个正式的模型，自适应面向对象的群体提供服务，他们的环境。这些组直接适合于面向对象的范例，因为它们可以动态创建，它们具有标识，并且它们可以接收方法调用。与对象相反，组不用于结构化代码。组通过接口导出其服务，并依赖于对象来实现这些服务。对象可以加入或离开不同的组。组可以动态地导出新的接口，它们支持服务发现，并且可以在运行时查询它们支持的接口。我们定义了一个操作语义和一个静态类型系统的自适应对象组的模型，并表明，良好的类型的程序不会导致方法不理解的错误在运行时。
英文摘要：
Services are autonomous, self-describing, technology-neutral software units that can be described, published, discovered, and composed into software applications at runtime. Designing software services and composing services in order to form applications or composite services requires abstractions beyond those found in typical object-oriented programming languages. This paper explores service-oriented abstractions such as service adaptation, discovery, and querying in an object-oriented setting. We develop a formal model of adaptive object-oriented groups which offer services to their environment. These groups fit directly into the object-oriented paradigm in the sense that they can be dynamically created, they have an identity, and they can receive method calls. In contrast to objects, groups are not used for structuring code. A group exports its services through interfaces and relies on objects to implement these services. Objects may join or leave different groups. Groups may dynamically export new interfaces, they support service discovery, and they can be queried at runtime for the interfaces they support. We define an operational semantics and a static type system for this model of adaptive object groups, and show that well-typed programs do not cause method-not-understood errors at runtime.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
