More Web Proxy on the site http://driver.im/

research-article

Open access

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

Authors:

Kristóf Marussy,

Oszkár Semeráth,

Dániel VarróAuthors Info & Claims

ICSE-Companion '24: Proceedings of the 2024 IEEE/ACM 46th International Conference on Software Engineering: Companion Proceedings

Pages 64 - 68

https://doi.org/10.1145/3639478.3640045

Published: 23 May 2024 Publication History

Abstract

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://youtu.be/Qy_3udNsWsM

Continuously deployed at: https://refinery.sen/ices/

References

[1]

Abdessalem, R. B., Nejati, S., Briand, L. C., and Stifter, T. Testing vision-based control systems using learnable evolutionary algorithms. In 2018 IEEE/ACM 40th International Conference on Software Engineering (ICSE) (2018), IEEE, pp. 1016--1026.

Digital Library

[2]

Babikian, A. A., Semeráth, O., Li, A., Marussy, K., and Varró, D. Automated generation of consistent models using qualitative abstractions and exploration strategies. Softw. Syst. Model. 21, 5 (2022), 1763--1787.

Digital Library

[3]

Belnap, Jr., N. D. A useful four-valued logic. In Modern Uses of Multiple-Valued Logic, vol. 2 of EPIS. Springer, 1977, pp. 5--37.

[4]

Bergmann, G., Horváth, A., Ráth, I., Varró, D., Balogh, A., Balogh, Z., and Ökrös, A. Incremental evaluation of model queries over EMF models. In MODELS 2010 (2010), vol. 6394 of LNCS, Springer, pp. 76--90.

[5]

Famelis, M., Salay, R., and Chechik, M. Partial models: Towards modeling and reasoning with uncertainty. In 2012 34th International Conference on Software Engineering (ICSE) (2012), IEEE, pp. 573--583.

Digital Library

[6]

Gogolla, M., Büttner, F., and Richters, M. USE: A UML-based specification environment for validating UML and OCL. Science of Computer Programming 69, 1--3 (2007), 27--34.

Digital Library

[7]

González Pérez, C. A., Buettner, F., Clarisó, R., and Cabot, J. EMFtoCSP: A Tool for the Lightweight Verification of EMF Models. In Formal Methods in Software Engineering: Rigorous and Agile Approaches (FormSERA) (Zurich, Switzerland, June 2012).

[8]

Jackson, D. Alloy: a lightweight object modelling notation. ACM Transactions on Software Engineering and Methodology (TOSEM) 11, 2 (2002), 256--290.

Digital Library

[9]

Kamide, N., and Omori, H. An extended first-order Belnap-Dunn logic with classical negation. In LORI 2017, vol. 10455 of LNCS. Springer, 2017, pp. 79--93.

[10]

Marussy, K., Semeráth, O., Babikian, A. A., and Varró, D. A specification language for consistent model generation based on partial models. J. Object Technol. 19, 3 (2020), 3:1--22.

[11]

Marussy, K., Semeráth, O., and Varró, D. Automated generation of consistent graph models with multiplicity reasoning. IEEE Transactions on Software Engineering (2020).

[12]

Mendonca, M., Wąsowski, A., and Czarnecki, K. Sat-based analysis of feature models is easy. In Proceedings of the 13th International Software Product Line Conference (2009), pp. 231--240.

Digital Library

[13]

Object Management Group. SysML v2: The Next-Generation System Modeling Language. https://www.omgsysml.org/SysML-2.htm, https://github.com/Systems-Modeling/SysML-v2-Release.

[14]

Palesi, M., and Givargis, T. Multi-objective design space exploration using genetic algorithms. In Proceedings of the tenth international symposium on Hardware/software codesign (2002), pp. 67--72.

Digital Library

[15]

Refinery authors. Filesystem case study, 2024. https://github.com/graphs4value/refinery-tutorials.

[16]

Rensink, A. Isomorphism checking in GROOVE. Elect. Comm. EASST 1 (2007).

[17]

Robert, C., Guiochet, J., Waeselynck, H., and Sartori, L. V. TAF: a tool for diverse and constrained test case generation. In 21st IEEE International Conference on Software Quality, Reliability and Security, QRS 2021 (2021), IEEE, pp. 311--321.

[18]

Semeráth, O., Babikian, A. A., Chen, B., Li, C., Marussy, K., Szárnyas, G., and Varró, D. Automated generation of consistent, diverse and structurally realistic graph models. Software and Systems Modeling (2021), 1--23.

[19]

Semeráth, O., Babikian, A. A., Pilarski, S., and Varró, D. Viatra solver: a framework for the automated generation of consistent domain-specific models. In 41st International Conference on Software Engineering: Companion Proceedings, ICSE 2019 (2019), IEEE / ACM, pp. 43--46.

Digital Library

[20]

Semeráth, O., Nagy, A. S., and Varró, D. A graph solver for the automated generation of consistent domain-specific models. In ICSE (2018), ACM, pp. 969--980.

[21]

Semeráth, O., and Varró, D. Graph constraint evaluation over partial models by constraint rewriting. In Theory and Practice of Model Transformations (2017), Springer, pp. 138--154.

[22]

Semeráth, O., and Varró, D. Iterative generation of diverse models for testing specifications of DSL tools. In FASE18 (2018), Springer, pp. 227--245.

[23]

Semeráth, O., Vörös, A., and Varró, D. Iterative and incremental model generation by logic solvers. In International Conference on Fundamental Approaches to Software Engineering (2016), Springer, pp. 87--103.

[24]

Soltana, G., Sabetzadeh, M., and Briand, L. C. Practical constraint solving for generating system test data. ACM Transactions on Software Engineering and Methodology (TOSEM) 29, 2 (2020), 1--48.

[25]

Steindorfer, M. J., and Vinju, J. J. Optimizing hash-array mapped tries for fast and lean immutable JVM collections. SIGPLAN Not. 50, 10 (Oct. 2015), 783--800.

Digital Library

[26]

The Eclipse Project. EMF. https://eclipse.dev/modeling/EMF/.

[27]

The Eclipse Project. XCore. https://wiki.eclipse.org/Xcore/.

[28]

The Eclipse Project. Xtext. http://www.eclipse.org/Xtext/.

[29]

The Sterling Developers. Sterling. https://sterling-js.github.io/demo/.

[30]

Varró, D., Semeráth, O., Szárnyas, G., and Horváth, Á. Towards the automated generation of consistent, diverse, scalable and realistic graph models. In Graph Transformation, Specifications, and Nets: In Memory of Hartmut Ehrig. Springer, 2018, pp. 285--312.

[31]

Whittle, J., Hutchinson, J. E., and Rouncefield, M. The state of practice in model-driven engineering. IEEE Softw. 31, 3 (2014), 79--85.

[32]

Zheng, G., Bagheri, H., Rothermel, G., and Wang, J. Platinum: Reusing constraint solutions in bounded analysis of relational logic. In FASE (2020), pp. 29--52.

Digital Library

Cited By

Kargén UVarró DEgyed AWimmer MChechik MCombemale B(2024)Towards Automated Test Scenario Generation for Assuring COLREGs Compliance of Autonomous Surface VehiclesProceedings of the ACM/IEEE 27th International Conference on Model Driven Engineering Languages and Systems10.1145/3640310.3674098(249-256)Online publication date: 22-Sep-2024
https://dl.acm.org/doi/10.1145/3640310.3674098

Recommendations

Automated generation of consistent models with structural and attribute constraints
MODELS '20: Proceedings of the 23rd ACM/IEEE International Conference on Model Driven Engineering Languages and Systems

Automatically synthesizing consistent models is a key prerequisite for many testing scenarios in autonomous driving or software tool validation where model-based systems engineering techniques are frequently used to ensure a designated coverage of ...
Graph Solver as a Service
ICSE '23: Proceedings of the 45th International Conference on Software Engineering: Companion Proceedings

Graphs can be a key abstraction for formal verification challenges. As such, graph solvers are essential tools for synthesizing scalable domain-specific consistent graph models, which are both realistic and diverse. The main goal of this doctoral ...
Symbolic Model Generation for Graph Properties
Proceedings of the 20th International Conference on Fundamental Approaches to Software Engineering - Volume 10202

Graphs are ubiquitous in Computer Science. For this reason, in many areas, it is very important to have the means to express and reason about graph properties. In particular, we want to be able to check automatically if a given graph property is ...

Comments

Please enable JavaScript to view thecomments powered by Disqus.

Information & Contributors

Information

Published In

cover image ACM Conferences

ICSE-Companion '24: Proceedings of the 2024 IEEE/ACM 46th International Conference on Software Engineering: Companion Proceedings

April 2024

531 pages

ISBN:9798400705021

DOI:10.1145/3639478

Co-chairs:
Ana Paiva,
Rui Abreu,
Program Co-chairs:
Abhik Roychoudhury,
Margaret Storey

This work is licensed under a Creative Commons Attribution International 4.0 License.

Sponsors

In-Cooperation

Faculty of Engineering of University of Porto

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 23 May 2024

Check for updates

Author Tags

Qualifiers

Research-article

Funding Sources

Conference

ICSE-Companion '24

Sponsor:

SIGSOFT

ICSE-Companion '24: 2024 IEEE/ACM 46th International Conference on Software Engineering: Companion Proceedings

April 14 - 20, 2024

Lisbon, Portugal

Acceptance Rates

Overall Acceptance Rate 276 of 1,856 submissions, 15%

Upcoming Conference

ICSE 2025

2025 IEEE/ACM 46th International Conference on Software Engineering

April 26 - May 3, 2025

Ottawa , ON , Canada

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

1
Total Citations
View Citations
145
Total Downloads

Downloads (Last 12 months)145
Downloads (Last 6 weeks)35

Reflects downloads up to 17 Jan 2025

Other Metrics

View Author Metrics

Citations

Cited By

Kargén UVarró DEgyed AWimmer MChechik MCombemale B(2024)Towards Automated Test Scenario Generation for Assuring COLREGs Compliance of Autonomous Surface VehiclesProceedings of the ACM/IEEE 27th International Conference on Model Driven Engineering Languages and Systems10.1145/3640310.3674098(249-256)Online publication date: 22-Sep-2024
https://dl.acm.org/doi/10.1145/3640310.3674098

View Options

View options

PDF

View or Download as a PDF file.

eReader

View online with eReader.

Login options

Check if you have access through your login credentials or your institution to get full access on this article.

Full Access

Get this Publication

Media

Figures

Other

Tables

View Table of Contents