层次时间自动机论文

实时服务构件的语义特征和行为组装形式化技术研究
论文摘要在面向服务的架构中,如何根据系统资源环境的变化以及构件的功能和实时性等QoS属性动态组合已有的功能构件以满足应用需求,成为当前此领域的一个研究热点。由于采用非形式化（自...