Title :
Conceptual model for the specification of the quality properties of the Critical Business Process
Author :
Mijares, H. ; Marize, D. ; Mendoza, M. ; Luis, Elkin
Author_Institution :
Dept. de Procesos y Sist., Univ. Simon Bolivar, Caracas, Venezuela
Abstract :
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.
Keywords :
business data processing; formal specification; conceptual model; critical business processes; formal specification; quality properties; verifiable properties; Business; Formal specifications; ISO standards; Safety; Security; Silicon; Unified modeling language; Business Processes; Formal Specification; Formal Verification; Properties; Quality;
Conference_Titel :
Information Systems and Technologies (CISTI), 2013 8th Iberian Conference on
Conference_Location :
Lisboa
