Asynchronous Processes and Their Interpretation

  • Victor I. Varshavsky
Part of the Mathematics and Its Applications (Soviet Series) book series (MASS, volume 52)

Abstract

At present, the designers of discrete systems, such as computers, information processing systems and data sampled control systems, are provided with a number of models. These allow the dynamics of the operation of the systems to be defined with adequate regard to potential parallelism and concurrency of their activity, and asynchrony of the interaction of their sub-components. Mathematical model, according to the Mathematical Encyclopaedia, is “an approximate description of a class of phenomena from the real world expressed in terms of mathematical symbols”. Each of these models reflects some aspects of system operation and, thus, cannot be universally used throughout all design stages and applications. Nevertheless, certain characteristics that are common to such models allow us to propose a methodologically convenient meta-model that may form a base for other, particular or, better say, object models. The term “meta-model” can be viewed as a model that is used for studying the models of another class, as is usually implied when notions are defined by adding the prefix “meta”. The mechanics of generating an object model from a metamodel is defined by the interpretation — “showing the meaning (semantics) of mathematical expressions (symbols, formulae, etc.) — of key concepts of the target model through those of the meta-model”. This is also a quotation from the Mathematical Encyclopaedia.

Keywords

Transition Diagram Semantic Interpretation Input Symbol Signal Graph Conditional Branch 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Kluwer Academic Publishers 1990

Authors and Affiliations

  • Victor I. Varshavsky
    • 1
  1. 1.Computing Science DepartmentLeningrad Electrical Engineering InstituteLeningradUSSR

Personalised recommendations