发明授权
- 专利标题: Symbolic program model compositions
- 专利标题(中): 符号程序模型组成
-
申请号: US11322781申请日: 2005-12-30
-
公开(公告)号: US07926025B2公开(公告)日: 2011-04-12
- 发明人: Colin L. Campbell , Margus Veanes , Nicolas Kicillof , Nikolai Tillmann , Wolfgang Grieskamp , Wolfram Schulte
- 申请人: Colin L. Campbell , Margus Veanes , Nicolas Kicillof , Nikolai Tillmann , Wolfgang Grieskamp , Wolfram Schulte
- 申请人地址: US WA Redmond
- 专利权人: Microsoft Corporation
- 当前专利权人: Microsoft Corporation
- 当前专利权人地址: US WA Redmond
- 代理机构: Klarquist Sparkman, LLP
- 主分类号: G06F9/44
- IPC分类号: G06F9/44
摘要:
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.
公开/授权文献
- US20070168927A1 Symbolic program model compositions 公开/授权日:2007-07-19