A Syntax and Semantics of a Language for Operational Procedures

Author

Parise, G. ; Hesla, E. ; Parise, Luigi

Author_Institution

Dept. of Electr. Eng., Univ. of Rome La Sapienza, Rome, Italy

Volume

49

Issue

1

fYear

2013

fDate

Jan.-Feb. 2013

Firstpage

250

Lastpage

255

Abstract

The aim of this paper is to present shortly syntax and semantics of a language to program operational procedures. This formal language is a unified suite of symbols, meanings, and codes used on the basis of conventional rules. Symbols have to be related to meanings and to be shared: operational, mathematical, and graphical symbols shown are preferred but are not mandatory. Parise program allows to express concepts and procedures, to make analysis of formal connections and bonds between components of the electrical power system. It allows to provide information and give instructions for the execution of certain operations following correct procedures. The programming language elements may be used in an interactive programming environment.

Keywords

codes; formal languages; interactive programming; power engineering computing; programming language semantics; codes; conventional rules; electrical power system; formal connections; formal language; graphical symbols; interactive programming environment; language semantics; language syntax; mathematical symbols; meanings; operational symbols; parise program; program operational procedures; programming language elements; Circuit breakers; Grounding; Roads; Safety; Switches; Switching circuits; Binary and ternary codes; free and packed values; operational language; operational procedures; switching procedures;

fLanguage

English

Journal_Title

Industry Applications, IEEE Transactions on

Publisher

ieee

ISSN

0093-9994

Type

jour

DOI

10.1109/TIA.2012.2229453

Filename

6363597