On models for time-sensitive interactive computing

Agent-based paradigm is increasingly applied to building computing systems where conventionally latent requirements, e.g. time-sensitivity of data and event validity, and/or truth-values of predicates, timeliness of communication, and others become essential for correct functioning of systems. In many such cases empirical demonstration of expected behaviour is not sufficient, formal verification of certain properties becomes desirable. This assumes that interaction-based models of computing are to be enhanced by introducing sufficiently sophisticated time. Such enhancement is not too simple since time has been abstracted away from models of computing during the evolution of computer science. This paper introduces some preliminary ideas for developing time-sensitive interaction-based models of computations.