This paper describes the experiences of a small team of domain experts in reengineering the configuration control software for the 5ESS® switch. The project consisted of three main phases: discovery, design, and deployment. During the discovery phase the team conducted a domain analysis of configuration control software. In the design phase the team created domainspecific languages and supporti...

Research in automated configuration is a traditional core application area for knowledge-based systems that is increasing in commercial relevance, but there exists no generally agreed basic formal representation scheme. Based on a small simplified example taken out of the knowledge base of an deployed configuration application, we describe a configuration knowledge based on an analogy to the cl...

For a compact manifold with boundary X we introduce the n-fold scattering stretched product Xn sc which is a compact manifold with corners for each n; coinciding with the previously known cases for n = 2; 3: It is constructed by iterated blow up of boundary faces and boundary faces of multi-diagonals in Xn: The resulting space is shown to map smoothly, by a bbration, covering the usual projecti...

This is the second paper in a series of papers that are intended to provide a comprehensive coverage of the concepts of formex configuration processing and their applications in relation to structural configurations. In the present paper, attention is focused on the configuration processing for a number of families of space structures, namely, pyramidal forms, towers, foldable systems and diama...

This Chapter summarizes our current understanding of Saturn’s magnetospheric configuration. Observations from the Cassini Prime and Equinox Missions have answered some questions and opened new ones. One of the fundamental questions of magnetospheric physics is what are the sources of the plasma that populate the magnetosphere. At Saturn, there is a rich set of possible plasma sources: the solar...

The configuration model is one of the most successful models for generating uncorrelated random networks. We analyze its behavior when the expected degree sequence follows a power law with exponent smaller than two. In this situation, the resulting network can be viewed as a weighted network with non trivial correlations between strength and degree. Our results are tested against large scale nu...

Configuration was one of the first tasks successfully approached via AI techniques. However, solving configuration problems can be computationally expensive. In this work, we show that the decomposition of a configuration problem into a set of simpler and independent subproblems can decrease the computational cost of solving it. In particular, we describe a novel decomposition technique exploit...

Configuring a network is a tedious and error-prone task. In particular, configuring routing policies for a network is complex as it involves subtle dependencies in multiple routers across the network. Misconfigurations are common and certain misconfigurations can bring the Internet down. In 2005, a misconfigured router in AS 9121 blackholed traffic for tens of thousands of networks in the Inter...

Abstract. In this paper, we introduce a framework for the automatic configuration of applications running in dynamic environments where changes are frequent. We propose a way to describe, for each application, its configuration policy, and the execution environment’s factors that affect its behavior. On this basis, we can generate application-specific configuration tools, called conflets. The a...