DocumentCode
1685729
Title
Formal approach to reusable formal specifications
Author
Tvrdy, Iztok
Author_Institution
Jozef Stefan Inst., Ljubljana, Yugoslavia
fYear
1991
Firstpage
1045
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;
fLanguage
English
Publisher
ieee
Conference_Titel
Electrotechnical Conference, 1991. Proceedings., 6th Mediterranean
Conference_Location
LJubljana
Print_ISBN
0-87942-655-1
Type
conf
DOI
10.1109/MELCON.1991.162021
Filename
162021
Link To Document