随着计算机应用范围的不断扩大,特别是Internet的出现和发展,基于网络环境下的分布式计算逐步成为计算机应用系统的主流.由系统与外部环境的动态交互以及系统内部各组件间的协同工作来完成,是一个交互的、并发的、分布的开放计算过程.对象技术的发展和成熟,对计算机大规模应用软件的设计、复用和维护,起到了很大作用.但是,对象理论的研究与对象技术的发展相比较,则是理论的发展远远滞后于工程技术的发展.该种不平衡将会直接影响组合软件系统的设计和质量.因此,研究对象系统静态语义和动态语义的形式化描述和验证,是极其必要的,它既有助于提高软件系统的可靠性,又有利于系统的组合构造和利用,具有重要的理论价值和实际意义.论文工作选定系统动态行为模型和形式语义为具体研究对象,研究涉及分布对象计算和形式化方法.论文的特色是强调研究分布对象系统行为的内、外因的有机统一,不是孤立地研究对象系统的内部静态结构或动态计算过程,而是把两者有机地结合在一起,将对象系统的交互计算特征纳入一个统一的抽象概念模型之中.