Title :
A specification language for real-time distributed systems
Author :
Chang, Carl K. ; Jiang, Tsang Ming ; Aoyama, Mikio
Author_Institution :
Dept. of Electr. Eng. & Comput. Sci., Illinois Univ., Chicago, IL, USA
Abstract :
The authors introduce a design specification method, extended modified Petri nets (EMPN), and its description language (EMPNDL). The specification is based on a stochastic Petri-net model and is suitable for modeling real-time distributed systems. The syntax of the language is formally described in BNF grammar while the semantics is based on that for stochastic Petric nets. In addition to the modeling capability of EMPN and EMPNDL, methods for verification and validation of such systems are also discussed. EMPN and EMPNDL have been extensively used to the specification of a prototype switching system, UICPBX. Based on the presented formulation, verification and validation of UICPBX can be automated to a great extent.<>
Keywords :
Petri nets; distributed processing; real-time systems; specification languages; BNF grammar; EMPNDL; UICPBX; description language; design specification method; extended modified Petri nets; real-time distributed systems; specification language; validation; verification; Computer architecture; Computer errors; Design methodology; Error correction; Graphical models; Petri nets; Real time systems; Software systems; Specification languages; Switching systems;
Conference_Titel :
Computer Languages, 1988. Proceedings., International Conference on
Conference_Location :
Miami Beach, FL, USA
Print_ISBN :
0-8186-0874-9
DOI :
10.1109/ICCL.1988.13072
