Publication Search Form

Keywords

Authors

Year

We found publication with these paramters.

Semantic Version Management based on Formal Certification

Nikolaos Lagos, Jean-Yves Vion-Dury
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
ICSOFT, Colmar, France, 20-22 July, 2015
2015
2015/027

Attachments

2015-027.pdf (218.33 kB)

SV-ANNEX.pdf (205.67 kB)