Skip to content

Latest commit

 

History

History
64 lines (37 loc) · 5.43 KB

README.md

File metadata and controls

64 lines (37 loc) · 5.43 KB
Raw

Refinery

Build Quality Gate Status Coverage Maven Central Gradle Plugins

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.

For more information, see our webpage. Alternatively, you can build Java applications with Refinery or set up a local development environment to compile and run Refinery from source.

Related publications

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

Copyright (c) 2021-2024 The Refinery Authors

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

Refinery complies with the REUSE Specification – Version 3.2 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.