Symbolic program model compositions

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 s...

Full description

Saved in:
Bibliographic Details
Main Authors KICILLOF NICOLAS, GRIESKAMP WOLFGANG, SCHULTE WOLFRAM, TILLMANN NIKOLAI, VEANES MARGUS, CAMPBELL COLIN L
Format Patent
LanguageEnglish
Published 19.07.2007
Subjects
CALCULATING
COMPUTING
COUNTING
ELECTRIC DIGITAL DATA PROCESSING
PHYSICS
Online AccessGet full text

Cover

More Information
Summary: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.
Bibliography:Application Number: US20050322781