可以分析的 meaning in English

analysable

Thus , a formal architecture description language , called adl / promela , which is used to express the architecture of distributed control system , is designed , and in order to analyze and check in formal way , the adl / promela is mapped into the formal model which can be analyzed and checked by spin
设计了分布式控制系统体系结构的形式化描述语言adl promela ，并将adl promela体系结构模型映射成模型检查工具spin可以分析的形式化模型，运用模型检查技术对分布式控制系统进行分析和检查，以提高分布式控制系统的设计与开发质量。