Under CopyrightRichter, G.G.Richter2022-03-0707.08.20021998https://publica.fraunhofer.de/handle/publica/28982510.24406/publica-fhg-289825A class of interfaces is introduced that are designed to model time relations between events of a system in terms of occurrences of a reference event. The reference event generates a discrete time scale in that each occurrence produces a next graduation on the scale. It is shown how various kinds of causal connection between the "timed system" and one or several reference events or "timers" can be achieved by counting the occurrences of the reference event(s). Since reference events belong to the considered system, their scopes as timers for other events can be chosen as needed and are visible in the model. Requirements referring to a local time or several independent times in the same system can thus be specified without making assumptions which are foreign to the model and are of possibly opaque consequences for implementation. Elementary and high-level Petri nets are used for modeling counting interfaces.Contents S.5-6 1 Introduction S.7-8 - 1.1 Related work S.7-8 - 1.2 Structure of the report S.9 2 Interface design S.9-13 - 2.1 Clock-like interfaces S.10-12 - 2.2 Counting requests S.12 - 2.3 Interaction requirements S.12-13 - 2.4 Elements of counting interfaces S.13 3 Elementary counting interfaces S.14-19 - 3.1 Submitting and handling a counting request S.15-16 - 3.2 Canceling a counting request S.17-19 - 3.3 Deferring an acknowledgement S.20 4 High-level counting interfaces S.20-25 - 4.1 Multiple counters with complete counting interface S.21-22 - 4.2 Multiple counters with counting interface for measurement S.22-25 5 Time modeling applications S.26-33 - 5.2 Limiting the duration of a process S.26-28 - 5.3 Determining the duration of a process S.28 - 5.4 Expecting response within a period of time (time-out) S.29-30 - 5.5 Timing with suspend/resume S.30-33 6 Conclusion S.34-38eninterfacedistributed systemsystem modeling005006629report