{"id":"https://openalex.org/W2095246641","doi":"https://doi.org/10.1109/rcis.2011.6006841","title":"Contract-based test generation for data flow of business processes using constraint programming","display_name":"Contract-based test generation for data flow of business processes using constraint programming","publication_year":2011,"publication_date":"2011-05-01","ids":{"openalex":"https://openalex.org/W2095246641","doi":"https://doi.org/10.1109/rcis.2011.6006841","mag":"2095246641"},"language":"en","primary_location":{"id":"doi:10.1109/rcis.2011.6006841","is_oa":false,"landing_page_url":"https://doi.org/10.1109/rcis.2011.6006841","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2011 FIFTH INTERNATIONAL CONFERENCE ON RESEARCH CHALLENGES IN INFORMATION SCIENCE","raw_type":"proceedings-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://idus.us.es/handle/11441/64274","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5000885481","display_name":"Andres J. Ramirez","orcid":"https://orcid.org/0000-0001-8657-992X"},"institutions":[{"id":"https://openalex.org/I79238269","display_name":"Universidad de Sevilla","ror":"https://ror.org/03yxnpp24","country_code":"ES","type":"education","lineage":["https://openalex.org/I79238269"]}],"countries":["ES"],"is_corresponding":true,"raw_author_name":"A. Jimenez-Ramirez","raw_affiliation_strings":["Computer Languages and Systems Department, Quivir Research Group, ETS Ingenier\u00eda Inform\u00e1tica, University of Seville, Seville, Spain","Computer Languages and Systems Department, Quivir Research Group, ETS Ingenier\u00eda Inform\u00e1tica, Avd. Reina Mercedes s/n, 41012, University of Seville, Spain"],"affiliations":[{"raw_affiliation_string":"Computer Languages and Systems Department, Quivir Research Group, ETS Ingenier\u00eda Inform\u00e1tica, University of Seville, Seville, Spain","institution_ids":["https://openalex.org/I79238269"]},{"raw_affiliation_string":"Computer Languages and Systems Department, Quivir Research Group, ETS Ingenier\u00eda Inform\u00e1tica, Avd. Reina Mercedes s/n, 41012, University of Seville, Spain","institution_ids":["https://openalex.org/I79238269"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5074878843","display_name":"Rafael M. Gasca","orcid":"https://orcid.org/0000-0003-2348-7424"},"institutions":[{"id":"https://openalex.org/I79238269","display_name":"Universidad de Sevilla","ror":"https://ror.org/03yxnpp24","country_code":"ES","type":"education","lineage":["https://openalex.org/I79238269"]}],"countries":["ES"],"is_corresponding":false,"raw_author_name":"R.M. Gasca","raw_affiliation_strings":["Computer Languages and Systems Department, Quivir Research Group, ETS Ingenier\u00eda Inform\u00e1tica, University of Seville, Seville, Spain","Computer Languages and Systems Department, Quivir Research Group, ETS Ingenier\u00eda Inform\u00e1tica, Avd. Reina Mercedes s/n, 41012, University of Seville, Spain"],"affiliations":[{"raw_affiliation_string":"Computer Languages and Systems Department, Quivir Research Group, ETS Ingenier\u00eda Inform\u00e1tica, University of Seville, Seville, Spain","institution_ids":["https://openalex.org/I79238269"]},{"raw_affiliation_string":"Computer Languages and Systems Department, Quivir Research Group, ETS Ingenier\u00eda Inform\u00e1tica, Avd. Reina Mercedes s/n, 41012, University of Seville, Spain","institution_ids":["https://openalex.org/I79238269"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5009713122","display_name":"\u00c1ngel Jes\u00fas Varela\u2010Vaca","orcid":"https://orcid.org/0000-0001-9953-6005"},"institutions":[{"id":"https://openalex.org/I79238269","display_name":"Universidad de Sevilla","ror":"https://ror.org/03yxnpp24","country_code":"ES","type":"education","lineage":["https://openalex.org/I79238269"]}],"countries":["ES"],"is_corresponding":false,"raw_author_name":"A.J. Varela-Vaca","raw_affiliation_strings":["Computer Languages and Systems Department, Quivir Research Group, ETS Ingenier\u00eda Inform\u00e1tica, University of Seville, Seville, Spain","Computer Languages and Systems Department, Quivir Research Group, ETS Ingenier\u00eda Inform\u00e1tica, Avd. Reina Mercedes s/n, 41012, University of Seville, Spain"],"affiliations":[{"raw_affiliation_string":"Computer Languages and Systems Department, Quivir Research Group, ETS Ingenier\u00eda Inform\u00e1tica, University of Seville, Seville, Spain","institution_ids":["https://openalex.org/I79238269"]},{"raw_affiliation_string":"Computer Languages and Systems Department, Quivir Research Group, ETS Ingenier\u00eda Inform\u00e1tica, Avd. Reina Mercedes s/n, 41012, University of Seville, Spain","institution_ids":["https://openalex.org/I79238269"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":3,"corresponding_author_ids":["https://openalex.org/A5000885481"],"corresponding_institution_ids":["https://openalex.org/I79238269"],"apc_list":null,"apc_paid":null,"fwci":1.5991,"has_fulltext":false,"cited_by_count":4,"citation_normalized_percentile":{"value":0.85601872,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":90,"max":94},"biblio":{"volume":"46","issue":null,"first_page":"1","last_page":"12"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10703","display_name":"Business Process Modeling and Analysis","score":0.9991999864578247,"subfield":{"id":"https://openalex.org/subfields/1404","display_name":"Management Information Systems"},"field":{"id":"https://openalex.org/fields/14","display_name":"Business, Management and Accounting"},"domain":{"id":"https://openalex.org/domains/2","display_name":"Social Sciences"}},"topics":[{"id":"https://openalex.org/T10703","display_name":"Business Process Modeling and Analysis","score":0.9991999864578247,"subfield":{"id":"https://openalex.org/subfields/1404","display_name":"Management Information Systems"},"field":{"id":"https://openalex.org/fields/14","display_name":"Business, Management and Accounting"},"domain":{"id":"https://openalex.org/domains/2","display_name":"Social Sciences"}},{"id":"https://openalex.org/T10679","display_name":"Service-Oriented Architecture and Web Services","score":0.994700014591217,"subfield":{"id":"https://openalex.org/subfields/1710","display_name":"Information Systems"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T11450","display_name":"Model-Driven Software Engineering Techniques","score":0.9937000274658203,"subfield":{"id":"https://openalex.org/subfields/1712","display_name":"Software"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.7635189294815063},{"id":"https://openalex.org/keywords/business-process-model-and-notation","display_name":"Business Process Model and Notation","score":0.6617658138275146},{"id":"https://openalex.org/keywords/business-rule","display_name":"Business rule","score":0.6523826122283936},{"id":"https://openalex.org/keywords/business-process","display_name":"Business process","score":0.6075824499130249},{"id":"https://openalex.org/keywords/business-process-modeling","display_name":"Business process modeling","score":0.5558068156242371},{"id":"https://openalex.org/keywords/software-engineering","display_name":"Software engineering","score":0.5441284775733948},{"id":"https://openalex.org/keywords/artifact-centric-business-process-model","display_name":"Artifact-centric business process model","score":0.509313702583313},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.4600716531276703},{"id":"https://openalex.org/keywords/test-case","display_name":"Test case","score":0.4418458640575409},{"id":"https://openalex.org/keywords/process-management","display_name":"Process management","score":0.3372952342033386},{"id":"https://openalex.org/keywords/work-in-process","display_name":"Work in process","score":0.16168534755706787},{"id":"https://openalex.org/keywords/machine-learning","display_name":"Machine learning","score":0.11410653591156006},{"id":"https://openalex.org/keywords/engineering","display_name":"Engineering","score":0.11189162731170654},{"id":"https://openalex.org/keywords/operations-management","display_name":"Operations management","score":0.08215105533599854}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7635189294815063},{"id":"https://openalex.org/C179299601","wikidata":"https://www.wikidata.org/wiki/Q1017605","display_name":"Business Process Model and Notation","level":5,"score":0.6617658138275146},{"id":"https://openalex.org/C11066294","wikidata":"https://www.wikidata.org/wiki/Q1518244","display_name":"Business rule","level":4,"score":0.6523826122283936},{"id":"https://openalex.org/C85345410","wikidata":"https://www.wikidata.org/wiki/Q851587","display_name":"Business process","level":3,"score":0.6075824499130249},{"id":"https://openalex.org/C207505557","wikidata":"https://www.wikidata.org/wiki/Q4374012","display_name":"Business process modeling","level":4,"score":0.5558068156242371},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.5441284775733948},{"id":"https://openalex.org/C162754035","wikidata":"https://www.wikidata.org/wiki/Q17006331","display_name":"Artifact-centric business process model","level":5,"score":0.509313702583313},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.4600716531276703},{"id":"https://openalex.org/C128942645","wikidata":"https://www.wikidata.org/wiki/Q1568346","display_name":"Test case","level":3,"score":0.4418458640575409},{"id":"https://openalex.org/C195094911","wikidata":"https://www.wikidata.org/wiki/Q14167904","display_name":"Process management","level":1,"score":0.3372952342033386},{"id":"https://openalex.org/C174998907","wikidata":"https://www.wikidata.org/wiki/Q357662","display_name":"Work in process","level":2,"score":0.16168534755706787},{"id":"https://openalex.org/C119857082","wikidata":"https://www.wikidata.org/wiki/Q2539","display_name":"Machine learning","level":1,"score":0.11410653591156006},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.11189162731170654},{"id":"https://openalex.org/C21547014","wikidata":"https://www.wikidata.org/wiki/Q1423657","display_name":"Operations management","level":1,"score":0.08215105533599854},{"id":"https://openalex.org/C152877465","wikidata":"https://www.wikidata.org/wiki/Q208042","display_name":"Regression analysis","level":2,"score":0.0}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1109/rcis.2011.6006841","is_oa":false,"landing_page_url":"https://doi.org/10.1109/rcis.2011.6006841","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2011 FIFTH INTERNATIONAL CONFERENCE ON RESEARCH CHALLENGES IN INFORMATION SCIENCE","raw_type":"proceedings-article"},{"id":"pmh:oai:idus.us.es:11441/64274","is_oa":true,"landing_page_url":"https://idus.us.es/handle/11441/64274","pdf_url":null,"source":{"id":"https://openalex.org/S4306400333","display_name":"idUS (Universidad de Sevilla)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I79238269","host_organization_name":"Universidad de Sevilla","host_organization_lineage":["https://openalex.org/I79238269"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by-nc-nd","license_id":"https://openalex.org/licenses/cc-by-nc-nd","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"info:eu-repo/semantics/conferenceObject"}],"best_oa_location":{"id":"pmh:oai:idus.us.es:11441/64274","is_oa":true,"landing_page_url":"https://idus.us.es/handle/11441/64274","pdf_url":null,"source":{"id":"https://openalex.org/S4306400333","display_name":"idUS (Universidad de Sevilla)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I79238269","host_organization_name":"Universidad de Sevilla","host_organization_lineage":["https://openalex.org/I79238269"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by-nc-nd","license_id":"https://openalex.org/licenses/cc-by-nc-nd","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"info:eu-repo/semantics/conferenceObject"},"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":32,"referenced_works":["https://openalex.org/W89541942","https://openalex.org/W178283311","https://openalex.org/W179935699","https://openalex.org/W1483841686","https://openalex.org/W1514953324","https://openalex.org/W1590026725","https://openalex.org/W1591654213","https://openalex.org/W1963897540","https://openalex.org/W1976066707","https://openalex.org/W2004281168","https://openalex.org/W2013861609","https://openalex.org/W2034664050","https://openalex.org/W2038597881","https://openalex.org/W2044769532","https://openalex.org/W2054995704","https://openalex.org/W2059131026","https://openalex.org/W2064715751","https://openalex.org/W2101811680","https://openalex.org/W2105821857","https://openalex.org/W2129587480","https://openalex.org/W2140431256","https://openalex.org/W2145011047","https://openalex.org/W2155795235","https://openalex.org/W2155801621","https://openalex.org/W2155934832","https://openalex.org/W2168996450","https://openalex.org/W2911787024","https://openalex.org/W3136018278","https://openalex.org/W3147946029","https://openalex.org/W4250487516","https://openalex.org/W6641259246","https://openalex.org/W6661880427"],"related_works":["https://openalex.org/W93556318","https://openalex.org/W4300427051","https://openalex.org/W2150476276","https://openalex.org/W2097616329","https://openalex.org/W2408087754","https://openalex.org/W2162840089","https://openalex.org/W2479849232","https://openalex.org/W2390124755","https://openalex.org/W142537396","https://openalex.org/W2034761836"],"abstract_inverted_index":{"The":[0,166],"verification":[1],"of":[2,5,23,93,122,132,139,150,157,168],"the":[3,20,25,31,42,47,55,74,85,91,102,118,123,127,133,158,173],"properties":[4],"a":[6,12,80,99,148,151],"business":[7,39,68,82,128,170],"process":[8,83,129,171],"(BP)":[9],"has":[10,101],"become":[11],"significant":[13],"research":[14],"topic":[15],"in":[16,62,71],"recent":[17],"years.":[18],"In":[19,51],"early":[21],"stages":[22],"development,":[24],"BP":[26,32,75,100,124,159],"model":[27,125],"(e.g.":[28],"BPMN,":[29],"EPC),":[30],"contract":[33,160],"(task":[34],"contract,":[35,130],"regulations":[36],"and":[37,41,96,112,147],"laws,":[38],"rules),":[40],"test":[43,94,174],"objectives":[44],"(requirements)":[45],"are":[46,70],"only":[48],"elements":[49],"available.":[50],"order":[52,63],"to":[53,64,89],"support":[54],"modellers,":[56],"automatic":[57,86],"tools":[58],"must":[59],"be":[60],"provided":[61],"check":[65],"whether":[66],"their":[67],"processes":[69],"line":[72],"with":[73,126],"contract.":[76],"This":[77,107],"paper":[78],"proposes":[79],"new":[81],"called":[84],"test-case":[87],"generator":[88,108],"automate":[90],"generation":[92],"cases":[95,175],"verify":[97],"that":[98],"intended":[103],"functionality":[104],"(semantic":[105],"conformance).":[106],"is":[109],"analysed,":[110],"designed":[111],"implemented":[113],"by":[114],"taking":[115],"into":[116,144],"account":[117],"following":[119],"tasks:":[120],"Annotation":[121],"calculation":[131],"various":[134],"data":[135,141,163],"flow":[136,142,164],"paths,":[137],"transformation":[138],"these":[140],"paths":[143],"SSA":[145],"form,":[146],"modelling":[149],"constraint":[152],"satisfaction":[153],"problem":[154],"(constraint":[155],"programming)":[156],"for":[161],"all":[162],"paths.":[165],"execution":[167],"this":[169],"generates":[172],"automatically.":[176]},"counts_by_year":[{"year":2016,"cited_by_count":1},{"year":2014,"cited_by_count":1},{"year":2012,"cited_by_count":1}],"updated_date":"2026-04-05T17:49:38.594831","created_date":"2025-10-10T00:00:00"}