Code Generation from B Specification based on Component Oriented Approach

摘要：

In this paper we propose a framework for code generation from B formal specification based on component based method. First, software components can be derived form B abstract machines according to their relativity. Then, by using proved translation rules the elicited software components are translated into code directly. Finally, all the software components are assembled into a whole system with correct assembly rules. The trustworthiness of generated code is insured by the correctness of B abstract machines and the assembly strategies. Component based approach is used to ease complex verification among different B abstract machines and it also facilitates the software reuse.

作者: Liu Xiaoli Wu Guoqing Yang Min Zhang Fan

作者单位: School of Computer, Wuhan University, Wuhan, PR China;Shenzhen Research Institute, City University o School of Computer, Wuhan University, Wuhan, PR China ZTE Corporation, Shenzhen, PR China

会议类型: 国际会议

会议名称: 第一届国际教育信息技术及应用研讨会(2007 1st International Symposium on Information Technologies and Applications in Education(ISITAE 2007))

会议地点: 昆明

会议语种:英文

在线出版日期: 2007-11-23（万方平台首次上网日期，不代表论文的发表时间）