...的概念所取代,关于这种动态真的概念,公式可以随 系统的状态演化而改变其真值,在模型验证中,模型M是迁移系统(transition systems),而性质i2j是时态逻辑公式。
基于38个网页-相关网页
同时，以模块化的状态迁移系统 （Modular Transition System）作为基本计算模型，对该建模方法进行形式化描述，给出了模型元素及建模过程的精确语义。
基于8个网页-相关网页
文献［7】使用一种标记迁移系统（LabelTransition System，LTS） 对工作流进行建模，使用模型检测工具TRACTA对模型进行的安全性、活性进 行验证。
基于2个网页-相关网页
标号迁移系统 Labeled Transition System ; LTS
生成标号迁移系统 Labeled Transition System ; LTS
了标号迁移系统 LabelledTransition System ; LTS
系统迁移 migrationsystem ; migracja systemu ; systeemmigratie
离子迁移量测系统 Ion migration test
虚拟化系统迁移管理 Paragon Virtualization Manager
系统迁移软件 Acronis True Image
迁移方程系统 Transport equation system
迁移工作流系统 migrating workflow system
这个迁移系统会透明地工作，不需要修改现有的应用程序。
This system of mitigation works transparently, requiring no change to existing applications.
在迁移系统测试环境中学习迁移规则，它也允许您犯错。
Use the migration of a system test environment to learn the ropes and make mistakes.
SaaS在推广it的“空心化”：公司有迁移系统的需求却不需要相应的专家。
SaaS promotes the "hollowing out" of IT: a firm that needs to migrate to another system will no longer have the required expertise.
应用推荐