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.
翻译:以最佳实践形式存在的参考模型是确保设计可重用性知识的关键要素。当前主流建模方法缺乏以支持性方式嵌入参考模型的机制,更遑论建立参考模型库。因此,很难从这类专业知识中获益。问题的核心在于参考模型缺乏足够的形式化描述,难以在解决方案开发过程中提供有效支持。由此产生的挑战在于:如何通过流程设计,使用户在参考模型的辅助下开发定制化解决方案时获得系统性支持。本文提出一种通用方法,利用语义技术对参考模型进行形式化描述并实现其应用。我们的建模助手支持基于参考构建块,运用多种技术构建解决方案模型。该环境能够对开发的设计方案进行后续验证,确保其符合参考模型的规范要求。因此,我们的参考建模助手着重强调了系统间的相互依存关系。这些技术的应用有助于需求的形式化表达,并最终在成熟度模型框架下实现质量保证。该方法支持在系统之系统设计场景中应用多重参考模型。本方法已在工业领域得到验证,并可集成至不同的建模体系之中。