• English
  • Deutsch
  • Log In
    Password Login
    Research Outputs
    Fundings & Projects
    Researchers
    Institutes
    Statistics
Repository logo
Fraunhofer-Gesellschaft
  1. Home
  2. Fraunhofer-Gesellschaft
  3. Buch
  4. Counting interfaces for discrete time modeling
 
  • Details
  • Full
Options
1998
Report
Title

Counting interfaces for discrete time modeling

Abstract
A 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.
Author(s)
Richter, G.
Publisher
GMD Forschungszentrum Informationstechnik  
Publishing Place
Sankt Augustin
File(s)
Download (2.3 MB)
Rights
Use according to copyright law
DOI
10.24406/publica-fhg-289825
Language
English
AIS  
Keyword(s)
  • interface

  • distributed system

  • system modeling

  • Cookie settings
  • Imprint
  • Privacy policy
  • Api
  • Contact
© 2024