<?xml version="1.0" encoding="utf-8"?>
<TEI xmlns="http://www.tei-c.org/ns/1.0" xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" xmlns:hal="http://hal.archives-ouvertes.fr/" xmlns:gml="http://www.opengis.net/gml/3.3/" xmlns:gmlce="http://www.opengis.net/gml/3.3/ce" version="1.1" xsi:schemaLocation="http://www.tei-c.org/ns/1.0 http://api.archives-ouvertes.fr/documents/aofr-sword.xsd">
  <teiHeader>
    <fileDesc>
      <titleStmt>
        <title>HAL TEI export of hal-00707543</title>
      </titleStmt>
      <publicationStmt>
        <distributor>CCSD</distributor>
        <availability status="restricted">
          <licence target="https://creativecommons.org/publicdomain/zero/1.0/">CC0 1.0 - Universal</licence>
        </availability>
        <date when="2026-05-24T15:32:33+02:00"/>
      </publicationStmt>
      <sourceDesc>
        <p part="N">HAL API Platform</p>
      </sourceDesc>
    </fileDesc>
  </teiHeader>
  <text>
    <body>
      <listBibl>
        <biblFull>
          <titleStmt>
            <title xml:lang="en">Using Constraint Programming to Verify DOPLER Variability Models</title>
            <author role="aut">
              <persName>
                <forename type="first">Raul</forename>
                <surname>Mazo</surname>
              </persName>
              <email type="md5">c124540397d71b274d9d252112ca65a0</email>
              <email type="domain">gmail.com</email>
              <idno type="idhal" notation="string">raul-mazo</idno>
              <idno type="idhal" notation="numeric">752533</idno>
              <idno type="halauthorid" notation="string">7422-752533</idno>
              <idno type="ORCID">https://orcid.org/0000-0003-0629-1542</idno>
              <idno type="GOOGLE SCHOLAR">https://scholar.google.fr/citations?user=35pvAjIAAAAJ</idno>
              <idno type="VIAF">https://viaf.org/viaf/290366847</idno>
              <idno type="ISNI">http://isni.org/isni/0000000432856727</idno>
              <idno type="IDREF">https://www.idref.fr/163859825</idno>
              <affiliation ref="#struct-74131"/>
            </author>
            <author role="aut">
              <persName>
                <forename type="first">Paul</forename>
                <surname>Grünbacher</surname>
              </persName>
              <idno type="halauthorid">611082-0</idno>
              <affiliation ref="#struct-107396"/>
            </author>
            <author role="aut">
              <persName>
                <forename type="first">Wolfgang</forename>
                <surname>Heider</surname>
              </persName>
              <idno type="halauthorid">611083-0</idno>
              <affiliation ref="#struct-97984"/>
            </author>
            <author role="aut">
              <persName>
                <forename type="first">Rick</forename>
                <surname>Rabiser</surname>
              </persName>
              <idno type="halauthorid">611084-0</idno>
              <affiliation ref="#struct-97984"/>
            </author>
            <author role="aut">
              <persName>
                <forename type="first">Camille</forename>
                <surname>Salinesi</surname>
              </persName>
              <email type="md5">421ed2e40fd3127baa251ee745178fec</email>
              <email type="domain">univ-paris1.fr</email>
              <idno type="idhal" notation="string">camille-salinesi</idno>
              <idno type="idhal" notation="numeric">10585</idno>
              <idno type="halauthorid" notation="string">5250-10585</idno>
              <idno type="ORCID">https://orcid.org/0000-0002-1957-0519</idno>
              <idno type="GOOGLE SCHOLAR">https://scholar.google.fr/citations?hl=fr&amp;user=AAMCoS4AAAAJ</idno>
              <idno type="IDREF">https://www.idref.fr/115647813</idno>
              <affiliation ref="#struct-74131"/>
            </author>
            <author role="aut">
              <persName>
                <forename type="first">Daniel</forename>
                <surname>Diaz</surname>
              </persName>
              <email type="md5">db7c364433af6f17834ada9f9a02d61a</email>
              <email type="domain">univ-paris1.fr</email>
              <idno type="idhal" notation="string">daniel-diaz</idno>
              <idno type="idhal" notation="numeric">177531</idno>
              <idno type="halauthorid" notation="string">14219-177531</idno>
              <idno type="ORCID">https://orcid.org/0000-0002-2700-2271</idno>
              <idno type="IDREF">https://www.idref.fr/069722358</idno>
              <idno type="GOOGLE SCHOLAR">hcg9zOUAAAAJ</idno>
              <idno type="VIAF">https://viaf.org/viaf/199868036</idno>
              <affiliation ref="#struct-74131"/>
            </author>
            <editor role="depositor">
              <persName>
                <forename>Raul</forename>
                <surname>Mazo</surname>
              </persName>
              <email type="md5">7c2125a6589d84bd9a07c14dee50fcf9</email>
              <email type="domain">hotmail.com</email>
            </editor>
          </titleStmt>
          <editionStmt>
            <edition n="v1" type="current">
              <date type="whenSubmitted">2012-06-13 00:18:11</date>
              <date type="whenModified">2025-06-23 09:33:37</date>
              <date type="whenReleased">2012-06-13 10:01:38</date>
              <date type="whenProduced">2011-01-25</date>
              <date type="whenEndEmbargoed">2012-06-13</date>
              <ref type="file" target="https://hal.science/hal-00707543v1/document">
                <date notBefore="2012-06-13"/>
              </ref>
              <ref type="file" subtype="author" n="1" target="https://hal.science/hal-00707543v1/file/Formal_Verification_of_Dopler_Variability_Models_vamos2011_ACM.pdf" id="file-707543-82554">
                <date notBefore="2012-06-13"/>
              </ref>
            </edition>
            <respStmt>
              <resp>contributor</resp>
              <name key="131680">
                <persName>
                  <forename>Raul</forename>
                  <surname>Mazo</surname>
                </persName>
                <email type="md5">7c2125a6589d84bd9a07c14dee50fcf9</email>
                <email type="domain">hotmail.com</email>
              </name>
            </respStmt>
          </editionStmt>
          <publicationStmt>
            <distributor>CCSD</distributor>
            <idno type="halId">hal-00707543</idno>
            <idno type="halUri">https://hal.science/hal-00707543</idno>
            <idno type="halBibtex">mazo:hal-00707543</idno>
            <idno type="halRefHtml">&lt;i&gt;5th International Workshop on Variability Modelling of Software-intensive Systems (VaMos'11)&lt;/i&gt;, Jan 2011, Namur, Belgium</idno>
            <idno type="halRef">5th International Workshop on Variability Modelling of Software-intensive Systems (VaMos'11), Jan 2011, Namur, Belgium</idno>
            <availability status="restricted">
              <licence target="https://about.hal.science/hal-authorisation-v1/">HAL Authorization<ref corresp="#file-707543-82554"/></licence>
            </availability>
          </publicationStmt>
          <seriesStmt>
            <idno type="stamp" n="UNIV-PARIS1">Université Panthéon-Sorbonne - Paris I</idno>
            <idno type="stamp" n="CRI" corresp="UNIV-PARIS1">Centre de Recherche en Informatique de Paris 1</idno>
          </seriesStmt>
          <notesStmt>
            <note type="audience" n="1">Not set</note>
            <note type="invited" n="0">No</note>
            <note type="popular" n="0">No</note>
            <note type="peer" n="1">Yes</note>
            <note type="proceedings" n="0">No</note>
          </notesStmt>
          <sourceDesc>
            <biblStruct>
              <analytic>
                <title xml:lang="en">Using Constraint Programming to Verify DOPLER Variability Models</title>
                <author role="aut">
                  <persName>
                    <forename type="first">Raul</forename>
                    <surname>Mazo</surname>
                  </persName>
                  <email type="md5">c124540397d71b274d9d252112ca65a0</email>
                  <email type="domain">gmail.com</email>
                  <idno type="idhal" notation="string">raul-mazo</idno>
                  <idno type="idhal" notation="numeric">752533</idno>
                  <idno type="halauthorid" notation="string">7422-752533</idno>
                  <idno type="ORCID">https://orcid.org/0000-0003-0629-1542</idno>
                  <idno type="GOOGLE SCHOLAR">https://scholar.google.fr/citations?user=35pvAjIAAAAJ</idno>
                  <idno type="VIAF">https://viaf.org/viaf/290366847</idno>
                  <idno type="ISNI">http://isni.org/isni/0000000432856727</idno>
                  <idno type="IDREF">https://www.idref.fr/163859825</idno>
                  <affiliation ref="#struct-74131"/>
                </author>
                <author role="aut">
                  <persName>
                    <forename type="first">Paul</forename>
                    <surname>Grünbacher</surname>
                  </persName>
                  <idno type="halauthorid">611082-0</idno>
                  <affiliation ref="#struct-107396"/>
                </author>
                <author role="aut">
                  <persName>
                    <forename type="first">Wolfgang</forename>
                    <surname>Heider</surname>
                  </persName>
                  <idno type="halauthorid">611083-0</idno>
                  <affiliation ref="#struct-97984"/>
                </author>
                <author role="aut">
                  <persName>
                    <forename type="first">Rick</forename>
                    <surname>Rabiser</surname>
                  </persName>
                  <idno type="halauthorid">611084-0</idno>
                  <affiliation ref="#struct-97984"/>
                </author>
                <author role="aut">
                  <persName>
                    <forename type="first">Camille</forename>
                    <surname>Salinesi</surname>
                  </persName>
                  <email type="md5">421ed2e40fd3127baa251ee745178fec</email>
                  <email type="domain">univ-paris1.fr</email>
                  <idno type="idhal" notation="string">camille-salinesi</idno>
                  <idno type="idhal" notation="numeric">10585</idno>
                  <idno type="halauthorid" notation="string">5250-10585</idno>
                  <idno type="ORCID">https://orcid.org/0000-0002-1957-0519</idno>
                  <idno type="GOOGLE SCHOLAR">https://scholar.google.fr/citations?hl=fr&amp;user=AAMCoS4AAAAJ</idno>
                  <idno type="IDREF">https://www.idref.fr/115647813</idno>
                  <affiliation ref="#struct-74131"/>
                </author>
                <author role="aut">
                  <persName>
                    <forename type="first">Daniel</forename>
                    <surname>Diaz</surname>
                  </persName>
                  <email type="md5">db7c364433af6f17834ada9f9a02d61a</email>
                  <email type="domain">univ-paris1.fr</email>
                  <idno type="idhal" notation="string">daniel-diaz</idno>
                  <idno type="idhal" notation="numeric">177531</idno>
                  <idno type="halauthorid" notation="string">14219-177531</idno>
                  <idno type="ORCID">https://orcid.org/0000-0002-2700-2271</idno>
                  <idno type="IDREF">https://www.idref.fr/069722358</idno>
                  <idno type="GOOGLE SCHOLAR">hcg9zOUAAAAJ</idno>
                  <idno type="VIAF">https://viaf.org/viaf/199868036</idno>
                  <affiliation ref="#struct-74131"/>
                </author>
              </analytic>
              <monogr>
                <meeting>
                  <title>5th International Workshop on Variability Modelling of Software-intensive Systems (VaMos'11)</title>
                  <date type="start">2011-01-25</date>
                  <settlement>Namur</settlement>
                  <country key="BE">Belgium</country>
                </meeting>
                <imprint/>
              </monogr>
            </biblStruct>
          </sourceDesc>
          <profileDesc>
            <langUsage>
              <language ident="en">English</language>
            </langUsage>
            <textClass>
              <classCode scheme="halDomain" n="info.info-se">Computer Science [cs]/Software Engineering [cs.SE]</classCode>
              <classCode scheme="halTypology" n="COMM">Conference papers</classCode>
              <classCode scheme="halOldTypology" n="COMM">Conference papers</classCode>
              <classCode scheme="halTreeTypology" n="COMM">Conference papers</classCode>
            </textClass>
            <abstract xml:lang="en">
              <p>Software product lines are typically developed using model-based approaches. Models are used to guide and automate key activities such as the derivation of products. The verification of product line models is thus essential to ensure the consistency of the derived products. While many authors have proposed approaches for verifying feature models there is so far no such approach for decision models. We discuss challenges of analyzing and verifying decision-oriented DOPLER variability models. The manual verification of these models is an error-prone, tedious, and sometimes infeasible task. We present a preliminary approach that converts DOPLER variability models into constraint programs to support their verification. We assess the feasibility of our approach by identifying defects in two existing variability models.</p>
            </abstract>
          </profileDesc>
        </biblFull>
      </listBibl>
    </body>
    <back>
      <listOrg type="structures">
        <org type="laboratory" xml:id="struct-74131" status="VALID">
          <idno type="IdRef">194685314</idno>
          <idno type="RNSR">199213454N</idno>
          <orgName>Centre de Recherche en Informatique de Paris 1</orgName>
          <orgName type="acronym">CRI</orgName>
          <date type="start">1986-01-01</date>
          <desc>
            <address>
              <addrLine>Université Paris 1 Panthéon-Sorbonne 90 rue de Tolbiac 75013 Paris Pays FR</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">https://cri.pantheonsorbonne.fr/</ref>
          </desc>
          <listRelation>
            <relation name="UR1445" active="#struct-7550" type="direct"/>
          </listRelation>
        </org>
        <org type="institution" xml:id="struct-107396" status="VALID">
          <orgName>Chercheur indépendant</orgName>
          <desc>
            <address>
              <country key="FR"/>
            </address>
          </desc>
        </org>
        <org type="laboratory" xml:id="struct-97984" status="VALID">
          <orgName>Department of Pervasive Computing</orgName>
          <desc>
            <address>
              <country key="AT"/>
            </address>
          </desc>
          <listRelation>
            <relation active="#struct-1099890" type="direct"/>
          </listRelation>
        </org>
        <org type="institution" xml:id="struct-7550" status="VALID">
          <idno type="IdRef">027361802</idno>
          <idno type="ISNI">000000012173743X</idno>
          <idno type="ROR">https://ror.org/002t25c44</idno>
          <orgName>Université Paris 1 Panthéon-Sorbonne</orgName>
          <orgName type="acronym">UP1</orgName>
          <desc>
            <address>
              <addrLine>12 place du Panthéon, 75231 Paris Cedex 05</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">https://www.pantheonsorbonne.fr</ref>
          </desc>
        </org>
        <org type="regroupinstitution" xml:id="struct-1099890" status="VALID">
          <idno type="IdRef">080677193</idno>
          <idno type="ISNI">0000000119415140</idno>
          <orgName>University of Linz - Johannes Kepler Universität Linz</orgName>
          <orgName type="acronym">JKU</orgName>
          <date type="start">1966-01-01</date>
          <desc>
            <address>
              <addrLine>Altenberger Straße 694040 Linz, Austria</addrLine>
              <country key="AT"/>
            </address>
            <ref type="url">https://www.jku.at/</ref>
          </desc>
        </org>
      </listOrg>
    </back>
  </text>
</TEI>