ABSTRACT
This chapter introduces some basic notions relevant to the formalism of conflict analysis. The generated command list of the rules can be applied to the architecture object model, and the potential conflicts are eliminated before applying the rules. Critical pairs only imply potential conflicts between reconfiguration rules. The chapter explores an application domain of conflict and dependence analysis in graph transformations. It demonstrates the feasibility of the critical pair analysis based approach to modeling and detecting the potential conflicts of concurrent reconfigurations. Hendrik Hausmann et al. presented a critical pair analysis based approach for the detection of conflicting functional requirements. Binyu Zhang and Cheng Hang proposed a model-driven adaptive program development process. The notion of overlap adaptation deals with the coordinations among parallel adaptations. For architecture-based self-adaptive software systems, multiple reconfigurations are possible to be invoked due to various context changes.
