loading
Documents

Research.Publish.Connect.

Paper

Paper Unlock

Authors: Jean-Yves Vion-Dury and Nikolaos Lagos

Affiliation: Xerox Research Centre Europe, France

ISBN: 978-989-758-115-1

Keyword(s): Semantic Versioning, Version Management, Software Versioning.

Related Ontology Subjects/Areas/Topics: Model Analysis and Checking ; Model Versioning ; Models ; Paradigm Trends ; Software Engineering

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.

PDF ImageFull Text

Download
Sign In Guest: Register as new SciTePress user now for free.

Sign In SciTePress user: please login.

PDF ImageMy Papers

You are not signed in, therefore limits apply to your IP address 54.158.199.217

In the current month:
Recent papers: 100 available of 100 total
2+ years older papers: 200 available of 200 total

Paper citation in several formats:
Vion-Dury J. and Lagos N. (2015). Semantic Version Management based on Formal Certification.In Proceedings of the 10th International Conference on Software Paradigm Trends - Volume 1: ICSOFT-PT, (ICSOFT 2015) ISBN 978-989-758-115-1, pages 19-30. DOI: 10.5220/0005511300190030

@conference{icsoft-pt15,
author={Jean-Yves Vion-Dury and Nikolaos Lagos},
title={Semantic Version Management based on Formal Certification},
booktitle={Proceedings of the 10th International Conference on Software Paradigm Trends - Volume 1: ICSOFT-PT, (ICSOFT 2015)},
year={2015},
pages={19-30},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0005511300190030},
isbn={978-989-758-115-1},
}

TY - CONF

JO - Proceedings of the 10th International Conference on Software Paradigm Trends - Volume 1: ICSOFT-PT, (ICSOFT 2015)
TI - Semantic Version Management based on Formal Certification
SN - 978-989-758-115-1
AU - Vion-Dury J.
AU - Lagos N.
PY - 2015
SP - 19
EP - 30
DO - 10.5220/0005511300190030

Login or register to post comments.

Comments on this Paper: Be the first to review this paper.