Asynchronous Processes and Their Interpretation
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.
KeywordsTransition Diagram Semantic Interpretation Input Symbol Signal Graph Conditional Branch
Unable to display preview. Download preview PDF.