Conceptual model for the specification of the quality properties of the Critical Business Process

Critical Business Processes (CBP) and the study of the aspects that allow to specify formally their properties, it has now become a subject of extensive research. Because of the multiplicity of elements involved in the treatment of CBP and its definition has evolved over time in this article provides a historical review of the concepts related to the formal specification of the properties of the CBP and proposes some models based conceptual definitions on this topic. Additionally, we introduce the definition of verifiable properties of the CBP. This article is part of a research in progress that aims to facilitate the process of formal specification of the properties of the CBP.