Properties Language $L_{PROP}$

To use properties and actions within a formal model one has to introduce a language which allows to represent properties and actions symbolically. The formal definition of such a property language $L_{PROP}$ is given in paragraph 6.1. The basic idea is, that static properties are represented by names given as simple strings beginning with an uppercase letter followed by lower case letters. Static relations between static properties can be represented by representational signs like $\{<, >, =, \ne \le, \ge \}$. Combinations of names connected by static relations are also accepted as properties. Having the base sets of names and relations one can generate the power set of all possible combinations of these as $2^{L_{PROP}}$. Elements are then either simple names or names combined with a relational sign.