A Family of License Languages

Опубликовано 6 сентября 2016, 16:56

This is a methodology colloquium talk. Classical digital rights license languages applied to the electronic ``downloading'', payment and rendering (playing) of artistic works (for example music, literature readings and movies). In this talk we generalise such applications languages and we extend the concept of licensing to also cover work authorisation (work commitment and promises) in health care and in public government. The digital works for these two new application domains are patient medical records and public government documents. Digital rights licensing for artistic works seeks to safeguard against piracy and to ensure proper payments for the rights to render these works. Health care and public government license languages seek to ensure transparent and professional (accurate and timely) health care, respectively `good governance'. Proper mathematical definition of licensing languages seeks to ensure smooth and correct computerised management of licenses. In this talk we shall motivate and exemplify three license languages, their pragmatics, syntax and informal as well as formal semantics.