DocumentCode
2872999
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
Volume
2
fYear
2009
fDate
18-19 July 2009
Firstpage
233
Lastpage
236
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;
fLanguage
English
Publisher
ieee
Conference_Titel
Information Processing, 2009. APCIP 2009. Asia-Pacific Conference on
Conference_Location
Shenzhen
Print_ISBN
978-0-7695-3699-6
Type
conf
DOI
10.1109/APCIP.2009.193
Filename
5197178
Link To Document