论文部分内容阅读
分布式实时系统已经广泛应用于各个领域,可靠性要求也越来越高。由于分布式实时系统是时间关键系统,时间是一种重要的资源,输出结果的正确性不仅取决于计算所形成的逻辑结果,还要取决于结果产生的时间。在分布式实时系统中,必须在限定时间内完成消息的发送和接收。分布式实时系统的失败轻则导致经济财产损失,重则生命丢失。所以实时系统的时间特性,是决定分布式实时系统的可靠性的重要因素。
实时性作为实时系统的其中一个非功能需求,往往横切整个系统模块,引起代码混乱和代码分散等问题,导致系统难于设计、重用和维护,严重影响系统的性能。
面向方面技术允许系统开发者在系统设计时,通过关注分离的技术,从核心功能性需求中分离出不同的关注。为了保证分布式实时系统的可靠性,系统设计阶段,可以利用AO技术,把实时性作为一个单独的方面进行建模。
但是,AOP技术目前还不成熟,还没有形成统一的标准建模方法。分布式实时系统的时间分析是非常复杂的,对面向方面建模的要求尤其高,是最能考验面向方面建模技术灵活性的一个方面。目前,还没有一种较完善的统一的建模方法对时间特性进行建模。
建模方法通用性和规范化越来越受到人们的重视。在系统建模过程中,建模方法表示能力的强弱是影响建模准确性和简易性的重要因素。一种成熟的建模方法的表示不应也不可能做到大而全,否则会严重降低方法的易操作性和模型的质量。这就要求我们在相关建模方法之间的联系上进行挖掘,大胆借鉴其他方法在表示能力上的某些优点,来丰富我们的建模思想。我们要保证系统的可靠性,提高系统能性能,必须要有形式化描述和分析。
本文系统的介绍了面向方面技术,分布式实时系统面向方面的建模方法,详细介绍UML和各种形式化方法在时间方面的建模,把时间子方面思想融入UML实时建模,提出一种通用的面向方面分布式实时系统的时间模型(AOSDM-UML&SP)。在AOSDM-UML的基础上,进一步实时扩展,通过UML和SQTL、模糊时间Petri网(FTN)的结合,使UML可以清晰体现时间的各个子方面,解决了AOP基于UML建模实时系统的语义问题,更好的保证系统的性能。AOSDM-UML&SP,是一个表示能力、通用性较强的一个建模方法,既能描述时间各个子方面,而且能直观、规范、精确的描述系统,适合各阶段的设计人员和客户之间的交流,还为以后的织入、代码自动生成和测试提供方便。