Creative interventions : an integrated arts based pedagogical approach in the workplace preparation classroom of the extended access programme at the University of Johannesburg

Abstract: This study evaluates how the integrating of arts based approaches in my teaching practice can be used to both expand my practice and to utilise the capability of the Workplace Preparation Programme (WPP) to achieve a more equitable and accessible curriculum. I am concerned with promoting appropriate changes in the classroom in order to foster a more egalitarian and democratic value system in the teacher/learner relationship which promotes individual and collective freedoms. I integrate arts based methods in my pedagogical practice in order to expand the modes for communication and meaning-making in the classroom: these methods include visual, performative, indirect, non-verbal and symbolic techniques. I contend that these teaching approaches are relevant for the contemporary multilingual classroom and more especially for teaching first-year students. Arts based methods can foster opportunities for multimodal learning and for developing the kinds of student capacities and relationships that can contribute to positive learning experiences...M.Tech. (Fine Art

Modelling and Analysis using Graph Transformation Systems

Communication protocols, a class of critical systems, play an important role in industry. These protocols are critical because the tolerance for faults in these systems is low and it is highly desirable that these systems work correctly. Therefore, an effective methodology for describing and verifying that these systems behave according to their specifications is vitally important. Model checking is a verification technique in which a mathematically precise model of the system, either concrete or with abstraction, is built and a specification of how the system should behave is given. Then the system is considered correct if its model satisfies its specification. However, due to their size and complexity, critical systems, such as communication systems, are notoriously resistant to formal modelling and verification. In this thesis, we propose using graph transformation systems (GTSs), a visual semantic modelling approach, to model the behaviour of dynamically evolving communication protocols. Then, we show how a GTS model can facilitate verification of invariant properties of potentially unbounded communication systems. Finally, due to the use of similar isomorphic components in communication systems, we show how to exploit symmetries of these dynamically evolving models described by GTSs, to reduce the size of the model under verification. We use graph transformation systems to provide an expressive and intuitive visual description of the system state as a graph and for the computations of the system as a finite set of rules that transform the state graphs. Our model is well-suited for describing the behaviour of individual components, error-free communication channels amongst the components, and dynamic component creation and elimination. Thus, the structure of the generated model closely resembles the way in which communication protocols are typically separated into three levels: the first describing local features or components, the second characterizing interactions among components, and the third showing the evolution of the component set. The graph transformation semantics follows this scheme, enabling a clean separation of concerns when describing a protocol. This separation of concerns is a necessity for formal analysis of system behaviour. We prove that the finite set of graph transformation rules that describe behaviour of the system can be used to perform verification for invariant properties of the system. We show that if a property is preserved by the finite set of transformation rules describing the system model, and if the initial state satisfies the property, then the property is an invariant of the system model. Therefore, our verification method may avoid the explicit analysis of the potentially enormous state space that the transformation rules encode. In this thesis, we also develop symmetry reduction techniques applicable to dynamically evolving GTS models. The necessity to extend the existing symmetry reduction techniques arises because these techniques are not applicable to dynamic models such as those described by GTSs, and, in addition, these existing techniques may offer only limited reduction to systems that are not fully symmetric. We present an algorithm for generating a symmetry-reduced quotient model directly from a set of graph transformation rules. The generated quotient model is bisimilar to the model under verification and may be exponentially smaller than that model

Supporting the Community to Embrace Individuals with Dementia and to Be More Inclusive: Findings of a Conceptual Framework Development Study

t: The number of community-dwelling people with dementia (PwD) is rising, and the role of their relatives is crucial in addressing and mitigating the implications of dementia on health care systems and on society. We developed a new conceptual framework to promote the collaboration of the community in supporting relatives who are caring for a PwD as well as a range of stakeholders in embracing dementia. A qualitatively driven, multi-method study divided into three phases was performed from 2019 to 2021. A qualitative descriptive study, a mixed-method systematic review and three consensus workshops were conducted, and their results were triangulated. The final version of the Community Collaboration Concept Framework is composed of three main domains based upon seven components: (1) embracing dementia; (2) creating empowerment and a sense of community; (3) collaborating through cocreation and design thinking. The new framework is based on the literature, the synthesis of empirical data and the consensus of a panel of international experts, supporting the global goal of improving community inclusiveness and collaboration. Further studies are needed to confirm its validity, how it should be implemented in practice in various settings and to propose improvements when designing projects based upon i