Software system modeling is another key content of this dissertation, which incarnates the explicit authorization mechanism completely and definitely.
软件系统的建模是这一部分的重点内容，它更加完整明确地体现了显式授权机制的应用。
Modeling for execution is not a new concept, as this approach has been used in traditional software and system development for a while.
为执行建模并不是一个新概念，因为这种方式已经在传统的软件和系统开发中被用了有一些时间了。
Formal documentation of system semantics (through modeling) will increase software quality and extend the useful lifetime of designs (thereby increasing ROI).
系统语义的正式文档(通过建模)将提高软件质量，延长设计的有效生命周期(从而提高roi)。
应用推荐