Semantic Version Management based on Formal Certification - Naver Labs Europe
loader image

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.

NAVER LABS Europe
NAVER LABS Europe
Ceci correspond à une petite biographie d'environ 200 caractéres