设计组件功能的严格描述：一种基于契约的方法
Rigorous Description Of Design Components Functionality: An Approach Based Contract
摘要：
当前的软件构件模型使得基于构件的软件工程成为现实。然而，这些模型是有限的，在这个意义上说，他们的支持特性/规格的设计组件主要处理语法问题。为了避免组件的错配和误用，需要更全面的软件组件规范。在本文中，我们提出了一种基于契约的方法来分析和建模的两个方面（功能和非功能）属性的设计组件和他们的组合，以检测和纠正组合错误。这种方法允许表征设计组件的结构，界面和行为方面。为了实现这一点，我们提出了一种模式契约语言，它捕获了与一系列模式相关的结构和行为需求，以及作为结果得到保证的系统属性。此外，我们建议使用的LOTOS语言作为正式这些方面的ADL。我们通过将其应用于标准设计来说明该方法
英文摘要：
Current models for software components have made component-based software engineering practical. However, these models are limited in the sense that their support for the characterization/specification of design components primarily deals with syntactic issues. To avoid mismatch and misuse of components, more comprehensive specification of software components is required, In this paper, we present a contract-based approach to analyze and model the both aspects (functional and non-functional) properties of design components and their composition in order to detect and correct composition errors. This approach permits to characterize the structural, interface and behavioural aspects of design component. To enable this we present a pattern contract language that captures the structural and behavioral requirements associated with a range of patterns, as well as the system properties that are guaranteed as a result. In addition, we propose the use of the LOTOS language as an ADL for formalizing these aspects. We illustrate the approach by applying it to a standard design
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
