Formalising the twofold structure of a proactive system: Proof of concept on deterministic and probabilistic levels

In the present work, we investigate the domain of Proactive computing, which may be characterised as a comparatively new computer science research paradigm. In our study, we understand and use the notion of Proactive Computing as it was defined by Dr. David L. Tennenhouse. Conceptually, the architecture and main framework of our software system is entirely based on underlying concept characteristics of the given approach.
Being a new research paradigm, proactive computing doesn’t possess yet a clear methodological support and approach repository, which may subsequently provide us with the necessary research techniques and methods. An application of the proactive computing approach thus requires a thorough empirical and theoretical investigation.
The main objective of the current research project is to design an effective methodological framework, which will subsequently allow us to provide our proactive system with a scientifically rationalised proof of concept. An acquisition of the scientific evidence is primarily accomplished through the design, implementation and testing of all composite theoretical, methodological and functional aspects of the proactive system’s framework.
The present study aims to emphasise the importance of designing a coherent multidisciplinary methodological framework, which is initially based on the expertise of two research fields, computer science and cognitive science domains. The main composite aspects of our methodological structure are based on the specific multidisciplinary techniques from both research fields. We investigate the proactive computing paradigm within the defining principles of deterministic and probabilistic approach orientations, where we additionally apply the techniques of the cognitive modelling approach.
All designed and implemented computational mechanisms, together with the realised empirical studies, collectively aim to formalise the concept characteristics of the proactive system. Ultimately, an effective validation of the employed methodological frameworks and their underlying computational techniques provide our system with the necessary, scientifically rationalised proof of concept.