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

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

 

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

Show item statistics
Icon
Export to
Author: 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
Date: 2011
Published in: RCIS 2011 : Fifth International Conference on Research Challenges in Information Science (2011),
ISBN/ISSN: 978-1-4244-8670-0
2151-1349
Document type: Presentation
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 contract, regulations and laws, busin...
[See more]
Cite: 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.
Size: 671.9Kb
Format: PDF

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

DOI: 10.1109/RCIS.2011.6006841

See editor´s version

This work is under a Creative Commons License: 
Attribution-NonCommercial-NoDerivatives 4.0 Internacional

This item appears in the following Collection(s)