自主构件的形式化语义
Toward a Formal Semantics for Autonomic Components
摘要：
自治管理可以提高并行/分布式应用提供的QoS。在CoreGRID组件模型中，自主管理被定制为组件组装的自动监控驱动的变更，因此被定义为（分布式）管理代码的效果。这项工作产生了一个语义的基础上超图重写适合建模的动态演化和非功能方面的面向服务的架构和基于组件的自主应用程序。在这方面，我们的主要目标是提供一个正式的描述，通常只有非正式指定的适应操作。我们认为，我们的方法更容易提高自主和自适应应用程序中的管理代码的抽象层次。
英文摘要：
Autonomic management can improve the QoS provided by parallel/ distributed applications. Within the CoreGRID Component Model, the autonomic management is tailored to the automatic - monitoring-driven - alteration of the component assembly and, therefore, is defined as the effect of (distributed) management code. This work yields a semantics based on hypergraph rewriting suitable to model the dynamic evolution and non-functional aspects of Service Oriented Architectures and component-based autonomic applications. In this regard, our main goal is to provide a formal description of adaptation operations that are typically only informally specified. We contend that our approach makes easier to raise the level of abstraction of management code in autonomic and adaptive applications.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
