计算机数控系统(CNC,Computer Numerical Controller)是机械装备的大脑,其发展水平是衡量一个国家工业现代化和国际竞争力的重要标志。与国外发达国家的产品相比,我国的CNC系统发展水平仍有一定距离。CNC系统是应用于机电装备的嵌入式系统,传统的嵌入式系统的开发依赖于技术人员的经验积累,存在着效率低、非功能属性要求难以保证、可重用性低等问题。基于模型以及基于领域的开发方法已成为嵌入式系统开发方法的新的趋势,其中特定领域建模方法被誉为“下一代建模方法”,该方法关注于特定领域,以模型为中心,将嵌入式系统的开发重心由底层代码转变为领域模型,并在国外众多嵌入式领域得到研究和实施。论文采用特定领域建模方法来开发CNC系统,应用元建模方法指导CNC领域元模型构建,创建面向CNC领域的建模语言,以领域建模语言为工具进行CNC系统模型的搭建以及软件自动生成。为CNC系统的开发寻求方法论层次上的突破,并提供快速、高效的解决方案。 在研究特定领域建模的开发流程和示例的基础上,阐述了基于特定领域建模方法的CNC系统开发的步骤,包括CNC领域元模型构建、用户建模、模型验证以及代码自动生成。论述了基于特定领域建模的CNC系统开发具备“以模型为中心、以领域为载体、以语言为工具”的特点,并分析了统一的元模型构建及建模语言的形成等是该方法的关键所在。 元建模方法为元建模提供理论上的指导,由于领域的差异性,针对特定领域的元建模方法也趋向于个性化。在针对CNC领域分析的基础上,提出一种面向CNC领域的VFC(视图-特征-构件)元建模方法,该方法从多视角出发捕获CNC领域的特征,并映射到相应的视图,以视图为容器依据特征规约构件及构件之间的交互关系,从而完成元建模。论文阐述了该方法的定义及原理,并论述了视图、特征、构件的含义及其之间的关系。VFC方法是针对于CNC领域的元建模方法,与本体论、基于特征的领域分析等领域分析方法相比,该方法更具实用性和针对性。 采用VFC元建模方法,阐述了CNC领域元模型构建的总体步骤,以CAD/CAM集成构件为例说明CNC系统构件的算法及实现。论述了CNC结构元模型的构建,阐述了运动控制、逻辑控制的功能元建模。CNC系统的非功能属性和功能属性要求同等重要,本文从元模型层次规约和描述了CNC系统的实时性。依据VFC方法,针对CNC系统的体系平台、软件结构、功能以及非功能属性要求进行了完整的元模型构建,并为建立面向该领域的建模语言提供了基础。面向CNC领域的建模语言是基于特定领域建模方法结合CNC领域所建立的建模语言。阐述了该建模语言的定义以及组成语言的元素,组成元素包括词法、语法以及语义。然后,论文从语言的完备性、灵活性以及确定性来阐述该建模语言的特性。论述了CNC领域建模语言对CNC系统开放性、可重构、可重用性的支持,比较了CNC领域建模语言与UML之间的关系。面向CNC领域的建模语言吸取了UML的优点,针对CNC领域更具实用性和有效性。 最后,论文以车床数控系统和铣床数控系统的建模开发为示例进行验证。应用面向计算机数控领域的建模语言,通过用户建模及代码自动生成形成CNC系统,并以所生成的车床数控系统进行典型工艺的加工测试。实验验证了CNCML能从工具层次提供了对CNC系统开放、可重构的支持,该建模语言具备了建模语言的完备性、灵活性以及确定性特性。实验结果同时表明:VFC方法能有效指导CNC领域元模型的创建,CNC领域元模型合理规约了CNC领域的特性,所开发的CNC系统能保证设计早期预期的功能和非功能属性要求。实验结果进而验证了基于特定领域建模的CNC开发方法的可行性。 本文所研究的基于特定领域建模的CNC系统建模开发方法是结合先进嵌入式技术、软件工程理论在CNC领域的实践。对该方法深入研究能为CNC系统的描述、设计以及实施等开发过程的自动化提供有效途径,为提高CNC系统的高性能、开放性、可重构、和可重用性提供有利措施,对寻求我国CNC开发方法层次的突破具有实际意义。