共查询到10条相似文献,搜索用时 15 毫秒
1.
2.
3.
4.
本文介绍了一种简单而有效的分布式数据库模型。这种模型能在分布式数据处理环境中模拟数据库应用和缓冲管理。结果证明这种模型对于分布式数据库的设计是一种有效的系统工程工具。 相似文献
5.
非形式化/半形式化模型到形式化模型之间的转换是当前软件工程领域的研究热点。根据异构模型转换,提出了基于MDA的MARTE模型到Object-Z规约之间的转换方法。针对Object-Z在实时领域表达能力不足的问题,首先扩展Object-Z元模型;然后在MDA的元元模型体系下,定义了MARTE元模型和扩展的Object-Z元模型之间的转换规则。MARTE模型可以重用这些转换规则以实现到Object-Z形式化描述之间的转换,进而可以对模型进行形式化验证;最后通过一个实例使用该方法完成模型转换,具体说明了转换规则的应用。 相似文献
6.
7.
8.
9.
在介绍天基预警系统作战流程,以及天基预警系统资源和任务的分析和描述的基础上,提出天基预警系统资源调度问题,给出其输入输出结构,并以五元组的形式对该问题进行形式化描述。
关键词:天基预警系统、资源调度、形式化描述 相似文献