卡洛·贝莱蒂尼;卡米利、马蒂奥;洛伦佐·卡普拉;蒙加，马蒂亚 MaRDiGraS：在大型集群上简化可达性图的构建。 （英语） Zbl 1407.68346号 Abdulla，Parosh Aziz（编辑）等，《可达性问题》。第七届国际研讨会，RP 2013，瑞典乌普萨拉，2013年9月24日至26日会议记录。柏林：斯普林格。莱克特。票据计算。科学。8169, 83-95 (2013). 摘要：处理复杂系统通常需要构建巨大的可达性图，从而揭示与大数据访问和管理相关的所有挑战。它还需要高性能的数据处理工具，使科学家能够从这些分析系统中前所未有的数据量中提取知识。本文介绍了MaRDiGraS，这是一个通用框架，旨在简化大型集群和云计算平台上超大状态转换系统的构建。通过一个简单的编程接口，它可以很容易地定制为不同的形式，例如Petri网，通过调整遗留工具或实现全新的分布式可达性图生成器。给出了对基准规范进行的几次测试的结果。关于整个系列，请参见[Zbl 1291.68010号]. MSC公司： 68兰特 计算机科学中的图论（包括图形绘制） 68英里11 互联网主题 64岁以下 分布式系统 68问题85 并发和分布式计算的模型和方法（进程代数、互模拟、转换网等） 68单位35 信息系统的计算方法（超文本导航、接口、决策支持等） 关键词：可达图;大数据;形式化方法;分布式计算;云计算;MapReduce 软件：Hadoop公司;GreatSPN公司;2号管道;MaRDiGraS公司;旋风 PDF格式BibTeX公司 XML格式引用 \textit{C.Bellettini}等人，Lect。票据计算。科学。8169，83-95（2013；Zbl 1407.68346） 全文： DOI程序