dc.creator | Jiménez Ramírez, Andrés | es |
dc.creator | Martínez Gasca, Rafael | es |
dc.creator | Varela Vaca, Ángel Jesús | es |
dc.date.accessioned | 2017-09-08T09:06:46Z | |
dc.date.available | 2017-09-08T09:06:46Z | |
dc.date.issued | 2011 | |
dc.identifier.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. | |
dc.identifier.isbn | 978-1-4244-8670-0 | es |
dc.identifier.issn | 2151-1349 | es |
dc.identifier.uri | http://hdl.handle.net/11441/64274 | |
dc.description.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, 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. | es |
dc.description.sponsorship | Junta de Andalucía P08-TIC-04095 | es |
dc.description.sponsorship | Ministerio de Ciencia e Innovación TIN2009-13714 | es |
dc.format | application/pdf | es |
dc.language.iso | eng | es |
dc.publisher | IEEE Computer Society | es |
dc.relation.ispartof | RCIS 2011 : Fifth International Conference on Research Challenges in Information Science (2011), | |
dc.rights | Attribution-NonCommercial-NoDerivatives 4.0 Internacional | * |
dc.rights.uri | http://creativecommons.org/licenses/by-nc-nd/4.0/ | * |
dc.subject | Test case | es |
dc.subject | BPMN | es |
dc.subject | Constraint programming | es |
dc.subject | SSA Form | es |
dc.subject | UML Testing Profile | es |
dc.title | Contract-based test generation for data flow of business processes using constraint programming | es |
dc.type | info:eu-repo/semantics/conferenceObject | es |
dcterms.identifier | https://ror.org/03yxnpp24 | |
dc.type.version | info:eu-repo/semantics/submittedVersion | es |
dc.rights.accessRights | info:eu-repo/semantics/openAccess | es |
dc.contributor.affiliation | Universidad de Sevilla. Departamento de Lenguajes y Sistemas Informáticos | es |
dc.relation.projectID | P08-TIC-04095 | es |
dc.relation.projectID | TIN2009-13714 | es |
dc.relation.publisherversion | http://ieeexplore.ieee.org/document/6006841/ | es |
dc.identifier.doi | 10.1109/RCIS.2011.6006841 | es |
idus.format.extent | 12 | es |
dc.eventtitle | RCIS 2011 : Fifth International Conference on Research Challenges in Information Science | es |
dc.eventinstitution | Gosier, France | es |
dc.relation.publicationplace | New York, USA | es |
dc.contributor.funder | Junta de Andalucía | |
dc.contributor.funder | Ministerio de Ciencia e Innovación (MICIN). España | |