Abstract:
This paper describes the verification analysis for agent formal model of behaviour change process. The verification analysis was based on two widely used approaches in ag...Show MoreMetadata
Abstract:
This paper describes the verification analysis for agent formal model of behaviour change process. The verification analysis was based on two widely used approaches in agent formal evaluation namely mathematical and automated analysis. The mathematical analysis made use of stability equilibria point while the automated, made use of Temporal Trace Language (TTL). The results obtained verify the formal model validity.
Date of Conference: 18-19 August 2015
Date Added to IEEE Xplore: 14 January 2016
ISBN Information:
Keywords assist with retrieval of results and provide a means to discovering other relevant content. Learn more.
- IEEE Keywords
- Index Terms
- Behavior Change ,
- Verification Analysis ,
- Behavior Change Process ,
- Model Formulation ,
- Mathematical Analysis ,
- Computational Model ,
- Differential Equations ,
- Equilibrium State ,
- Dynamic Properties ,
- Social Influence ,
- Partial Differential Equations ,
- Typical Properties ,
- External Actors ,
- State Properties ,
- Model Verification ,
- Health Belief Model ,
- Theory Of Planned Behavior ,
- Model Checking ,
- Existence Of Equilibrium ,
- Small Disturbances ,
- Formal Verification ,
- Self-efficacy Theory ,
- Stable Situation ,
- Form Of Differential Equations
- Author Keywords
Contents Keywords assist with retrieval of results and provide a means to discovering other relevant content. Learn more.
- IEEE Keywords
- Index Terms
- Behavior Change ,
- Verification Analysis ,
- Behavior Change Process ,
- Model Formulation ,
- Mathematical Analysis ,
- Computational Model ,
- Differential Equations ,
- Equilibrium State ,
- Dynamic Properties ,
- Social Influence ,
- Partial Differential Equations ,
- Typical Properties ,
- External Actors ,
- State Properties ,
- Model Verification ,
- Health Belief Model ,
- Theory Of Planned Behavior ,
- Model Checking ,
- Existence Of Equilibrium ,
- Small Disturbances ,
- Formal Verification ,
- Self-efficacy Theory ,
- Stable Situation ,
- Form Of Differential Equations
- Author Keywords
