Title :
Formal approach to reusable formal specifications
Author_Institution :
Jozef Stefan Inst., Ljubljana, Yugoslavia
Abstract :
The theory of reusable formal specifications is described, especially in the context of modeling a distributed real-time telecommunication system. Various aspects of reusability are covered: formal representation of reusability, modular specification of the system, equivalence of formal specifications, and classification of specifications. Some modular reusable protocol specifications are also given
Keywords :
formal specification; protocols; real-time systems; software reusability; telecommunications computing; LOTOS; distributed real-time telecommunication system; formal representation; formal specifications; modular specification; protocol specifications; reusable formal specifications; Calculus; Control systems; Distributed computing; Formal specifications; Process design; Protocols; Real time systems; Software reusability; Telecommunication computing; Telecommunication control;
Conference_Titel :
Electrotechnical Conference, 1991. Proceedings., 6th Mediterranean
Conference_Location :
LJubljana
Print_ISBN :
0-87942-655-1
DOI :
10.1109/MELCON.1991.162021
