Title :
Trusted Software Architectural Modeling Method
Author :
Jie, Yang ; Yu-ren, Zhou ; Jin-bin, Zheng
Author_Institution :
Sch. of Software, South China Univ. of Technol., Guangzhou, China
Abstract :
This paper introduces a new process algebra based language with its powerful model-checking tools for trusted software architecture. It deals with incompatibility between two components due to a single interaction or the combination of several interactions and with the lack of interoperability among a set of components through architectural compatibility check and interoperability check relying on standard observational equivalences and weak bi-simulation equivalence.
Keywords :
open systems; process algebra; software architecture; software tools; architectural compatibility check; bi-simulation equivalence; interoperability; model-checking tools; process algebra based language; trusted software architectural modeling method; Algebra; Architecture description languages; Computer architecture; Computer science; Concurrent computing; Flowcharts; Information processing; Paper technology; Software architecture; Software tools; trusted modeling; weak bi-simulation equivalence;
Conference_Titel :
Information Processing, 2009. APCIP 2009. Asia-Pacific Conference on
Conference_Location :
Shenzhen
Print_ISBN :
978-0-7695-3699-6
DOI :
10.1109/APCIP.2009.193
