标题： 基于参考设计的约束建模 显示英文标题

标题： Constraint based Modeling according to Reference Design

摘要： 以最佳实践形式的参考模型是确保知识的重要元素，用于设计复用。 流行建模方法没有提供以支持方式嵌入参考模型的机制，更不用说一个参考模型库了。 因此，很难从中受益。 问题在于参考模型没有被正式描述到足以在开发解决方案时提供帮助的程度。 因此，挑战在于过程，即如何支持用户在参考模型的帮助下设计专用解决方案。 在本文中，我们提出了一种使用语义技术对参考模型进行正式描述的通用方法及其应用。 我们的建模助手允许使用基于参考构建块的不同技术来构建解决方案模型。 该环境使随后能够根据参考模型验证所开发的设计是否符合要求。 因此，我们的参考建模助手突出了相互依赖性。 这些技术的应用有助于需求的正式化，并最终在成熟度模型背景下实现质量保证。 在系统设计的上下文中可以使用多个参考模型。 该方法在工业领域进行了评估，并可以集成到不同的建模环境中。 显示英文摘要

摘要： Reference models in form of best practices are an essential element to ensured knowledge as design for reuse. Popular modeling approaches do not offer mechanisms to embed reference models in a supporting way, let alone a repository of it. Therefore, it is hardly possible to profit from this expertise. The problem is that the reference models are not described formally enough to be helpful in developing solutions. Consequently, the challenge is about the process, how a user can be supported in designing dedicated solutions assisted by reference models. In this paper, we present a generic approach for the formal description of reference models using semantic technologies and their application. Our modeling assistant allows the construction of solution models using different techniques based on reference building blocks. This environment enables the subsequent verification of the developed designs against the reference models for conformity. Therefore, our reference modeling assistant highlights the interdependency. The application of these techniques contributes to the formalization of requirements and finally to quality assurance in context of maturity model. It is possible to use multiple reference models in context of system of system designs. The approach is evaluated in industrial area and it can be integrated into different modeling landscapes.