The human mind is undoubtedly one of the most complicated entities in this world. The collection of processes that are performed by the human mind is indicated by cognition. Much progress has been made to allow scientists to understand this fundamental concept of mind. Formal analysis is one of the methods to unravel the mechanisms of mind. This is in line with the aim of cognitive modellers in their quest to explain the structures and the processes of the mind by building them. In this article, the foundations to develop a cognitive computational model will be discussed and a case study (model in anxiety state and traits) is presented as a basis to visualize those concepts (foundations). A number of well-known relations between events and the course of anxiety are summarized from the literature and it is shown that the model exhibits those patterns. In addition, the formal model has been mathematically analysed to find out which stable situations exist. Finally, it is pointed out how this model can be used in virtual simulation environment, supported by a software agent.