Difference between revisions of "T-VEC Tablular Modeler"

From T-VEC Wiki
Jump to: navigation, search
(Latest Features)
Line 88: Line 88:
 
* Race Condition Checking
 
* Race Condition Checking
 
** Verifies that no transitions from a common source state can occur simultaneously.  
 
** Verifies that no transitions from a common source state can occur simultaneously.  
 +
* String support
 +
:A "string" is now a base level data type. It is an ascii character string. Inputs, constants, terms tables, and output tables can all be declared to be a "string" type. Structure elements can also be of a "string" type. String types can be compared for equality ("abc" = "abc") and inequality ("abc" != "abc") and they may be concatenated ("abcdef" = "abc" + "def").
 +
 +
:Strings are useful, for example, when the requirements being captured in TTM involve actual text messages rather than number, boolean, or enumerated types oriented data.
 +
 +
:This is just the initial version of support for strings. There are ongoing efforts to extend these capabilities. For example, additional functionality will likely include string < or > comparisons (collating sequence relationships) and regular expression comparisons ("abc" =~ "a.+b") and other forms of string oriented relationships and operations.
 +
 
The [[Examples|Examples]] section covers some general approaches that take advantage of the latests TTM features, which are important to using modeling from a project and team oriented perspective.
 
The [[Examples|Examples]] section covers some general approaches that take advantage of the latests TTM features, which are important to using modeling from a project and team oriented perspective.
 +
 
==Guidelines==
 
==Guidelines==
 
The following provides a few guidelines for modeling.
 
The following provides a few guidelines for modeling.

Revision as of 13:55, 22 June 2008