Abstract
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.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Similar content being viewed by others
References
Ahuja, R.K., Magnanti, T.L., Orlin, J.B.: Network flows – theory, algorithms and applications. Prentice Hall (1993)
Aschinger, M., Drescher, C., Gottlob, G.: Introducing LoCo, a logic for configuration problems. In: Proceedings of LoCoCo 2011, Perugia, Italy (2011)
Charnes, A., Klingman, D.: The more for less paradox in the distribution model. Cahiers du Centre d’Etudes de Recherche Operationelle 13(1), 11–22 (1971)
Falkner, A., Feinerer, I., Salzer, G., Schenner, G.: Computing product configurations via UML and integer linear programming. Int. J. Mass Cust. 3(4) (2010)
Feinerer, I., Salzer, G.: Consistency and minimality of UML class specifications with multiplicities and uniqueness constraints. In: Proceedings of TASE 2007, pp. 411–420. IEEE Computer Society Press (2007)
Feinerer, I., Salzer, G., Sisel, T.: Reducing Multiplicities in Class Diagrams. In: Whittle, J., Clark, T., Kühne, T. (eds.) MODELS 2011. LNCS, vol. 6981, pp. 379–393. Springer, Heidelberg (2011)
Felfernig, A., Friedrich, G., Jannach, D.: UML as domain specific language for the construction of knowledge-based configuration systems. International Journal of Software Engineering and Knowledge Engineering 10(4), 449–469 (2000)
Felfernig, A., Friedrich, G., Jannach, D.: Conceptual modeling for configuration of mass-customizable products. AI in Engineering 15(2), 165–176 (2001)
Friedrich, G., Ryabokon, A., Falkner, A.A., Haselböck, A., Schenner, G., Schreiner, H.: (Re)configuration based on model generation. In: Drescher, C., Lynce, I., Treinen, R. (eds.) Proceedings of LoCoCo 2011. EPTCS, vol. 65, pp. 26–35 (2011)
Lenzerini, M., Nobili, P.: On the satisfiability of dependency constraints in entity-relationship schemata. Information Systems 15(4), 453–461 (1990)
Mailharro, D.: A classification and constraint-based framework for configuration. AI EDAM 12(4), 383–397 (1998)
Männistö, T., Soininen, T., Tiihonen, J., Sulonen, R.: Framework and conceptual model for reconfiguration. Tech. rep., AAAI Conf. Workshop. AAAI Press (1999)
Niederbrucker, G., Sisel, T.: Clews Website (2011), http://www.logic.at/clews
Stumptner, M., Wotawa, F.: Model-based reconfiguration. In: Proceedings Artificial Intelligence in Design, pp. 45–64. Kluwer Academic Publishers (1998)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2012 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Feinerer, I., Niederbrucker, G., Salzer, G., Sisel, T. (2012). Configuration Repair via Flow Networks. In: Chen, L., Felfernig, A., Liu, J., Raś, Z.W. (eds) Foundations of Intelligent Systems. ISMIS 2012. Lecture Notes in Computer Science(), vol 7661. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-34624-8_37
Download citation
DOI: https://doi.org/10.1007/978-3-642-34624-8_37
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-34623-1
Online ISBN: 978-3-642-34624-8
eBook Packages: Computer ScienceComputer Science (R0)