Publications
Authors:
  • Nikolaos Lagos , Jean-Yves Vion-Dury
Citation:
ICSOFT, Colmar, France, 20-22 July, 2015
Abstract:
This paper describes a Semantic Version Management method that enables managing consistently digital resources
throughout their life cycle. The core notion is that resources are described be means of logical specifications
formally expressed using an extensible logical language. A new version is considered certified only
if the resource owner is able to formally prove that it satisfies its logical specification. The method includes
formal proofs for qualifying changes (occurring either on the resource content or on the corresponding specifications)
and accordingly characterizing them via the definition of appropriate version labels. Based on the
above method, a service-oriented solution is also described that enables managing changes consistently, in a
sound manner, for both resource owners and users.

THIS PAPER RECEIVED THE BEST PAPER AWARD
Year:
2015
Report number:
2015/027
Attachments: