自计算机诞生以来,软件开发经历了从机器语言、汇编语言到高级语言的发展过程,抽象层次越来越高,开发人员也越来越多地关注问题本身而不再是一些技术上的实现细节。针对软件开发的发展趋势,对象管理组织提出了模型驱动架构,为解决各种互不兼容平台和中间件技术在系统集成和互操作方面存在的不足提供了新思路,开辟了软件开发模式由以代码为中心向以模型为中心转变的新时期。然而MDA作为一种通用的软件开发标准,缺乏对特定领域开发支持,为此模型集成运算理论开始被提出。该理论提出至今获得了普遍重视,并且不断完善深化,成为国外研究热点。模型集成计算专注于建模过程中模型的表示、组成、分析和控制,他贯穿于系统开发的整个生命周期,包括规范,设计,开发,验证,集成和维护。通过建模语言的语法抽象领域内的共性和不变性,利用模型定制来实现领域应用的多样化。模型集成计算理论在面向领域系统开发方面具有良好的应用前景。本文在深入研究模型集成计算理论的基础上,通过与模型驱动架构,面向领域开发的比较,突出模型集成计算理论在特定领域开发的巨大优势。重点研究基于模型集成计算理论领域系统开发过程,通用建模环境等开发工具,设计模型验证方法和代码生成系统,为模型验证提供可行方法,最后通过实例验证基于MIC系统开发整个过程。