– DRAFT –
(MEETING TITLE)

this meeting is ODRL at TPAC

Gabriel: participation in Fiware, GaiaX, slow development

Andrea: EU funded project AURORAL

Juan: In Andrea's team

Nicoletta: formal model to check compliance to ODRL policy

Nicoletta: temporal evolution of state of policies.

Soheil: PhD student supervised by Nicoletta, working as a team

scribe @victor

<victor> Beatriz: PhD student at UPM

<victor> Beatriz: Future ODRL needs Formal semantics

<victor> Gabriel: +1

<victor> Andrea: validation, conformance, compliance, standard behaviour on certain policies

<victor> Soheil: odrl represent actions as classes

<victor> Nicoletta: There are different use cases, very different. Survey of uses would be of interest.

<victor> Nicoletta: I am interested if there has been IN THE PAST a violation; Access Control is slightly different, because violations cannot happen.

<victor> Nicoletta: documentation must answer the question "how can ODRL be used?"

<victor> Nicoletta: https://github.com/w3c/odrl/blob/master/formal-semantics/Compliance%20checking%20ODRL%20policies.md

<victor> Victor: presents history of odrl

<victor> Victor: on the convenience of having regular meeting, or how to continue

<victor> victor: need to define software artifacts and their behaviours, test beds, conformance

<victor> Andrea: equivalent tests were made in the IoT system

<victor> https://www.w3.org/participate/implementation

<victor> Nicoletta: we have two tasks ahead, describing the representation and implementing the behaviour.

<victor> Victor: current specs are still poor https://w3c.github.io/odrl/formal-semantics/

<victor> Victor: we need the help of others

<victor> Piero Bonatti https://www.docenti.unina.it/webdocenti-be/allegati/contenuti/1487368

<victor> Victor: but we need further development

<victor> Nicoletta: ok, lets meet again, but action on Beatriz to describe the Access Control scenario

<victor> Nicoletta which is not the same as the Policy Monitoring scenario

<victor> Andrea: presents some slides

<victor> Andrea: AURORAL project. (see slides)

<victor> Soheil: is there any blockchain in here?

<victor> Andra: no, there isnt, this would be a different use case.

<victor> Nicoletta: in some cases strict access control is not the best choice

<victor> Nicoletta: for example access control to medical records, may save lives if the official permission system is overriden in case of emergency

<victor> Nicoletta: violations are in some situations very useful!

<victor> Nicoletta: congrats for your presentation

ACTION: to create new use cases

RESOLUTION: next Formal Semantics meeting after this progress has been verified

<victor> end this meeting