Computer Science

Permanent URI for this community

https://testres.nu.edu.kz/handle/123456789/510

Browse

Browsing Computer Science by Subject "Formal methods"

Now showing 1 - 3 of 3
  • Thumbnail Image
    ItemOpen Access
    BEHAVIOUR AND REASONING DESCRIPTION LANGUAGE (BRDL)
    (Software Engineering and Formal Methods, 2020) Cerone, Antonio
    In this paper we present a basic language for describing human behaviour and reasoning and present the cognitive architecture underlying the semantics of the language. The language is illustrated through a number of examples showing its ability to model human reasoning, problem solving, deliberate behaviour and automatic behaviour. We expect that the simple notation and its intuitive semantics may address the needs of practitioners from non matematical backgrounds, in particular psychologists, linguists and other social scientists. The language usage is twofold, aiming at the formal modelling and analysis of interactive systems and the comparison and validation of alternative models of memory and cognition.
  • Thumbnail Image
    ItemOpen Access
    A FORMAL MODEL FOR EMULATING THE GENERATION OF HUMAN KNOWLEDGE IN SEMANTIC MEMORY
    (From Data to Models and Back, 2021-03) Cerone, Antonio; Pluck, Graham
    The transfer of information processed by human beings from their short-term memory (STM) to their semantic memory creates two kinds of knowledge: a semantic network of associations and a structured set of rules to govern human deliberate behaviour under explicit attention. This paper focuses on the memory processes that create the first of these two kinds of knowledge. Human memory storage and processing are modeled using the Real-time Maude rewrite language. Maude’s capability of specifying complex data structures as many sorted algebras and the time features of Real-Time Maude are exploited for (1) providing a means for formalising alternative memory models, (2) modelling in silico experiments to compare and validate such models. We aim at using our model for the comparison of alternative cognitive hypothesis and theories and the analysis of interactive systems.
  • Thumbnail Image
    ItemOpen Access
    A FORMAL MODEL FOR THE SIMULATION AND ANALYSIS OF EARLY BIOFILM FORMATION
    (From Data to Models and Back, 2021-03-05) Cerone, Antonio; Marsili, Enrico
    Biofilms are structured communities of bacterial cells adherent to a surface. This bacterial state is called sessile. This paper focuses on the modelling of the transition between planktonic and sessile state using Real-time Maude as the modelling language. With more and more bacteria joining the sessile community, the likelihood of producing a biofilm increases. Once the percentage of bacterial cells that adheres to the surface reaches a threshold, which is specific for the considered bacterium species, a permanent biofilm is formed. An important challenge is to predict the time needed for the formation of a biofilm on a specific surface, in order to plan when the material infrastructure that comprises such a surface needs to be cleaned or replaced. We exploit the model-checking features of Real-time Maude to formally prove that a regular cleaning or replacement of the infrastructure prevents the biofilm formation.