Eiffel: the language
Seamless object-oriented software architecture: analysis and design of reliable systems
Seamless object-oriented software architecture: analysis and design of reliable systems
Object-oriented software construction (2nd ed.)
Object-oriented software construction (2nd ed.)
Alloy: a lightweight object modelling notation
ACM Transactions on Software Engineering and Methodology (TOSEM)
An Analysis of UNIX System Configuration
LISA '97 Proceedings of the 11th Conference on Systems Administration
Using Event Calculus to Formalise Policy Specification and Analysis
POLICY '03 Proceedings of the 4th IEEE International Workshop on Policies for Distributed Systems and Networks
A Simple Way to Estimate the Cost of Downtime
LISA '02 Proceedings of the 16th USENIX conference on System administration
Seeking Closure in an Open World: A Behavioral Agent Approach to Configuration Management
LISA '03 Proceedings of the 17th USENIX conference on System administration
Software Abstractions: Logic, Language, and Analysis
Software Abstractions: Logic, Language, and Analysis
Configuration tools: working together
LISA '05 Proceedings of the 19th conference on Large Installation System Administration Conference - Volume 19
A case study in configuration management tool deployment
LISA '05 Proceedings of the 19th conference on Large Installation System Administration Conference - Volume 19
Network configuration management via model finding
LISA '05 Proceedings of the 19th conference on Large Installation System Administration Conference - Volume 19
Large scale Linux configuration with LCFG
ALS'00 Proceedings of the 4th annual Linux Showcase & Conference - Volume 4
Devolved management of distributed infrastructures with Quattor
LISA'08 Proceedings of the 22nd conference on Large installation system administration conference
Authorisation and delegation in the machination configuration system
LISA'08 Proceedings of the 22nd conference on Large installation system administration conference
The SmartFrog configuration management framework
ACM SIGOPS Operating Systems Review
Federated access control and workflow enforcement in systems configuration
LISA'09 Proceedings of the 23rd conference on Large installation system administration
Authorizing and directing configuration updates in contemporary it infrastructures
Proceedings of the 3rd ACM workshop on Assurable and usable security configuration
Declarative configuration management for complex and dynamic networks
Proceedings of the 6th International COnference
Supporting software evolution in component-based FOSS systems
Science of Computer Programming
Wallaby: a scalable semantic configuration service for grids and clouds
State of the Practice Reports
Integrated management of network and security devices in IT infrastructures
Proceedings of the 7th International Conference on Network and Services Management
A declarative approach to automated configuration
lisa'12 Proceedings of the 26th international conference on Large Installation System Administration: strategies, tools, and techniques
Simulating upgrades of complex systems: The case of Free and Open Source Software
Information and Software Technology
Hi-index | 0.00 |
The high rate of requirement changes make system administration a complex task. This complexity is further influenced by the increasing scale, unpredictable behaviour of software and diversity in terms of hardware and software. In order to deal with this complexity, configuration management solutions have been proposed. The processes that many configuration management solutions advocate are kept close to manual system administration. This approach has failed to address the complexity of system administration in the real world. In this paper, we propose PoDIM: a high-level language for configuration management. In contrast to many existing configuration management solutions, PoDIM allows modeling of cross machine constraints. We provide an overview of the PoDIM notation, describe a case study and present a prototype. We believe that high-level languages are needed to reduce system administration complexity. PoDIM is one step in that direction.