Presentation
Contract-based test generation for data flow of business processes using constraint programming
Author/s | Jiménez Ramírez, Andrés
Martínez Gasca, Rafael Varela Vaca, Ángel Jesús |
Department | Universidad de Sevilla. Departamento de Lenguajes y Sistemas Informáticos |
Publication Date | 2011 |
Deposit Date | 2017-09-08 |
Published in |
|
ISBN/ISSN | 978-1-4244-8670-0 2151-1349 |
Abstract | The verification of the properties of a business
process (BP) has become a significant research topic in
recent years. In the early stages of development, the BP
model (e.g. BPMN, EPC), the BP contract (task ... The verification of the properties of a business process (BP) has become a significant research topic in recent years. In the early stages of development, the BP model (e.g. BPMN, EPC), the BP contract (task contract, regulations and laws, business rules), and the test objectives (requirements) are the only elements available. In order to support the modellers, automatic tools must be provided in order to check whether their business processes are in line with the BP contract. This paper proposes a new business process called the automatic test-case generator to automate the generation of test cases and verify that a BP has the intended functionality (semantic conformance). This generator is analysed, designed and implemented by taking into account the following tasks: Annotation of the BP model with the business process contract, calculation of the various data flow paths, transformation of these data flow paths into SSA form, and a modelling of a constraint satisfaction problem (constraint programming) of the BP contract for all data flow paths. The execution of this business process generates the test cases automatically. |
Funding agencies | Junta de Andalucía Ministerio de Ciencia e Innovación (MICIN). España |
Project ID. | P08-TIC-04095
TIN2009-13714 |
Citation | Jiménez Ramírez, A., Martínez Gasca, R. y Varela Vaca, Á.J. (2011). Contract-based test generation for data flow of business processes using constraint programming. En RCIS 2011 : Fifth International Conference on Research Challenges in Information Science Gosier, France: IEEE Computer Society. |
Files | Size | Format | View | Description |
---|---|---|---|---|
Contract-based.pdf | 671.9Kb | [PDF] | View/ | |