Semantic Version Management based on Formal Certification

Jean-Yves Vion-Dury; Nikolaos Lagos

Research.Publish.Connect.

Title:
ISBN:
Year:
Acronym:
Subject:

Advanced Search Proceedings Search

If you're looking for an exact phrase use quotation marks on text fields.

Title:
Author:
Affiliation:
Subject:

Advanced Search Papers Search

If you're looking for an exact phrase use quotation marks on text fields.

Name:
Affiliation:
Country:
Conference:
Subject:

Advanced Search Authors Search

If you're looking for an exact phrase use quotation marks on text fields.

Name:
Country:
Subject:

Advanced Search Affiliations Search

If you're looking for an exact phrase use quotation marks on text fields.

Proceedings

Proceedings Search

Title:
ISBN:
Year:
Acronym:
Subject:

Advanced Search Proceedings Search

If you're looking for an exact phrase use quotation marks on text fields.

Papers

Papers Search

Title:
Author:
Affiliation:
Subject:

Advanced Search Papers Search

If you're looking for an exact phrase use quotation marks on text fields.

Authors

Authors Search

Name:
Affiliation:
Country:
Conference:
Subject:

Advanced Search Authors Search

If you're looking for an exact phrase use quotation marks on text fields.

Advanced Search

Paper

Semantic Version Management based on Formal Certification

Topics: Model Analysis and Checking; Model Versioning

In Proceedings of the 10th International Conference on Software Paradigm Trends - Volume 0ICSOFT, 19-30, 2015 , Colmar, Alsace, France

Authors: Jean-Yves Vion-Dury and Nikolaos Lagos

Affiliation: Xerox Research Centre Europe, France

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.

CC BY-NC-ND 4.0

Guest: Register as new SciTePress user now for free.

SciTePress user: please login.

My Papers

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

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 (ICSOFT 2015) - ICSOFT-PT; ISBN 978-989-758-115-1, SciTePress, 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 (ICSOFT 2015) - ICSOFT-PT},
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 (ICSOFT 2015) - ICSOFT-PT
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
PB - SciTePress