CPL - Chalmers Publication Library
| Utbildning | Forskning | Styrkeområden | Om Chalmers | In English In English Ej inloggad.

Verification of Item Usage Rules in Product Configuration

Alexey Voronov (Institutionen för signaler och system, Automation) ; Anna Tidstam (Institutionen för produkt- och produktionsutveckling, Produktutveckling) ; Knut Åkesson (Institutionen för signaler och system, Automation) ; Johan Malmqvist (Institutionen för produkt- och produktionsutveckling, Produktutveckling)
Proceedings of 9th International Conference on Product Lifecycle Management p. 182-191. (2012)
[Konferensbidrag, refereegranskat]

In the development of complex products product configuration systems are often used to support the development process. Item Usage Rules (IURs) are conditions for including specific items in products bills of materials based on a high-level product description. Large number of items and significant complexity of IURs make it difficult to maintain and analyze IURs manually. In this paper we present an automated approach for verifying IURs, which guarantees the presence of exactly one item from a predefined set in each product, as well as that an IUR can be reformulated without changing the set of products for which the item was included.

Den här publikationen ingår i följande styrkeområden:

Läs mer om Chalmers styrkeområden  

Denna post skapades 2012-04-19. Senast ändrad 2014-01-03.
CPL Pubid: 156871


Läs direkt!

Lokal fulltext (fritt tillgänglig)

Institutioner (Chalmers)

Institutionen för signaler och system, Automation (2005-2017)
Institutionen för produkt- och produktionsutveckling, Produktutveckling (2005-2017)


Informations- och kommunikationsteknik
Industriell teknik och ekonomi

Chalmers infrastruktur

Relaterade publikationer

Denna publikation ingår i:

On Formal Methods for Large-Scale Product Configuration