论文部分内容阅读
实时分布式软件在当今的软件应用领域有着越来越大的需求。但是因为这种软件固有的复杂性和高性能要求导致实时分布式软件研发难度很大。随着构件技术的成熟,实时分布式软件可以使用这种技术来降低研发成本,提高系统研发效率。形式化软件建模技术可以在软件设计之初建立软件模型,然后通过精确的数学分析验证软件的正确性。这样可以提前预测软件生产出来以后的情况,减少了软件研发难度。 本文中我们首先设计了一套具有实时性和分布式特点的构件系统的形式化描述方法,做为建模方法的前提。然后对π-演算做了深入研究,并对其进行了时间扩展,使其建立的模型能够验证软件的实时性。然后对其在构件系统上进行了规约,使其能够适用于构件系统的模型建立,并最终形成了一种适用于基于构件的实时分布式软件的建模技术。主要工作如下: (1)研究了构件以及软件的实时性和分布式的概念,明确了基于构件的实时分布式软件的概念,并且给出了这种软件的形式化描述和定义。 (2)比较了当前较为成熟和流行的软件形式化建模技术的优缺点,选择了一种最合适的技术—π-演算作为我们建模方法的基础,并对其做了时间性扩展。最后对其验证方法作了阐述。 (3)对增加了时间扩展的π-演算技术进行了规约,使其能够适用于基于构件的实时分布式软件的建模。 (4)给出了一个实例来说明这种建模方法的建模过程,通过实践证实了整个建模过程的有效性。 总之,通过π-演算扩展和规约,产生了一种适合基于构件的实时分布式软件的建模方法,使得基于构件的实时分布式软件的可靠性、健壮性和可预测性得到了保障。