Static Semantics

 

 

 

Static semantics refer to the well-formedness of constructs in the design patterns, and are specified as invariant conditions that must hold for any model created using the modeling luanguage.

 

 

In the example of rea-time scheduling systems, static semantic could be expressed as:

“Task duration must be specified”

 

 

Static semantics maintain constraints to ensure a given pattern is valid.