论文标题
部分可观测时空混沌系统的无模型预测
Towards Automatic Model Completion: from Requirements to SysML State Machines
论文作者
论文摘要
即使已经实现了自动开发过程中模型的中心性的模型驱动技术，由于管理模型生命周期的程序复杂性，大多数工业环境也不包含这种范式。本文提出了一种半自动方法，以完成关键系统的高级模型。该提案提出了一项规范指南，该指南从系统的部分系统（系统建模语言）模型开始，并以一组要求，以众所周知的行为驱动的设计范式表示。在此类要求的基础上，该方法可以自动生成SYSML状态机器片段。完成后，该方法还可以使建模器检查结果，以提高模型的质量，并避免因工具的错误解释以及模板本人的错误解释而产生的错误。从铁路域中取出的一个例子显示了该方法。
Even if model-driven techniques have been enabled the centrality of the models in automated development processes, the majority of the industrial settings does not embrace such a paradigm due to the procedural complexity of managing model life cycle. This paper proposes a semi-automatic approach for the completion of high-level models of critical systems. The proposal suggests a specification guidelines that starts from a partial SysML (Systems Modeling Language) model of a system and on a set of requirements, expressed in the well-known Behaviour-Driven Design paradigm. On the base of such requirements, the approach enables the automatic generation of SysML state machines fragments. Once completed, the approach also enables the modeller to check the results improving the quality of the model and avoiding errors both coming from the mis-interpretation of the tool and from the modeller himself/herself. An example taken from the railway domain shows the approach.
