杰克

JACK:一个用Java实现进程代数的框架。并发程序的构造特别复杂,这主要是因为它们的执行固有的不确定性,这使得测试场景很难重复。过程代数已经被用来设计和推理这些程序。本文提出了一种使用一组进程代数结构来开发并发程序的方法,该结构在Java中作为面向对象的框架实现,称为JACK。该框架的主要目标是设计和实现过程代数结构,尽可能自然地提供代数习语作为Java的扩展包。这项工作强调使用设计模式和模式语言来正确地构建这样的框架,从而达到预期的软件工程属性和软件质量要求。JACK框架的用户能够用Java描述它的过程规范。

此软件的关键字

这里的任何内容都将在支持canvas元素的浏览器上被替换


zbMATH中的参考文献(参考文献3条)

显示结果1到3,共3个。
按年份排序(引用)

  1. 弗雷金,贝诺ît;Frappier,Marc:过程表达式的有效符号计算(2009)
  2. 弗雷塔斯,利奥;伍德考克,吉姆;安娜州卡瓦尔坎蒂:富州模型检查(2006年)ioport公司
  3. 弗雷塔斯,利奥;伍德考克,吉姆;安娜州卡瓦尔坎蒂:富州模型检查(2006年)ioport公司