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
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;
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
DOI :
10.1109/ICCSE.2009.5228213
