Since Epsilon is intended for describing systems of interacting objects, such as men and machines, an Epsilon system consists of a nested structure of objects. An object is characterized by the action it executes and a selected set of attributes, which may have variables, procedures and objects.
State transformations can be described by means of algorithms or by means of equations. An algorithm is used in cases where it is adequate to describe the way in which a given state transformation is carried out. Equations are used, when it is adequate to describe state transformations is carried out.
Replaced/Superseded by document(s)
|File||MIME type||Size (KB)||Language||Download|
This Paper introduces Language, Epsilon, for the description of systems with concurrency, and presents a formal definition of Epsilon's semantics. The language is based on Delta, the first major attempt to create a language solely aimed at system description without restrictions placed on languages executable on digital computers.
The purpose of this paper is to introduce a system description language, Epsilon, based on the Delta language (Delta 75) and to present the formal definition of its semantics by means of a model based on Petri nets (Petri 73,75,76), (Peterson 77).