关于应用程序构件服务模型的设计及实现

摘要

基于构件的软件开发方法如何与面向对象方法有效地结合,从而实现软件分析、设计与实现的连续性与一致性是值得研究的问题.本文结合三层客户/服务器模型,探讨了在基于构件的应用程序开发中,从OOA&OOD模型建立应用程序的构件服务模型的方法,为基于构件的软件开发提供了基础.本文中所提出的开发方法已经用于实践的项目开发中,且取得了较好的效果.同时,文中也针对构件服务模型的形式化验证方法提出了研究思路.