随着软件应用领域的不断扩展和深入,软件系统的规模和复杂性也在逐渐扩大和提高,使得软件设计开发的难度和软件系统潜在的问题也日益增加。早期的设计缺陷会严重阻碍后期系统的开发、应用和维护。如果能够在早期设计阶段及时发现并避免错误,会大大减少设计开发、应用维护的成本,显著提高软件系统设计及开发的效率。软件系统建模与验证成为软件工程领域研究的热点。传统的软件系统建模方法主要包括数学建模方法、结构化建模方法、信息建模方法和面向对象的建模方法等。这些方法在软件开发历程中都发挥了一定的作用,但是也都存在着比较明显的不足。主要表现为：数学建模方法抽象程度较高,不适合系统的分析和设计建模；结构化方法容易产生问题空间与解空间不一致的问题；信息建模强调状态而非对象,对所建模型有一定的限制；面向对象方法虽然对软件系统建模有很好的支持,但是它的形式化程度不高,对模型缺乏有效的验证和分析手段。软件开发方法的每一次改进都使软件系统的抽象层次得到一次提高。抽象层次的提高使系统涉及的具体信息与限制条件就减少,系统的适应性与概括能力就提高。如何使得抽象模型能够显现地、仿真模拟实际应用系统,早期发现系统设计的缺陷,是提高软件系统生产率和质量的关键。因此,建立可视化程度高、可执行的模型也是对软件开发方法的一种改进。软件建模方法的研究已经开展了很久,也取得了一些可喜的成果,本文在已有研究成果的基础上,针对当前研究所存在的可执行性不强,仿真模拟现实系统的力度不够,不能及早地发现设计缺陷并改进等方面的不足,以可视化、可执行模型为切入点,对基于面向对象技术、方法和Petri网融合技术进行软件系统建模提出了一些方法,本文的主要工作和贡献有以下几个方面。分析总结软件系统传统建模方法的不足,提出将面向对象技术、方法和Petri网结合的方式开展软件系统可执行模型的建模：总结归纳出4种结合的方法,并分类形成面向对象技术中嵌入Petri网、Petri网中嵌入面向对象技术和相互嵌入的3种结合形式；给出面向对象Petri网OOPN的形式定义和语义解释,并深入分析了OOPN的面向对象特征。提出基于OOPN图形界面交互行为的建模方法。首先针对用户操作图形界面的习惯确定界面操作对象,并利用OOPN对其属性和行为进行形式描述,形成对象子网；其次,分析总结操作对象间的关系,确定并定义对象子网间的顺序、同步、选择、并行和互斥5种行为关联关系；第三,在系统需求分析的基础上,将对象子网和关联关系进行集成、整合,形成系统可执行的模型。最后,根据OOPN的执行语义和变迁的引发条件,检查模型的各种可能的执行过程,验证模型的适用性和正确性。提出对前述OOPN的改进方案,扩充子网间的关联关系,使其形成虚网结构,在此基础上提出对象子网的分层原则和方法以及OOPN的化简规则,并证明化简规则的适用性；提出对象子网和OOPN的死锁标识检测算法,并通过实例,对分层方法、化简规则和死锁标识检测算法进行验证。总结基于OOPN建模方法存在的不足,采用面向对象与着色Petri网相互嵌入的结合形式,提出基于面向对象着色Petri网OOCPN基本通信协议的形式描述方法。基于该方法,以一个简单的通信协议为例,利用CPNTools工具建立一个自动可执行的模型,并通过仿真执行,验证协议的正确性和模型的各种性质,同时利用可执行模型的执行结果,对协议的传输性能进行了分析和评价。本文的工作对深入开展软件系统建模方法的研究提供了一点新的思路,对早期发现软件系统设计开发中的错误,提高设计开发效率和可靠性都具有一定的理论和实践价值。但是,所研究的方法还存在一些不足,还需进一步改进和完善,结合人们广泛熟知的UML建模语言,建立一个与平台无关的模型描述机制,加强案例分析研究和模型性质分析研究,使该方法在软件系统设计开发中真正发挥作用,提高软件系统开发的效率和质量。