Title :
Observational Equivalence Technique in Trusted Model
Author :
Yang Jie ; Qi De-Yu ; Zhou Yu-ren ; Zheng Jin-bin
Author_Institution :
Sch. of Software, South China Univ. of Technol., Guangzhou, China
Abstract :
We apply a process algebra oriented architectural modeling language in trusted software model. The model-checking technique can manage incompatibility between two components caused by a single interaction or the combination of several interactions except for the interoperability and interoperability problems among components. It is a kind of standard observational equivalences technique.
Keywords :
formal verification; process algebra; security of data; simulation languages; software architecture; interoperability; model-checking technique; observational equivalence technique; process algebra oriented architectural modeling language; trusted software model; Algebra; Computer architecture; Computer science; Concurrent computing; Conference management; Electronic switching systems; Engineering management; Flowcharts; Software architecture; Technology management; process algebra; standard observational equivalence;
Conference_Titel :
Services Science, Management and Engineering, 2009. SSME '09. IITA International Conference on
Conference_Location :
Zhangjiajie
Print_ISBN :
978-0-7695-3729-0
DOI :
10.1109/SSME.2009.104
