"... In PAGE 4: ... Sorts of the language Table 2 gives an overview of the possible sorts to specify the elements of an organiza- tion. From a structural perspective, some of these sorts relate to the each other through the predicates of Table3 . These predicates specify the groups in the organizations, the roles in the groups, the agents allocated to these roles, and the communication between ... ..."

"... In PAGE 10: ... A specification of dynamic properties in leads to format has as advantages that it is executable and that simulation results can be depicted graphically. Table3 shows the predicates within the Behavioral Language BL which allows the specification of the behavioral part of the organization at different aggregation levels, using the TTL language as described above. The sort DYNPROP expresses an identifier of a dynamic property whereas DYNPROPEXP expresses the dynamic property itself in terms of TTL.... ..."

"... In PAGE 4: ... D contains all hands and blocks we might encounter. There are three force-dynamic state predicates and eight observa- tion features, shown in Table1 . Figure 1 depicts two distinct force-dynamic states.... ..."

"... In PAGE 8: ...2 The description of the dynamics within an organisation The description of the dynamics within an organisation is another issue when wanting to specify an organisation. The properties of the organisation that determine these dynamics can be described using the BL language defined in Table3 . Two additional sorts have been used compared to the sorts used within SL, namely DYNPROP, denoting the name of a specific property, and DYNPROPEXP which is defined below.... In PAGE 8: ... In this case the subscript L can be dropped since a specific choice for Temporal Trace Language [7] has been made. The definitions of the different types of dynamic properties are more restricted than is shown in Table3 , therefore additional constraints need to be identified. For this, let ONT be a set of (state) ontologies, and O the organisation structure, ONT(O) is defined as the set of ontologies within O.... In PAGE 8: ...The predicates that have been defined in Table3 simply contain the necessary information that is needed to identify the party (or parties) of which the dynamics is specified. Based on the definition of the DYNPROPEXP it is possible to put more constraints on particular types of properties.... ..."

"... In PAGE 5: ... The core predicates for the data language include classes, subclasses, instances, attributes, properties, constraints and relations; some which have been represented symbolically as functions, such as boolean arithmetic functions equal, greater than, less equal and so on. Table1 contains the main predicates contained within the FBPML Data Language. Meta-predicates.... In PAGE 9: ... In FBPML DL, two types of constraints are provided, static and dynamic constraints. The syntax for these predicates are provided in Table1 . A static con- straint is a hard constraint.... ..."

"... In PAGE 4: ... To correct this problem, we have modi ed the priority function as follows to re ect frequency infor- mation using the predicate expression: P riority(lr) = X lr2HB1::HBn (Di ST COST P R(Di) + Ui LD COST P R(Ui)) wi where P R(x) is the fraction of the time the variable access actually occurs due to predica- tion. Table4 shows dynamic number of instruc- tions (spill code) added due to register alloca- tion for predicate-aware priority function and predicate-unaware priority function. The two priority function for register allocation have been tested on a number of benchmarks.... ..."