Title :
A graphical property specification language
Author :
Lee, Insup ; Sokolsky, Oleg
Author_Institution :
Real-Time Syst. Group, Pennsylvania Univ., Philadelphia, PA, USA
Abstract :
Presents a language for the specification of high-level properties of real-time systems. The language is based on a temporal logic. Properties expressed as temporal logic formulae are known to be very obscure. In the design of the language, we tried to identify the sources of this and to make the expressions as easy to comprehend as possible. To enhance the flexibility of the language, we employ a two-level approach: an expert level and a user level. This us allows to hide the obscure formal notation from the user, and at the same time adjust the language to any desired problem domain. User-level expressions have a graphical notation, which brings out the structure of the expressions in a natural way and leads to an easier understanding of the formulae
Keywords :
formal languages; real-time systems; specification languages; temporal logic; visual languages; expert level; expression comprehensibility; expression structure; graphical notation; graphical property specification language; language flexibility; obscure formal notation; problem domain; real-time system high-level properties; temporal logic formulae; user level; Clocks; Delay; Logic; Radio access networks; Specification languages;
Conference_Titel :
High-Assurance Systems Engineering Workshop, 1997., Proceedings
Conference_Location :
Washington, DC
Print_ISBN :
0-8186-7971-9
DOI :
10.1109/HASE.1997.648037
