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.

[1]  Michael Wooldridge,et al.  On the sources of complexity in agent design , 2000, Appl. Artif. Intell..

[2]  NICHOLAS R. JENNINGS,et al.  An agent-based approach for building complex software systems , 2001, CACM.

[3]  Nancy A. Lynch,et al.  An introduction to input/output automata , 1989 .

[4]  David Harel,et al.  Statecharts: A Visual Formalism for Complex Systems , 1987, Sci. Comput. Program..

[5]  Nicolas Halbwachs,et al.  A functional model for describing and reasoning about time behaviour of computing systems , 2004, Acta Informatica.

[6]  David Harel,et al.  From Play-In Scenarios to Code: An Achievable Dream , 2000, Computer.

[7]  Robin Milner,et al.  Elements of interaction: Turing award lecture , 1993, CACM.

[8]  Dina Q. Goldin,et al.  Interaction, evolution, and intelligence , 2001, Proceedings of the 2001 Congress on Evolutionary Computation (IEEE Cat. No.01TH8546).

[9]  Leo Motus,et al.  Handling timing in a time-critical reasoning system - a case study , 2001, Annu. Rev. Control..

[10]  Leo Motus.  Timing Problems and Their Handling at System Integration , 1995 .

[11]  Peter Wegner,et al.  Coinductive Models of Finite Computing Agents , 1999, CMCS.

[12]  Michael G. Rodd,et al.  Timing analysis of real-time software , 1994 .

[13]  Zohar Manna,et al.  The Temporal Logic of Reactive and Concurrent Systems , 1991, Springer New York.

[14]  Yuri Gurevich,et al.  Evolving algebras 1993: Lipari guide , 1995, Specification and validation methods.

[15]  Peter Wegner,et al.  Why interaction is more powerful than algorithms , 1997, CACM.

[16]  Michael Wooldridge,et al.  Reasoning about rational agents , 2000, Intelligent robots and autonomous agents.

[17]  L. Motus,et al.  A LANGUAGE AND A CALCULUS FOR DISTRIBUTED COMPUTER CONTROL SYSTEMS DESCRIPTION AND ANALYSIS , 1986 .

[18]  David Lorge Parnas,et al.  Priority Scheduling Versus Pre-Run-Time Scheduling , 1998 .

[19]  Michael G. Rodd,et al.  Timing Analysis of Real-Time Software: A Practical Approach to the Specification and Design of Real-Time , 1994 .

[20]  Robin Milner,et al.  Elements of interaction , 1993 .

[21]  Peter Wegner,et al.  Interaction as a basis for empirical computer science , 1995, CSUR.

[22]  Richard M. Karp,et al.  Turing award lecture , 1985, ACM '85.

[23]  Robin Milner,et al.  Communicating and mobile systems - the Pi-calculus , 1999 .

[24]  Robin Milner,et al.  A Calculus of Communicating Systems , 1980, Lecture Notes in Computer Science.