Title :
Prototyping and formal analysis of concurrent and distributed systems
Author_Institution :
Inst. fur Systemtechnik, GMD, Sankt Augustin, Germany
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;
Conference_Titel :
Software Specification and Design, 1991., Proceedings of the Sixth International Workshop on
Conference_Location :
Como
Print_ISBN :
0-8186-2320-9
DOI :
10.1109/IWSSD.1991.213076
