...
机译:ORM中动态约束和派生规则的形式语义
University of Groningen, Groningen, The Netherlands;
INTI International University, Nilai, Malaysia;
Data Modeling; Dynamic Constraints; Formal Semantics; Object-Role Modeling; Temporal Rules;
机译:使用语义网技术的RBAC约束的可视化建模和形式化规范
机译:使用正式语义对基于规则的模型进行注释,以实现创建,分析,重用和可视化
机译:Gaia活动规则和表达式的形式语义
机译:ORM中动态规则的形式语义
机译:并发系统和语言的静态和动态形式分析:一种基于语义的方法。
机译:使用正式语义对基于规则的模型进行注释以实现创建分析重用和可视化
机译:ORm中动态规则的形式语义