Repositorio de producción científica de la Universidad de Sevilla

Contract-based test generation for data flow of business processes using constraint programming

Opened Access Contract-based test generation for data flow of business processes using constraint programming

Citas

buscar en

Estadísticas
Icon
Exportar a
Autor: Jiménez Ramírez, Andrés
Martínez Gasca, Rafael
Varela Vaca, Ángel Jesús
Departamento: Universidad de Sevilla. Departamento de Lenguajes y Sistemas Informáticos
Fecha: 2011
Publicado en: RCIS 2011 : Fifth International Conference on Research Challenges in Information Science (2011),
ISBN/ISSN: 978-1-4244-8670-0
Tipo de documento: Ponencia
Resumen: 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 satisfa...
[Ver más]
Cita: 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.
Tamaño: 671.9Kb
Formato: PDF

URI: http://hdl.handle.net/11441/64274

DOI: 10.1109/RCIS.2011.6006841

Ver versión del editor

Mostrar el registro completo del ítem


Esta obra está bajo una Licencia Creative Commons Attribution-NonCommercial-NoDerivatives 4.0 Internacional

Este registro aparece en las siguientes colecciones