rise4fun.com integration

[wmdietl]

Investigate how much work it would be to integrate with rise4fun:

http://rise4fun.com/dev

Hopefully that would be a small incremental cost and give exposure to a large audience.

[CharlesZ-Chen]

Hi Prof. Dietl,

I've looked at the develop instruction on rise4run.com. It seems we only need to provide a web service that receives requests and gives responses in rise4run's format.

This shouldn't be hard (hopefully..), but currently the problem is we might need a public url for the development of integration with rise4fun. (rise4run provides a "test" mode for development, to let developers see their web service whether behave correctly on rise4run, but this need a developer provides a public url of the web service which could let rise4run interacts with the web service).

I've tried on my own laptop but unfortunately I only have wifi network and cannot have an IP address that could let the rise4run interacts with it.

Can we use the port 80 in eisop.uwaterloo.ca to allocate a public url (e.g. eisop.uwaterloo.ca/live-dev-rise4fun) for development? This might need to create a directory under /www/var and might require write right to that specific directory.

I'm not sure whether this is a good idea, but this is the way I think might possible for now...

Do you have any suggestions? Thanks!

[jsinglet]

Hi Guys,

If you guys are still trying to do this I wanted to point you to a Rise4Fun integration we built for OpenJML: https://github.com/OpenJML/try-openjml

For security, we wrap our tool in a docker instance, but you can see the details of how it can be implemented in that repo. Specifically the code under this path: https://github.com/OpenJML/try-openjml/tree/master/src/main/java

You can see a live demo of the result, here: http://www.rise4fun.com/preview?url=http%3a%2f%2fopenjml.cs.ucf.edu%2fExtendedStaticChecker

(just scroll past the red preview text at the top to see the tool).

Best,
JLS

[wmdietl]

Thanks for the comment, John! Will take a look.

[jsinglet]

No problem! Let me know if you have any questions!