公开(公告)号：US20070168927A1

公开(公告)日：2007-07-19

申请号：US11322781

申请日：2005-12-30

Applicant: Colin Campbell ,  Margus Veanes ,  Nicolas Kicillof ,  Nikolai Tillmann ,  Wolfgang Grieskamp ,  Wolfram Schulte

Inventor： Colin Campbell ,  Margus Veanes ,  Nicolas Kicillof ,  Nikolai Tillmann ,  Wolfgang Grieskamp ,  Wolfram Schulte

IPC: G06F9/44

CPC classification number: G06F8/10 ,  G06F11/3672

Abstract: A model composition environment can allow for description of fill or partial symbolic system behavior, as well as the combination of models of specific features into compound models. Compositional operators can include intersection, concatenation, substitution, alternating refinement, as well as a set of regular expression-like operators. Models called “action machines” can represent object-oriented, reactive programs, and an action machine may be composed with another action machine using a compositional operator. This can allow for testing of particular scenarios or behaviors.

Abstract translation: 模型组合环境可以允许对填充或部分符号系统行为的描述，以及将特定特征的模型组合到复合模型中。 组合运算符可以包括交集，连接，替换，交替细化，以及一组正则表达式运算符。 称为“动作机器”的模型可以表示面向对象的，反应性的程序，并且动作机器可以由使用组合操作符的另一动作机构组成。 这可以允许测试特定的场景或行为。

公开(公告)号：US07926025B2

公开(公告)日：2011-04-12

申请号：US11322781

申请日：2005-12-30

Applicant: Colin L. Campbell ,  Margus Veanes ,  Nicolas Kicillof ,  Nikolai Tillmann ,  Wolfgang Grieskamp ,  Wolfram Schulte

Inventor： Colin L. Campbell ,  Margus Veanes ,  Nicolas Kicillof ,  Nikolai Tillmann ,  Wolfgang Grieskamp ,  Wolfram Schulte

IPC: G06F9/44

CPC classification number: G06F8/10 ,  G06F11/3672

Abstract: A model composition environment can allow for description of fill or partial symbolic system behavior, as well as the combination of models of specific features into compound models. Compositional operators can include intersection, concatenation, substitution, alternating refinement, as well as a set of regular expression-like operators. Models called “action machines” can represent object-oriented, reactive programs, and an action machine may be composed with another action machine using a compositional operator. This can allow for testing of particular scenarios or behaviors.

Abstract translation: 模型组合环境可以允许对填充或部分符号系统行为的描述，以及将特定特征的模型组合到复合模型中。 组合运算符可以包括交集，连接，替换，交替细化，以及一组正则表达式运算符。 称为“动作机器”的模型可以表示面向对象的，反应性的程序，并且动作机器可以由使用组合操作符的另一动作机构组成。 这可以允许测试特定的场景或行为。