Please note that the logic applied here depends on the structure of the domain model, and as the level and number of attributes increase, the complexity of conversion increases in the action class.
注意,这里适用的逻辑取决于域模型的结构,随着属性的级别和数量增加,操作类中的转换的复杂性也相应增加。
These Action classes provide an interface to the application's Model layer, acting as a wrapper around the business logic.
这些action类为应用程序的model层提供了一个接口,充当围绕业务逻辑的包装器。
In order to describe the process of multi action commitments and uncommitments, the concept of transition between model state pairs in action dynamic logic was introduced.
通过引入动态逻辑中模型状态迁移概念以及相关谓词来描述多动作承诺与取消承诺时各模型状态变化及相应处理 。
应用推荐