composition (the internal actor roles, i.e. the actor roles within the border of the organisation), the environment (i.e. the actor roles outside the border of the organisation that have interaction with internal actor roles), the interaction structure (i.e. the transaction kinds between the actor roles in the composition, and between these and the actor roles in the environment), and the interstriction structure (i.e. the information links from actor roles in the composition to internal transaction kinds and to external transaction kinds). The CM of an organisation is represented in an Organisation Construction Diagram (OCD), a Transaction Product Table (TPT), and a Bank Contents Table (BCT). Process Model The Process Model (PM) of an organisation is the ontological model of the state space and the transition space of its coordination world. Regarding the state space, the PM contains, for all internal and border transaction kinds, the process steps and the existence laws that apply, according to the complete transaction pattern. Regarding the transition space, the PM contains the coordination event kinds as well as the applicable occurrence laws, including the cardinalities of the occurrences. The occurrence laws within a transaction process are fully determined by the complete transaction pattern. Therefore, a PSD contains only the occurrence laws between transaction processes, expressed in links between process steps. There are two kinds: response links and waiting links. A PM is represented in a Process Structure Diagram (PSD), and a Transaction Pattern Diagram (TPD) for each transaction kind. In these diagrams it is indicated which ‘exceptions’ will be dealt with. Action Model The Action Model (AM) of an organisation consists of a set of action rules. There is an action rule for every agendum kind for every internal actor role. The agendum kinds are determined by the TPDs of the identified transaction kinds (see PM). An action rule consists of an event part (the event(s) to respond to), an assess part (the facts to be inspected), and a response part (the act(s) to be performed. An AM is represented in Action Rule Specifications (ARS) and Work Instruction Specifications (WIS). Fact Model The Fact Model (FM) of an organisation is the ontological model of the state space and the transition space of its production world. Regarding the state space, the FM contains all identified fact kinds (both declared and derived), and the existence laws. Three kinds of existence laws are specified graphically: reference laws, unicity