This is an archive of the old software engineering chair at Saarland University. It is no longer up-to-date.

Versioning System Models Through Description Logic - SCM 1998
by Andreas Zeller

Lecture Notes in Computer Science, B. Magnusson (Ed.), Proceedings of the 8th International Workshop on Software Configuration Management (SCM-8), Pages 127-132, Volume 1439, Springer, Berlin, Germany, July 1998.

See also

More information is available at


In software configuration management, little attention has been paid to the evolution of system models , that is, the description of the components that make up a system, and the relationships between them. We present an extension to the version set model based on description logic, where roles , set-valued features, model relationships between version sets. Relationships are versioned with their components; features are propagated and unified along component relationships, ensuring configuration completeness and consistency. The integrated version set model has been realized in ICE MAKE, a MAKE clone dealing with versioned system models. ICE MAKE constructs arbitrary version sets according to their respective dependencies and deduces features and dependencies as imposed by the propagated configuration constraints.


BibTeX Entry

    title = "Versioning System Models Through Description Logic",
    author = "Andreas Zeller",
    year = "1998",
    month = jul,
    address = "Berlin, Germany",
    booktitle = "Proceedings of the 8th International Workshop on Software Configuration Management (SCM-8)",
    editors = "B. Magnusson",
    journal = "Lecture Notes in Computer Science",
    location = "Brussels, Belgium",
    pages = "127--132",
    publisher = "Springer",
    volume = "1439",

Show all publications of the Software Engineering Chair.