论文部分内容阅读
随着计算机技术的快速发展，人类社会对计算机软件的需求不断增加。在开发软件的实践中，基于构件的软件复用技术成为提高软件生产效率和软件质量的有效途径之一，因此基于构件的软件开发成为软件研究和开发实践所关注的重点。而近些年来，随着Internet技术的飞速发展，软件应用的基础环境已经由集中式变为分布式，封闭网络环境变为开放网络环境。这在为软件开发提供了无限的可复用资源(构件)的同时，也使得资源所表现的行为变得动态和不可预测，因此基于动态网络环境运行的系统其行为也变得难以预测。但主流的构件技术如CORBA，EJB等多面向固定、封闭的计算环境，因此如何改进基于构件的软件系统的系统架构，准确把握系统行为，并对系统行为进行监控，以实现对系统行为变化的有效检查，保证基于构件的软件系统的正确运行，成为一个重要的研究问题。本文在分析总结构件系统动态行为描述已有工作的基础之上，定义了构件系统的模型，包括构件的功能实现行为模型和构件间的交互行为模型，基于这两个模型来合成系统行为，并对合成的系统行为在系统构件演化时的约束检查进行了研究，在保证系统行为正确性的同时，以更灵活的机制来适应开放网络环境。我们的工作主要包括以下两个部分；
◆首先我们基于Petri—net的模型形式化地描述构件的功能实现行为和构件间的交互行为，并通过这两者合成系统行为。并对合成的系统行为一致性约束进行了研究，基于对象系统中描述类与其子类行为的相互关系而提出的一致性规则：观察一致性和调用一致性，我们分别在构件行为层面和系统行为层面定义了行为约束关系。特别是系统层次的工作使得我们不需要对替换的构件行为进行严格的行为约束，就能保证系统行为规范的实现，保证系统行为执行的正确性，这样在保证了运行时的系统行为不会偏离系统目标而产生错误的同时又实现了构件演化的灵活性。
◆其次在前期SOBECA系统基础之上，添加了更多的构件行为描述信息，设计并实现了一个新的系统SBECCA，这其中包括一个基于Eclipse平台的可视化开发工具，在系统中支持系统行为的合成以及构件开发、演化时的系统行为一致性检查，实现运行态监控检查。并扩展了基于服务构件的OSGi平台，将其作为系统的运行支撑环境。最后通过一个863孵化器网站的具体应用示例来证明其合理性。