TIMED INTERACTING SYSTEMS

摘要: Different description technics have been traditionally used for the formal specification of communication protocols and for the analysis of their performance. Recently, however, the idea to develop an approach which could be used for both these purposes seems to gain on acceptance. Timed Interacting Systems (TIS), a proposal for extending the classical framework of process algebras is presented. Means for expressing the duration of events and timeoriented conditions for the occurrence of events are provided. TIS support the model of real parallelism, rather than interleaving. Direct support for performance analysis is provided by offering additional means for both: quantifying the nondeterminism in system behavior as well as reducing the potential level of execution parallelism according to constraints introduced by the execution environment