Refinery

Refinery provides consistent graph model generation by partial model refinement.

See the Refinery tutorial for more information.

Graph-Solver-as-a-Service

Visit https://refinery.services to try our Graph-Solver-as-a-Service supported by the 2022 Amazon Research Award.

Running locally

To generate larger models with a longer timeout, you can use our Docker container on either amd64 or arm64 machines:

docker run --rm -it -p 8888:8888 ghcr.io/graphs4value/refinery

Once Docker pulls and starts the container, you can navigate to http://localhost:8888 to open the model generation interface and start editing.

Alternatively, you can follow the instructions in CONTRIBUTING.md to set up a local development environment and compile and run Refinery from source.

Tool demonstration

K. Marussy, A. Ficsor, O. Semeráth, D. Varró: “Refinery: Graph Solver as a Service” ICSE 2024 Demonstrations [doi] [pdf] [video]

Partial model specification language

K. Marussy, O. Semeráth, A. Babikian, D. Varró: A Specification Language for Consistent Model Generation based on Partial Models. J. Object Technol. 19(3): 3:1-22 (2020) [doi] [pdf] [video]

Consitent graph generation techniques

O. Semeráth, A. Nagy, D. Varró: “A graph solver for the automated generation of consistent domain-specific models.” ICSE 2018: 969-980 [doi] [pdf]
K. Marussy, O. Semeráth, D. Varró: Automated Generation of Consistent Graph Models With Multiplicity Reasoning. IEEE Trans. Softw. Eng. 48(5): 1610-1629 (2022) [doi] [pdf]
A. Babikian, O. Semeráth, A. Li, K. Marussy, D. Varró: Automated generation of consistent models using qualitative abstractions and exploration strategies. Softw. Syst. Model. 21(5): 1763-1787 (2022) [doi] [pdf]

Diverse and realistic graph generation

O. Semeráth, R. Farkas, G. Bergmann, D. Varró: Diversity of graph models and graph generators in mutation testing. Int. J. Softw. Tools Technol. Transf. 22(1): 57-78 (2020) [doi] [pdf]
O. Semeráth, A. Babikian, B. Chen, C. Li, K. Marussy, G. Szárnyas, D. Varró: Automated generation of consistent, diverse and structurally realistic graph models. Softw. Syst. Model. 20(5): 1713-1734 (2021) [doi] [pdf]

Correctness proofs

D. Varró, O. Semeráth, G. Szárnyas, Á. Horváth: “Towards the Automated Generation of Consistent, Diverse, Scalable and Realistic Graph Models.” Graph Transformation, Specifications, and Nets 2018: 285-312 [doi] [pdf]

License

Refinery is available under the Eclipse Public License - v 2.0.

Refinery complies with the REUSE Specification – Version 3.0 to provide copyright and licensing information to each file, including files available under other licenses. For more information, see the comments headers in each file and the license texts in the LICENSES directory.