摘要
时空一致(time-space consistency,简称TSC)是面向服务分布仿真应用(service-oriented distributedsimulation application,简称SODSA)中关键的基础性问题,目前的研究侧重于考虑狭义的时间和空间概念,难以实现建模与仿真全过程的整体一致性.通过分析SODSA的广义时空一致性需求及其不一致的影响因素,引入了系统的全局时空一致性轴概念.在此基础上,提出了广义时空层级一致性构想,包括形式化定义、一致性四域模型、一致性时空成熟度和一致性层级框架.该研究成果深化了对SODSA全局一致性时空需求的理解,有助于解决整个仿真系统的不一致问题,为分布仿真应用全局TSC量化评价奠定了基础.
Time-Space consistency (TSC) is a crucial and fundamental problem in service-oriented distributed simulation application (SODSA), but current researches have been inclined to consider the concepts of special time and space and have been unable to achieve the global TSC in whole modeling and simulation. By analyzing requirements of generalized TSC and its inconsistent factors, the study presents the global axis of TSC. The notion generalized time-space hierarchical consistency is proposed, consisting of formal definition, of the consistency-resource-model-service-perceive model (C-RMSP), consistency-time-space maturity (C-TSM), and consistency- hierarchical framework (C-HF). The research achievements in this paper reinforce the understanding of global time-space demands of consistency and support global quantitative evaluation on TSC of distributed simulation applications in the future, which are beneficial to resolving inconsistent issues in the whole simulation system.
出处
《软件学报》
EI
CSCD
北大核心
2013年第2期317-330,共14页
Journal of Software
基金
国家自然科学基金(61272336)
国家科技支撑计划(2009BAG12A05)
关键词
分布仿真应用
广义时空
层级一致性
形式化方法
面向服务架构
distributed simulation application (DSA)
generalized time-space
hierarchical consistency
formal method
service-orientedarchitecture (SOA)