Formal methods for the validation of automotive product configuration data
In the automotive industry, the compilation and maintenance of correct product configuration data is a complex task. Our work shows how formal methods can be applied to the validation of such business critical data. Our consistency support tool BIS works on an existing database of Boolean constraint...
Gespeichert in:
| Veröffentlicht in: | AI EDAM 2003-02, Vol.17 (1), p.75-97 |
|---|---|
| Hauptverfasser: | , , |
| Format: | Artikel |
| Sprache: | eng |
| Schlagworte: | |
| Online-Zugang: | Volltext |
| Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|
| container_end_page | 97 |
|---|---|
| container_issue | 1 |
| container_start_page | 75 |
| container_title | AI EDAM |
| container_volume | 17 |
| creator | SINZ, CARSTEN KAISER, ANDREAS KÜCHLIN, WOLFGANG |
| description | In the automotive industry, the compilation and maintenance of
correct product configuration data is a complex task. Our work shows
how formal methods can be applied to the validation of such business
critical data. Our consistency support tool BIS works on an existing
database of Boolean constraints expressing valid configurations and
their transformation into manufacturable products. Using a specially
modified satisfiability checker with an explanation component, BIS can
detect inconsistencies in the constraints set and thus help increase
the quality of the product data. BIS also supports manufacturing
decisions by calculating the implications of product or production
environment changes on the set of required parts. In this paper, we
give a comprehensive account of BIS: the formalization of the business
processes underlying its construction, the modifications of
satisfiability-checking technology we found necessary in this context,
and the software technology used to package the product as a
client–server information system. |
| doi_str_mv | 10.1017/S0890060403171065 |
| format | Article |
| fullrecord | <record><control><sourceid>proquest_cross</sourceid><recordid>TN_cdi_proquest_journals_195878710</recordid><sourceformat>XML</sourceformat><sourcesystem>PC</sourcesystem><cupid>10_1017_S0890060403171065</cupid><sourcerecordid>1455272541</sourcerecordid><originalsourceid>FETCH-LOGICAL-c461t-ee3efbedd1353f15e57a0b35e7c13ae9306084bdea6ef4825457ea7a1930c5413</originalsourceid><addsrcrecordid>eNp1kF9LwzAUxYMoOKcfwLfgezUxSdM-6nDTMRGZf8CXkLY3W-e6zCQd-u3N6BBBvC95OL9zz8lF6JSSc0qovJiSLCckJZwwKilJxR7qUZ7mCZUp2Ue9rZxs9UN05P2CxMkF76Hx0LpGL3EDYW4rj411OMwBb_SyrnSo7Qpbg3UbbGNDvQG8drZqy4BLuzL1rHUdE1F9jA6MXno42b199Dy8eRrcJpOH0d3gapKUPKUhAWBgCqgqygQzVICQmhRMgCwp05Cz2DLjRQU6BcOzS8GFBC01jUopOGV9dNbtjVU-WvBBLWzrVjFS0VxkMov_jxDtoNJZ7x0YtXZ1o92XokRtL6b-XCx6ks5T-wCfPwbt3lUqmRQqHT2qlwmfvt1fj9Vr5NkuQzeFq6sZ_Gryb8o30y985A</addsrcrecordid><sourcetype>Aggregation Database</sourcetype><iscdi>true</iscdi><recordtype>article</recordtype><pqid>195878710</pqid></control><display><type>article</type><title>Formal methods for the validation of automotive product configuration data</title><source>Cambridge University Press Journals Complete</source><creator>SINZ, CARSTEN ; KAISER, ANDREAS ; KÜCHLIN, WOLFGANG</creator><creatorcontrib>SINZ, CARSTEN ; KAISER, ANDREAS ; KÜCHLIN, WOLFGANG</creatorcontrib><description>In the automotive industry, the compilation and maintenance of
correct product configuration data is a complex task. Our work shows
how formal methods can be applied to the validation of such business
critical data. Our consistency support tool BIS works on an existing
database of Boolean constraints expressing valid configurations and
their transformation into manufacturable products. Using a specially
modified satisfiability checker with an explanation component, BIS can
detect inconsistencies in the constraints set and thus help increase
the quality of the product data. BIS also supports manufacturing
decisions by calculating the implications of product or production
environment changes on the set of required parts. In this paper, we
give a comprehensive account of BIS: the formalization of the business
processes underlying its construction, the modifications of
satisfiability-checking technology we found necessary in this context,
and the software technology used to package the product as a
client–server information system.</description><identifier>ISSN: 0890-0604</identifier><identifier>EISSN: 1469-1760</identifier><identifier>DOI: 10.1017/S0890060403171065</identifier><language>eng</language><publisher>New York, USA: Cambridge University Press</publisher><subject>Automobile industry ; Computer industry ; Expert systems ; Product data management ; Product lines ; Software ; System theory ; Validation studies</subject><ispartof>AI EDAM, 2003-02, Vol.17 (1), p.75-97</ispartof><rights>2003 Cambridge University Press</rights><rights>Copyright Cambridge University Press Feb 2003</rights><lds50>peer_reviewed</lds50><oa>free_for_read</oa><woscitedreferencessubscribed>false</woscitedreferencessubscribed><citedby>FETCH-LOGICAL-c461t-ee3efbedd1353f15e57a0b35e7c13ae9306084bdea6ef4825457ea7a1930c5413</citedby><cites>FETCH-LOGICAL-c461t-ee3efbedd1353f15e57a0b35e7c13ae9306084bdea6ef4825457ea7a1930c5413</cites></display><links><openurl>$$Topenurl_article</openurl><openurlfulltext>$$Topenurlfull_article</openurlfulltext><thumbnail>$$Tsyndetics_thumb_exl</thumbnail><linktohtml>$$Uhttps://www.cambridge.org/core/product/identifier/S0890060403171065/type/journal_article$$EHTML$$P50$$Gcambridge$$H</linktohtml><link.rule.ids>164,314,780,784,27923,27924,55627</link.rule.ids></links><search><creatorcontrib>SINZ, CARSTEN</creatorcontrib><creatorcontrib>KAISER, ANDREAS</creatorcontrib><creatorcontrib>KÜCHLIN, WOLFGANG</creatorcontrib><title>Formal methods for the validation of automotive product configuration data</title><title>AI EDAM</title><addtitle>AIEDAM</addtitle><description>In the automotive industry, the compilation and maintenance of
correct product configuration data is a complex task. Our work shows
how formal methods can be applied to the validation of such business
critical data. Our consistency support tool BIS works on an existing
database of Boolean constraints expressing valid configurations and
their transformation into manufacturable products. Using a specially
modified satisfiability checker with an explanation component, BIS can
detect inconsistencies in the constraints set and thus help increase
the quality of the product data. BIS also supports manufacturing
decisions by calculating the implications of product or production
environment changes on the set of required parts. In this paper, we
give a comprehensive account of BIS: the formalization of the business
processes underlying its construction, the modifications of
satisfiability-checking technology we found necessary in this context,
and the software technology used to package the product as a
client–server information system.</description><subject>Automobile industry</subject><subject>Computer industry</subject><subject>Expert systems</subject><subject>Product data management</subject><subject>Product lines</subject><subject>Software</subject><subject>System theory</subject><subject>Validation studies</subject><issn>0890-0604</issn><issn>1469-1760</issn><fulltext>true</fulltext><rsrctype>article</rsrctype><creationdate>2003</creationdate><recordtype>article</recordtype><sourceid>ABUWG</sourceid><sourceid>AFKRA</sourceid><sourceid>AZQEC</sourceid><sourceid>BENPR</sourceid><sourceid>CCPQU</sourceid><sourceid>DWQXO</sourceid><sourceid>GNUQQ</sourceid><recordid>eNp1kF9LwzAUxYMoOKcfwLfgezUxSdM-6nDTMRGZf8CXkLY3W-e6zCQd-u3N6BBBvC95OL9zz8lF6JSSc0qovJiSLCckJZwwKilJxR7qUZ7mCZUp2Ue9rZxs9UN05P2CxMkF76Hx0LpGL3EDYW4rj411OMwBb_SyrnSo7Qpbg3UbbGNDvQG8drZqy4BLuzL1rHUdE1F9jA6MXno42b199Dy8eRrcJpOH0d3gapKUPKUhAWBgCqgqygQzVICQmhRMgCwp05Cz2DLjRQU6BcOzS8GFBC01jUopOGV9dNbtjVU-WvBBLWzrVjFS0VxkMov_jxDtoNJZ7x0YtXZ1o92XokRtL6b-XCx6ks5T-wCfPwbt3lUqmRQqHT2qlwmfvt1fj9Vr5NkuQzeFq6sZ_Gryb8o30y985A</recordid><startdate>20030201</startdate><enddate>20030201</enddate><creator>SINZ, CARSTEN</creator><creator>KAISER, ANDREAS</creator><creator>KÜCHLIN, WOLFGANG</creator><general>Cambridge University Press</general><scope>BSCLL</scope><scope>AAYXX</scope><scope>CITATION</scope><scope>3V.</scope><scope>7SC</scope><scope>7TB</scope><scope>7XB</scope><scope>88I</scope><scope>8AL</scope><scope>8FD</scope><scope>8FE</scope><scope>8FG</scope><scope>8FK</scope><scope>ABJCF</scope><scope>ABUWG</scope><scope>AFKRA</scope><scope>ARAPS</scope><scope>AZQEC</scope><scope>BENPR</scope><scope>BGLVJ</scope><scope>CCPQU</scope><scope>DWQXO</scope><scope>FR3</scope><scope>GNUQQ</scope><scope>HCIFZ</scope><scope>JQ2</scope><scope>K7-</scope><scope>KR7</scope><scope>L6V</scope><scope>L7M</scope><scope>L~C</scope><scope>L~D</scope><scope>M0N</scope><scope>M2P</scope><scope>M7S</scope><scope>P5Z</scope><scope>P62</scope><scope>PQEST</scope><scope>PQQKQ</scope><scope>PQUKI</scope><scope>PRINS</scope><scope>PTHSS</scope><scope>Q9U</scope><scope>S0W</scope></search><sort><creationdate>20030201</creationdate><title>Formal methods for the validation of automotive product configuration data</title><author>SINZ, CARSTEN ; KAISER, ANDREAS ; KÜCHLIN, WOLFGANG</author></sort><facets><frbrtype>5</frbrtype><frbrgroupid>cdi_FETCH-LOGICAL-c461t-ee3efbedd1353f15e57a0b35e7c13ae9306084bdea6ef4825457ea7a1930c5413</frbrgroupid><rsrctype>articles</rsrctype><prefilter>articles</prefilter><language>eng</language><creationdate>2003</creationdate><topic>Automobile industry</topic><topic>Computer industry</topic><topic>Expert systems</topic><topic>Product data management</topic><topic>Product lines</topic><topic>Software</topic><topic>System theory</topic><topic>Validation studies</topic><toplevel>peer_reviewed</toplevel><toplevel>online_resources</toplevel><creatorcontrib>SINZ, CARSTEN</creatorcontrib><creatorcontrib>KAISER, ANDREAS</creatorcontrib><creatorcontrib>KÜCHLIN, WOLFGANG</creatorcontrib><collection>Istex</collection><collection>CrossRef</collection><collection>ProQuest Central (Corporate)</collection><collection>Computer and Information Systems Abstracts</collection><collection>Mechanical & Transportation Engineering Abstracts</collection><collection>ProQuest Central (purchase pre-March 2016)</collection><collection>Science Database (Alumni Edition)</collection><collection>Computing Database (Alumni Edition)</collection><collection>Technology Research Database</collection><collection>ProQuest SciTech Collection</collection><collection>ProQuest Technology Collection</collection><collection>ProQuest Central (Alumni) (purchase pre-March 2016)</collection><collection>Materials Science & Engineering Collection</collection><collection>ProQuest Central (Alumni Edition)</collection><collection>ProQuest Central UK/Ireland</collection><collection>Advanced Technologies & Aerospace Collection</collection><collection>ProQuest Central Essentials</collection><collection>ProQuest Central</collection><collection>Technology Collection</collection><collection>ProQuest One Community College</collection><collection>ProQuest Central Korea</collection><collection>Engineering Research Database</collection><collection>ProQuest Central Student</collection><collection>SciTech Premium Collection</collection><collection>ProQuest Computer Science Collection</collection><collection>Computer Science Database</collection><collection>Civil Engineering Abstracts</collection><collection>ProQuest Engineering Collection</collection><collection>Advanced Technologies Database with Aerospace</collection><collection>Computer and Information Systems Abstracts Academic</collection><collection>Computer and Information Systems Abstracts Professional</collection><collection>Computing Database</collection><collection>Science Database</collection><collection>Engineering Database</collection><collection>Advanced Technologies & Aerospace Database</collection><collection>ProQuest Advanced Technologies & Aerospace Collection</collection><collection>ProQuest One Academic Eastern Edition (DO NOT USE)</collection><collection>ProQuest One Academic</collection><collection>ProQuest One Academic UKI Edition</collection><collection>ProQuest Central China</collection><collection>Engineering Collection</collection><collection>ProQuest Central Basic</collection><collection>DELNET Engineering & Technology Collection</collection><jtitle>AI EDAM</jtitle></facets><delivery><delcategory>Remote Search Resource</delcategory><fulltext>fulltext</fulltext></delivery><addata><au>SINZ, CARSTEN</au><au>KAISER, ANDREAS</au><au>KÜCHLIN, WOLFGANG</au><format>journal</format><genre>article</genre><ristype>JOUR</ristype><atitle>Formal methods for the validation of automotive product configuration data</atitle><jtitle>AI EDAM</jtitle><addtitle>AIEDAM</addtitle><date>2003-02-01</date><risdate>2003</risdate><volume>17</volume><issue>1</issue><spage>75</spage><epage>97</epage><pages>75-97</pages><issn>0890-0604</issn><eissn>1469-1760</eissn><abstract>In the automotive industry, the compilation and maintenance of
correct product configuration data is a complex task. Our work shows
how formal methods can be applied to the validation of such business
critical data. Our consistency support tool BIS works on an existing
database of Boolean constraints expressing valid configurations and
their transformation into manufacturable products. Using a specially
modified satisfiability checker with an explanation component, BIS can
detect inconsistencies in the constraints set and thus help increase
the quality of the product data. BIS also supports manufacturing
decisions by calculating the implications of product or production
environment changes on the set of required parts. In this paper, we
give a comprehensive account of BIS: the formalization of the business
processes underlying its construction, the modifications of
satisfiability-checking technology we found necessary in this context,
and the software technology used to package the product as a
client–server information system.</abstract><cop>New York, USA</cop><pub>Cambridge University Press</pub><doi>10.1017/S0890060403171065</doi><tpages>23</tpages><oa>free_for_read</oa></addata></record> |
| fulltext | fulltext |
| identifier | ISSN: 0890-0604 |
| ispartof | AI EDAM, 2003-02, Vol.17 (1), p.75-97 |
| issn | 0890-0604 1469-1760 |
| language | eng |
| recordid | cdi_proquest_journals_195878710 |
| source | Cambridge University Press Journals Complete |
| subjects | Automobile industry Computer industry Expert systems Product data management Product lines Software System theory Validation studies |
| title | Formal methods for the validation of automotive product configuration data |
| url | https://sfx.bib-bvb.de/sfx_tum?ctx_ver=Z39.88-2004&ctx_enc=info:ofi/enc:UTF-8&ctx_tim=2025-01-11T15%3A47%3A48IST&url_ver=Z39.88-2004&url_ctx_fmt=infofi/fmt:kev:mtx:ctx&rfr_id=info:sid/primo.exlibrisgroup.com:primo3-Article-proquest_cross&rft_val_fmt=info:ofi/fmt:kev:mtx:journal&rft.genre=article&rft.atitle=Formal%20methods%20for%20the%20validation%20of%20automotive%20product%20configuration%20data&rft.jtitle=AI%20EDAM&rft.au=SINZ,%20CARSTEN&rft.date=2003-02-01&rft.volume=17&rft.issue=1&rft.spage=75&rft.epage=97&rft.pages=75-97&rft.issn=0890-0604&rft.eissn=1469-1760&rft_id=info:doi/10.1017/S0890060403171065&rft_dat=%3Cproquest_cross%3E1455272541%3C/proquest_cross%3E%3Curl%3E%3C/url%3E&disable_directlink=true&sfx.directlink=off&sfx.report_link=0&rft_id=info:oai/&rft_pqid=195878710&rft_id=info:pmid/&rft_cupid=10_1017_S0890060403171065&rfr_iscdi=true |