2010/11/24 by Roberto Barbuti, Barbuti, Roberto, Giovanni A. Cignoni +3
Business, Management and Accounting · Computer Science · #Advanced Software Engineering Methodologies #Business Process Modeling and Analysis #FOS: Computer and information sciences #Service-Oriented Architecture and Web Services #Software Engineering (cs.SE) #cs.SE
paper · pdf · doi:10.48550/arxiv.1011.5389
13 pages
arxiv created 2010/11/24 · openalex publication_date 2010/11/24 · arxiv updated 2010/11/25 · openalex created_date 2025/10/10 · openalex updated_date 2026/07/28
The article proposes a model for the configuration management of open systems. The model aims at validation of configurations against given specifications. An extension of decision graphs is proposed to express specifications. The proposed model can be used by software developers to validate their own configurations across different versions of the components, or to validate configurations that include components by third parties. The model can also be used by end-users to validate compatibility among different configurations of the same application. The proposed model is first discussed in some application scenarios and then formally defined. Moreover, a type discipline is given to formally define validation of a configuration against a system specification