| 要旨 |
In this talk, we consider some (bi)simulation-based relations
of processes in timed process algebra(TPA), which reflect real-time
property; we propose some relations which relate functionally
identical processes with respect to speed.
Moller first invented devise to reflects real-time property in
relating systems. But we claim that Moller's faster-than relation
expresses only one aspect of real-time property, thus some other ways
to reflect real-time property can be considered.
As a result, we propose six relations which reflect real-time
properties in TPA. These six relations, which express the different
aspect of real-time properties, are more general than the relations
proposed in preceding researches including Moller's faster-than
relation. More precisely, we give the operational semantics in two
parts: action transitions and clock transitions, and various semantics
to clock transition to fully reflect real-time property in defining
relations. Consequently, we newly present 2 relations and propose 4
relations of processes, which reflect real-time property. We also
present the relation of those relations and some properties, including
congruence property of relations.
|
まで．