I advertise the above approach as a way to formally describe your system's conceptual and application architecture.
我一直在鼓吹上述方法可以作为正式描述系统概念与应用程序架构的一种方法。
If we want to describe an architecture formally and correctly, we need to put validation rules into place that constrain the model even further than what can be expressed via the grammar.
如果我们要正式而且准确的描述一个架构,除了语法,我们还需要实施验证规则,对模型进行约束。
Until now, it has been widely researched, but few can effectively formally model and describe with threat, reward and appeal, which are the most important kinds of argumentation.
目前已经有文献对此作了一定程度的研究,然而较少有对其中客观存在的威胁、奖励和申辩进行有效地形式化建模和描述。
应用推荐