DocumentCode
3230058
Title
A new trusted software modeling method
Author
Jie, Yang ; Yi, Li ; Min-Cong, Yu
Author_Institution
Sch. of Software, South China Univ. of Technol., Guangzhou, China
fYear
2009
fDate
25-28 July 2009
Firstpage
889
Lastpage
893
Abstract
The paper introduces the process algebra based modeling language and its powerful standard model-checking tools for trusted software architectures, which 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.
Keywords
formal verification; process algebra; software architecture; interoperability; observational equivalence; process algebra; software architecture; software modeling; standard model-checking tool; Algebra; Computer architecture; Concurrent computing; Educational technology; Flowcharts; Paper technology; Software architecture; Software safety; Software standards; Software tools; process algebras; software architecture; trusted model;
fLanguage
English
Publisher
ieee
Conference_Titel
Computer Science & Education, 2009. ICCSE '09. 4th International Conference on
Conference_Location
Nanning
Print_ISBN
978-1-4244-3520-3
Electronic_ISBN
978-1-4244-3521-0
Type
conf
DOI
10.1109/ICCSE.2009.5228213
Filename
5228213
Link To Document