当前位置: X-MOL 学术Syst. Eng. › 论文详情
Our official English website, www.x-mol.net, welcomes your feedback! (Note: you will need to create a separate account there.)
Toward a better integration of requirements and model‐based specifications
Systems Engineering ( IF 2 ) Pub Date : 2020-10-05 , DOI: 10.1002/sys.21560
Benoît Lebeaupin 1 , Antoine Rauzy 2
Affiliation  

As of today, most specifications of technical systems still rely on requirements written in natural language. However, this approach is known to be problem‐prone, due to the inherent ambiguity of natural languages. On the other hand, fully formal or model‐based approaches seem to be out of reach in many practical cases, especially in early design phases of systems. In this article, we study how to combine in a pragmatic way natural language requirements with models. We propose to keep both formats and to link pieces of text in requirements with elements of models. In other words, corpuses of requirements are managed as hypertexts with links to models. For this approach to be fully efficient, the text of requirements is not free, but relies on controlled natural language techniques leading to a partial structuring of the text. We show that this makes it possible to design (semi)automatic verifications on requirements and models, which would be impossible with unconstrained natural language. We illustrate here our approach on a small illustrative example and we report results obtained on a full size industrial application.

中文翻译:

更好地整合需求和基于模型的规范

截止到今天,大多数技术系统规范仍然依赖以自然语言编写的要求。但是,由于自然语言固有的歧义性,因此这种方法容易出现问题。另一方面,在许多实际情况下,尤其是在系统的早期设计阶段,完全形式化或基于模型的方法似乎是遥不可及的。在本文中,我们研究如何以务实的方式将自然语言需求与模型相结合。我们建议保留两种格式,并将需求中的文本片段与模型元素链接在一起。换句话说,需求语料库被作为具有模型链接的超文本进行管理。为了使这种方法完全有效,需求文本不是免费的,而是依赖于受控的自然语言技术,从而导致文本的部分结构化。我们证明,这使设计和验证需求和模型的(半)自动验证成为可能,这对于不受约束的自然语言是不可能的。我们在这里以一个小的示例性例子来说明我们的方法,并报告在全尺寸工业应用中获得的结果。
更新日期:2020-11-09
down
wechat
bug