时隙

TimeSeQue:用逻辑时间对待你的模型。TimeSqQuE是用于规范、分析和验证因果和时间约束的Eclipse和基于模型的环境。它实现了MARTE时间模型及其规范语言——时钟约束规范语言(CCSL)。MARTE和CSCL都严重依赖逻辑时间,通过在分布式系统和同步语言中的使用而广受欢迎。逻辑时间提供了一种功能性的、弹性的(可以是抽象的或精炼的)和多种形式的放松的时间形式。TimeSqQueS基于最新的模型驱动技术,使得其代码的60%以上自动生成。它提供了一个基于XTeX的约束编辑器,一个多时钟时钟演算引擎,能够处理符合一组约束的偏序,并且它支持多个仿真策略。它被设计成连接到多个后端,被开发为新的插件以产生时序图、动画UML模型或执行Java代码。


ZBMaCT中的参考文献(4篇文章中引用)

显示结果1至4的4。
按年份排序(引文

  1. 张,Min;Mallet,F.E.DIERIC:时钟约束规范语言的可执行语义及其应用(2016)
  2. 陈,Yanwen;陈,Yixiang;马德兰,埃里克:定时PNET:分布式系统的通信行为语义模型(2015)
  3. Mallet,弗雷德里克;Zholtkevych,Grigry:时钟约束规范语言的GueGuric语义模型(2015)
  4. 迪安托尼,朱利安;Mallet,弗雷德里克:TimeSeQue:用逻辑时间对待你的模型(2012)伊波尔特