Time-awareness and Proactivity in Models of Interactive Computation

The paper discusses explicit properties and the requirements that are to be verified, imposed upon software-intensive systems by their environment and by their users. Those systems are time-critical, may contain autonomous components, and may exhibit proactive behaviour. It is suggested that the analysis and verification of properties in software-intensive systems requires time-aware model of interactive computation. The authors of this paper claim that hitherto used time interpretation in computer science is too simplified, and several simultaneously maintained independent time counting systems is a necessary precondition for timing analysis of interactions. A feature space for comparing the existing approaches to interactive computing is suggested, and a potential candidate for time-aware model of interactive computation is discussed.

[1]  P. Anderson.  More is different. , 1972, Science.

[2]  A. Turing.  On Computable Numbers, with an Application to the Entscheidungsproblem. , 1937 .

[3]  Scott A. Smolka,et al.  Turing Machines, Transition Systems, and Interaction , 2002, EXPRESS.

[4]  Giorgi Japaridze,et al.  Introduction to computability logic , 2003, Ann. Pure Appl. Log..

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

[6]  C. Teuscher,et al.  Alan Turing: Life and Legacy of a Great Thinker , 2004, Springer Berlin Heidelberg.

[7]  Herbert A. Simon,et al.  The Sciences of the Artificial , 1970 .

[8]  Davide Sangiorgi,et al.  Communicating and Mobile Systems: the π-calculus, , 2000 .

[9]  Peter Wegner,et al.  Turing’s Ideas and Models of Computation , 2004 .

[10]  Peter Wegner.  Towards Empirical Computer Science , 1999 .

[11]  Andreas Blass,et al.  Algorithms: A Quest for Absolute Definitions , 2003, Bull. EATCS.

[12]  Peter Norvig,et al.  Artificial Intelligence: A Modern Approach , 1995 .

[13]  Claudio De Persis,et al.  Proceedings of the 15th IFAC World Congress , 2002 .

[14]  Peter Wegner,et al.  Interactive , 2021, Encyclopedia of the UN Sustainable Development Goals.

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

[16]  Leo Motus,et al.  Formal timing analysis of OMT designs using LIMITS , 1997, Proceedings Third International Workshop on Object-Oriented Real-Time Dependable Systems.

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

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

[19]  Peter Wegner,et al.  New Models of Computation , 2004, Comput. J..

[20]  Bran Selic,et al.  Using models in real-time software design , 2003 .

[21]  L. Motus,et al.  Modeling Metric Time , 2003, UML for Real.

[22]  Jeffrey O. Kephart,et al.  The Vision of Autonomic Computing , 2003, Computer.

[23]  Roy Want,et al.  Comparing autonomic and proactive computing , 2003, IBM Syst. J..

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

[25]  Peter Wegner,et al.  An Interactive Viewpoint on the Role of UML , 2001, Unified Modeling Language: Systems Analysis, Design and Development Issues.

[26]  Egon Börger.  Specification and validation methods , 1995 .

[27]  Merik Meriste,et al.  A test-bed for time-sensitive agents - some involved problems , 2003, EFTA 2003. 2003 IEEE Conference on Emerging Technologies and Factory Automation. Proceedings (Cat. No.03TH8696).

[28]  S. Shelah,et al.  Annals of Pure and Applied Logic , 1991 .

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

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

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

[32]  Jacques Ferber,et al.  Multi-agent systems - an introduction to distributed artificial intelligence , 1999 .

[33]  Jacques Ferber,et al.  From Agents to Organizations: An Organizational View of Multi-agent Systems , 2003, AOSE.

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

[35]  David L. Tennenhouse,et al.  Proactive computing , 2000, Commun. ACM.

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

[37]  Walter Dosch,et al.  Introducing Control States into Communication Based Specifications of Interactive Components , 2004, Software Engineering Research and Practice.

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

[39]  Annette Stümpel.  Stream based design of distributed systems through refinement , 2003 .

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

[41]  Merik Meriste,et al.  AN ARCHITECTURE FOR A MULTI-AGENT SYSTEM TEST-BED , 2002 .

[42]  Manfred Broy.  Compositional refinement of interactive systems , 1997, JACM.

[43]  H. Van Dyke Parunak,et al.  A preliminary taxonomy of multi-agent interactions , 2003, AAMAS '03.

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

[45]  John von Neumann,et al.  Theory Of Self Reproducing Automata , 1967 .

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

[47]  Yixin Diao,et al.  ABLE: A toolkit for building multiagent autonomic systems , 2002, IBM Syst. J..

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

[49]  L. Motus,et al.  Time concepts in real-time software , 1992 .

[50]  Leslie Lamport,et al.  The temporal logic of actions , 1994, TOPL.