Structure of notifications
At least three different possibilities:
- tuple<“JEDI”, “http://www…”, 1>
- record<ProductName= “JEDI”, URL= ..., ProductRelease= 1>
- object class NewSoftwareRelease: public Notification { private String ProductName; private String URL; private Integer ProductRelease; public void Install();}