Prototyping and formal analysis of concurrent and distributed systems

Author

Krämer, Bernd

Author_Institution

Inst. fur Systemtechnik, GMD, Sankt Augustin, Germany

fYear

1991

fDate

25-26 Oct 1991

Firstpage

60

Lastpage

66

Abstract

The author sketches the specification language SEGRAS and illustrates related formal validation techniques with a few simple examples including a dynamic reconfiguration problem. The language is particularly suited for concurrent and distributed applications. It draws from two main sources: algebraic specifications of abstract data types and a special class of high-level Petri nets. The language is supported by an experimental specification environment whose semantic tools exploit the operational semantics of the language

Keywords

Petri nets; abstract data types; formal specification; formal verification; parallel programming; specification languages; abstract data types; algebraic specifications; distributed applications; dynamic reconfiguration problem; experimental specification environment; formal validation techniques; high-level Petri nets; operational semantics; semantic tools; specification language SEGRAS; Concurrent computing; Formal specifications; Petri nets; Programming; Prototypes; Software systems; Software testing; Specification languages; System testing; Writing;

fLanguage

English

Publisher

ieee

Conference_Titel

Software Specification and Design, 1991., Proceedings of the Sixth International Workshop on

Conference_Location

Como

Print_ISBN

0-8186-2320-9

Type

conf

DOI

10.1109/IWSSD.1991.213076

Filename

213076