首页> 外文会议>Current Trends in Information Technology (CTIT), 2009 >Formalism for high level specification of parallel/distributed languages
【24h】

Formalism for high level specification of parallel/distributed languages

机译:用于并行/分布式语言高级规范的形式主义

获取原文
获取外文期刊封面目录资料

摘要

Industry is increasingly dependent on distributed systems. In order to prevent the users having to deal with unnecessary details, experts are going for languages specifically created for distributed system domain. Such systems are often considered to be complex. Assuring the correctness of these systems with traditional code reviews and testing is difficult as these verification methods deal with the high-level specification of the system. In order to prove that high-level specification is correctly implemented at the lower level, the compiler, which performs the translation, needs to be verified. Using formal methods, based on mathematics and formal logic, specification and verification have been discussed as a means of a solution. This paper identifies and analyses the available formalisms and techniques for verifying the correct operation of parallel and distributed systems.
机译:工业越来越依赖于分布式系统。为了防止用户不得不处理不必要的细节,专家正在寻求专门为分布式系统域创建的语言。这样的系统通常被认为是复杂的。由于这些验证方法要处理系统的高级规范,因此很难通过传统的代码检查和测试来确保这些系统的正确性。为了证明在较低级别正确实现了高级规范,需要对执行转换的编译器进行验证。使用基于数学和形式逻辑的形式方法,已经讨论了规范和验证作为解决方案的一种方法。本文确定并分析了可用的形式主义和技术,以验证并行和分布式系统的正确操作。

著录项

相似文献

  • 外文文献
  • 中文文献
  • 专利
获取原文

客服邮箱:kefu@zhangqiaokeyan.com

京公网安备:11010802029741号 ICP备案号:京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有
  • 客服微信

  • 服务号