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

fYear

2013

fDate

19-22 June 2013

Firstpage

1

Lastpage

6

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;

fLanguage

English

Publisher

ieee

Conference_Titel

Information Systems and Technologies (CISTI), 2013 8th Iberian Conference on

Conference_Location

Lisboa

Type

conf

Filename

6615868