11],实时Maude是一种基于重写逻辑(rewriting logic)的实时系统建模语言,在转换方面,研究子集和转换规则主要采用自然语言进行描述.
基于2036个网页-相关网页
...方法在SOA(Service Objected Architecture)软件以及关键软件中的测试和可靠性分析；本体(Ontology)技术和重写逻辑(Rewrite logic)在知识管理中的应用；形式化方法与Web服务
基于16个网页-相关网页
车间重写逻辑及其应用 WRLA
该文提出了一种基于代数重写逻辑的UML模型一致性检查的方法。
This paper proposes a method of checking the consistency of a UML model based on the algebraic rewriting logic.
然后，您可以自由地扩展、替换、或重写数据绑定逻辑。
You then have the freedom to extend, replace, or rewrite the data binding logic.
此外，由于将来可以使用新的REST和mvc框架，实现它们变得更加容易，无需重写业务逻辑层。
In addition, as new REST and MVC frameworks become available in the future, it is easier to implement them without rewriting the business logic layer.
应用推荐