The Abstraction Refinement Model has been widely adopted since it was firstly proposed many decades ago. This powerful model of software evolution process brings important properties into the system under development, properties such as the guarantee that no extra behavior (specifically harmful behaviors) will be observed once the system is deployed. However, perfect systems with such a guarantee are not a common thing to find in real world cases, anomalies and unspecified behaviors will always find a way to manifest in our systems, behaviors that are addressed in this paper with the name "emergent behavior". In this paper, we extend the Abstract Refinement Model to include the concept of the emergent behavior. Eventually, this should enable system developers to: (i) Concretely define what an emergent behavior is, (ii) help reason about the potential sources of the emergent behavior along the development process, which in return will help in controlling the emergent behavior at early steps of the development process.
翻译:自几十年前首次提出以来,《抽象精炼模型》就被广泛采用。这个强大的软件进化过程模型为正在开发的系统带来了重要的特性,例如保证系统部署后不会观察到任何额外行为(特别是有害行为)等特性。然而,在现实世界中,有这种保证的完美系统并不是常见的发现案例,异常和未具体说明的行为总是会找到一种方法在我们系统中显示本文中以“强烈行为”的名义述及的行为。在本文中,我们扩展了“抽象精炼模型”以包括新兴行为的概念。最终,这将使系统开发者能够:(一) 具体界定什么是新兴行为,(二) 帮助解释发展进程中新兴行为的潜在来源,这反过来将有助于在发展进程的早期步骤中控制新兴行为。