Configuration Repair via Flow Networks

Reconfiguration and configuration repair are central tasks when designing and maintaining long-lived systems. Specifications evolve over time and modifying existing configurations in the hardware domain is prohibitively expensive. Consequently there is a demand for efficient methods to repair and change existing configurations where the number of components and a given layout of links between them is given. We present an efficient approach using network flow algorithms for finding and optimising links between a topology of components. This provides a natural formalism for modelling reconfiguration tasks and repairing configurations.

[1]  Gerhard Friedrich,et al.  Conceptual modeling for configuration of mass-customizable products , 2001, Artif. Intell. Eng..

[2]  Markus Stumptner,et al.  Model-Based Reconfiguration , 1998, AID.

[3]  Gerhard Friedrich,et al.  (Re)configuration based on model generation , 2011, LoCoCo.

[4]  Ravindra K. Ahuja,et al.  Network Flows: Theory, Algorithms, and Applications , 1993 .

[5]  Maurizio Lenzerini,et al.  On The Satisfiability of Dependency Constraints in Entity-Relationship Schemata , 1987, VLDB.

[6]  Gernot Salzer,et al.  Reducing multiplicities in class diagrams , 2011, MODELS'11.

[7]  Kevin Lano,et al.  Slicing of UML models using model transformations , 2010, MODELS'10.

[8]  Gernot Salzer,et al.  Computing product configurations via UML and integer linear programming , 2010 .

[9]  Daniel Mailharro,et al.  A classification and constraint-based framework for configuration , 1998, Artificial Intelligence for Engineering Design, Analysis and Manufacturing.

[10]  Gerhard Friedrich,et al.  Uml as Domain Specific Language for the Construction of Knowledge-Based Configuration Systems , 1999, Int. J. Softw. Eng. Knowl. Eng..

[11]  Gernot Salzer,et al.  Consistency and Minimality of UML Class Specifications with Multiplicities and Uniqueness Constraints , 2007, First Joint IEEE/IFIP Symposium on Theoretical Aspects of Software Engineering (TASE '07).

[12]  Tomi Männistö,et al.  Framework and Conceptual Model for Reconfiguration , 1999 .

[13]  Georg Gottlob,et al.  Introducing LoCo, a Logic for Configuration Problems , 2011, LoCoCo.

[14]  Michael J. Ryan.  More on the More for Less Paradox in the Distribution Model , 1980 .