动态适应服务的形式化模型
A Formal Model for Dynamically Adaptable Services
摘要：
软件系统的复杂性不断增加，其操作环境的条件不断变化，这就要求系统具有更高的灵活性、适应性和可靠性。面向服务的计算范式被广泛用于支持这样的自适应系统，并且在许多领域中，自适应可以动态地并且实时的发生。此外，可以使用来自异构的、可能未知的源的服务。这激发了一种需要，以确保正确的行为的适应系统，并继续遵守时间界限和其他QoS属性。动态适应（DA）的复杂性是显着的，但目前还没有得到很好的理解或正式规定。本文阐述了一个有根据的DA模型和理论，介绍了使用COWS编写的形式主义。该模型的可靠性和响应特性与模型检查CMC评估。
英文摘要：
The growing complexity of software systems as well as changing conditions in their operating environment demand systems that are more flexible, adaptive and dependable. The service-oriented computing paradigm is in widespread use to support such adaptive systems, and, in many domains, adaptations may occur dynamically and in real time. In addition, services from heterogeneous, possibly unknown sources may be used. This motivates a need to ensure the correct behaviour of the adapted systems, and its continuing compliance to time bounds and other QoS properties. The complexity of dynamic adaptation (DA) is significant, but currently not well understood or formally specified. This paper elaborates a well-founded model and theory of DA, introducing formalisms written using COWS. The model is evaluated for reliability and responsiveness properties with the model checker CMC.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
