Refinery: Graph Solver as a Service Refinement-based Generation and Analysis of Consistent Models

• Published in: Proceedings (IEEE/ACM International Conference on Software Engineering Companion. Online) pp. 64 - 68
• Main Authors: Marussy, Kristof, Ficsor, Attila, Semerath, Oszkar, Varro, Daniel
• Format: Conference Proceeding
• Language: English
• Published: ACM 14.04.2024
• Subjects: Analytical models; Cloud service; Computational modeling; Computer architecture; Logic; Logic solver; Mathematical models; Model generation; Partial modeling; Specification languages; Systematics
• ISSN: 2574-1934
• DOI: 10.1145/3639478.3640045

Various software and systems engineering scenarios rely on the systematic construction of consistent graph models. However, automatically generating a diverse set of consistent graph models for complex domain specifications is challenging. First, the graph generation problem must be specified with mathematical precision. Moreover, graph generation is a computationally complex task, which necessitates specialized logic solvers. Refinery is a novel open-source software framework to automatically synthesize a diverse set of consistent domain-specific graph models. The framework offers an expressive high-level specification language using partial models to succinctly formulate a wide range of graph generation challenges. Moreover, it provides a modern cloud-based architecture for a scalable graph solver as a service, which uses logic reasoning rules to efficiently synthesize a diverse set of solutions to graph generation problems by partial model refinement. Applications include system-level architecture synthesis, test generation for modeling tools or traffic scenario synthesis for autonomous vehicles. Video demonstration: https: I Iyoutu. be/Qy_3udNsWsM Continuously deployed at: https: I Irefinery. servicesl