scholarly journals EPSILON: A System Description Language

1982 ◽  
Vol 11 (150) ◽  
Author(s):  
Kurt Jensen ◽  
Morten Kyng
Keyword(s):  
Petri Nets ◽  
Denotational Semantics ◽  
Computer Programs ◽  
Production Equipment ◽  
System Specification ◽  
Description Language ◽  
System Description ◽  
Structured Information ◽  
Human Operators ◽  
High Level

<p>This paper presents the Epsilon language and defines its formal syntax and semantics. Epsilon is a language for the description of systems, which contain concurrent components, some of these being edp-equipment or by other means representing highly structured information handling. The actions consist of continuous changes described by equations, of communication between the components and of normal algorithmic actions.</p><p>Epsilon may be used for the description of computer systems together with their environments, e.g. production equipment and human operators. Parts of such a description may serve as the system specification from which computer programs are developed. Epsilon is not itself an implementable language.</p><p>This paper defines the semantics of Epsilon by means of a model based on high-level Petri nets, i.e. a model founded on the notion of concurrency. The model also uses denotational semantics and equation systems.</p>

scholarly journals BETA Language Development: Survey Report, 1. November 1976

1977 ◽  
Vol 6 (65) ◽  
Author(s):  
Bent Bruun Kristensen ◽  
Ole Lehrmann Madsen ◽  
Kristen Nygaard
Keyword(s):  
Language Development ◽  
Programming Language ◽  
Present State ◽  
Description Language ◽  
System Description ◽  
Survey Report ◽  
Ongoing Work ◽  
Computing Center ◽  
High Level ◽  
Systems Programming

<p>The report describes ongoing work within the Joint Language Project (JLP). Research workers from Aarhus aned Aalborg Universities. Denmark and the Norwegian Computing Center, Oslo, Norway participate in the project. The aim of the JLP is to consider new tools in programming by the development of a systems programming language BETA and a high level programming language GAMMA, both related to the system description language DELTA.</p><p>The present state of the ideas for BETA is presented. This report is also referred to as DELTA Project Working Note No. 3.</p>

scholarly journals Pascal Semantics by a Combination of Denotational Semantics and High-level Petri nets

1985 ◽  
Vol 14 (198) ◽  
Author(s):  
Kurt Jensen ◽  
Erik Meineche Schmidt
Keyword(s):  
Petri Nets ◽  
Computer Science ◽  
Formal Semantics ◽  
Denotational Semantics ◽  
Semantic Model ◽  
Introductory Course ◽  
Model Based ◽  
High Level

This paper describes the formal semantics of a subset of PASCAL by means of a semantic model based on a combination of denotational semantics and high-level Petri nets. It is our intention that the paper be used as part of the written material for an introductory course in Computer Science.

scholarly journals A Petri Net Definition of a System Description Language

1981 ◽  
Vol 8 (96) ◽  
Author(s):  
Kurt Jensen ◽  
Morten Kyng ◽  
Ole Lehrmann Madsen
Keyword(s):  
Petri Nets ◽  
Petri Net ◽  
Formal Model ◽  
Concurrent Systems ◽  
Formal Definition ◽  
Concurrent System ◽  
Description Language ◽  
System Description ◽  
Definition Of ◽  
Further Development

<p>This paper introduces a 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 the restrictions placed on languages executable on digital computers. The design of Delta was itself heavily influenced by the experience from the development and use of Simula.</p><p>It is not obvious what kind of semantics a system description language should have. The situation is more complex than with normal algorithmic languages and none of the existing semantic approaches appear to be satisfactory.</p><p>To clarify the situation, we first describe the language Epsilon, which contains only a few basic primitives. Then we define the semantics of Epsilon by means of a formal model based on Petri nets. The model called ''Concurrent systems'' is an extension of Petri nets with a data part and with expressions attached to transitions and to places. The model is a further development of formalisms proposed by R.M. Keller and A. Mazurkiewicz. The expressions attached to places is a novel feature and is used to define continuous transformations on the data part. The semantics of a given system description is defined in terms of firing sequences of the corresponding concurrent system.</p><p>To be presented at the Evian Conference on Semantics of Concurrent Computations, July 1979.</p>

scholarly journals Formal Semantics by a Combination of Denotational Semantics and High-Level Petri Nets

1982 ◽  
Vol 11 (152) ◽  
Author(s):  
Niels Damgaard Hansen ◽  
Kim Halskov Madsen
Keyword(s):  
Petri Nets ◽  
Formal Semantics ◽  
Denotational Semantics ◽  
The Other ◽  
Other Hand ◽  
Concurrent Processes ◽  
High Level ◽  
Excellent Tool ◽  
Single Approach

<p>Denotational semantics has proved to be an excellent tool for the specification of nearly all kinds of declarations and commands in sequential languages, but the description of concurrent processes is in practice nearly impossible.</p><p>High-level Petri nets, on the other hand, have proved their value in the specification of communication and synchronization of concurrent processes.</p><p>We propose to combine the two models into a single approach, where denotational semantics is used to build up environments and to describe store transformations, while Petri nets are used to describe sequencing and communication.</p>

Sign in / Sign up

Export Citation Format

Share Document