The Axiomatic Model of the Configurative Programming

The Axiomatic Model

The axioms of the configurative programming are the followings:

1) we define “Configured Application” a whatever software realized through the model of the configurative programming

2) we define “Execution Environment” the infrastructure dedicated to the execution of a generic configured application

3) the execution environment has to allow the development, the distribution, the execution and the interaction of configured applications both on computer stand-alone and is on multilevel architectures composed by calculators in various way connected in public or private nets

4) a configured application is developed through the allocation and the configuration of the elements supplied from the execution environment

5) the elements supplied by the execution environment can be composed, also repeatedly, to constitute more complex elements

6) the elements supplied by the execution environment can be configured in their own characteristics, in the actions that can develop and in the events which will be subject during their life cycles

7) we define “Data Source” the data structure (es. file, database, knowledge base) containing all the information that a configured application can manipulate

8) the set of the configurations that constitute a configured application is stored in a specific data source that we define “Configurations Library”

9) a configured application can access different data sources and it manipulates them through the elements supplied by the execution environment

10) the tools supplied by the execution environment to manipulate the data sources have to be independent from a particular implementation of the data source

11) the execution environment allows to manipulate the configuration library at the same manner in which manipulates the other data sources

12) the execution environment has to expose elements dedicated to the interaction between a configured application and another configured application and between a configured application and a specific software realized through a traditional programming language.