Semantic Version Management based on Formal Certification

Jean-Yves Vion-Dury, Nikolaos Lagos


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.


  1. M. Novakouski, G. Lewis, W. Anderson and J. Davenport. ”Best Practices for Artifact Versioning in Service-Oriented Systems,” Software Engineering Institute, Carnegie Mellon University, Pittsburgh, Pennsylvania, Technical Note CMU/SEI-2011-TN-009, 2012. files/TechnicalNote/2012 004 001 15356.pdf
  2. K. Jerijaervi and J.-J. Dubray, Contract Versioning, Compatibility and Composability,” InfoQ Magazine, Dec. 2008;
  3. R. Conradi and B. Westfechtel. ”Version models for software configuration management”. ACM Comput. Surv. 30, 2 (June 1998), 232- 282. DOI=10.1145/280277.280280 10.1145/280277.280280
  4. M. B. Juric, A. Sasa, B. Brumen and I. Rozman, ”WSDL and UDDI extensions for version support in web services”. Journal of Systems and Software, Volume 82, Issue 8, August 2009, pp 1326-1343. ISSN 0164-1212,
  5. Curtis Wetherly, Bryan R. Goring, Michael Shenfield, Michael Cacenco. System and method for implementing data-compatibility-based version scheme, US Patent 8,555,272. 2013.
  6. Cacenco, M. and Goring, B. and Shenfield, M. and Wetherly, C. Implementing data-compatibilitybased version scheme, WO Patent App. PCT/CA2005/001,345, 2006.
  7. Vairavan, V. and Bellur, U. Method and system for versioning a software system. US Patent App. 12/324,950, 2009.
  8. M. P. Papazoglou, S. Benbernou, V. Andrikopoulos ”On the Evolution of Services,” IEEE Transactions on Software Engineering, vol. 38, no. 3, pp. 609-628, May-June, 2012 - preprint, mikep/publications/IEEETSE%20%5Bpreprint%5D.pdf
  9. Leitner, P.; Michlmayr, A.; Rosenberg, F.; Dustdar, S. ”End-to-End Versioning Support for Web Services,” Services Computing, 2008. SCC 7808. IEEE International Conference on , vol.1, no., pp 59-66, July 2008 - Technical report version doi: 10.1109/SCC.2008.21
  10. P. Brada. ”Specification-Based Component Substitutability and Revision Identification”. PhD thesis, Charles University, Prague, August 2003, phd.pdf
  11. CORBA 3.3. Accessed June The Curry-Howard isomorphism, 1995, vol. 8, p. 27- 54.
  12. D. Laboreo. Introduction to Natural Deduction. Tutorial, May 2005. logica/dn.en.pdf.
  13. PERICLES a FP7 European project. 2013-2017.
  14. J.-Y. Vion-Dury and N. Lagos, Technical Annex 76/file/SV-ANNEX.pdf.

Paper Citation

in Harvard Style

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

in Bibtex Style

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)},

in EndNote Style

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