Semantic Version Management based on Formal Certification Jean-Yves Vion-Dury and Nikolaos Lagos

Abstract: This paper describes a Semantic Version Management method that enables managing consistently digital re-sources throughout their life cycle. The core notion is that resources are described be means of logical speci-fications 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 spec-ifications) 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.