{"id":"https://openalex.org/W2072674118","doi":"https://doi.org/10.1145/1923947.1923955","title":"Sequence diagram to colored Petri nets transformation testing","display_name":"Sequence diagram to colored Petri nets transformation testing","publication_year":2010,"publication_date":"2010-01-01","ids":{"openalex":"https://openalex.org/W2072674118","doi":"https://doi.org/10.1145/1923947.1923955","mag":"2072674118"},"language":"en","primary_location":{"id":"doi:10.1145/1923947.1923955","is_oa":false,"landing_page_url":"https://doi.org/10.1145/1923947.1923955","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 2010 Conference of the Center for Advanced Studies on Collaborative Research - CASCON '10","raw_type":"proceedings-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":false,"oa_status":"closed","oa_url":null,"any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5024207305","display_name":"Marouane Kessentini","orcid":null},"institutions":[{"id":"https://openalex.org/I70931966","display_name":"Universit\u00e9 de Montr\u00e9al","ror":"https://ror.org/0161xgx34","country_code":"CA","type":"education","lineage":["https://openalex.org/I70931966"]}],"countries":["CA"],"is_corresponding":true,"raw_author_name":"Marouane Kessentini","raw_affiliation_strings":["Universit\u00e9 de Montr\u00e9al, Montr\u00e9al, Canada","Universit\u00e9 de Montr\u00e9al Montr\u00e9al, Canada"],"affiliations":[{"raw_affiliation_string":"Universit\u00e9 de Montr\u00e9al, Montr\u00e9al, Canada","institution_ids":["https://openalex.org/I70931966"]},{"raw_affiliation_string":"Universit\u00e9 de Montr\u00e9al Montr\u00e9al, Canada","institution_ids":["https://openalex.org/I70931966"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5009574640","display_name":"Houari Sahraoui","orcid":"https://orcid.org/0000-0001-6304-9926"},"institutions":[{"id":"https://openalex.org/I70931966","display_name":"Universit\u00e9 de Montr\u00e9al","ror":"https://ror.org/0161xgx34","country_code":"CA","type":"education","lineage":["https://openalex.org/I70931966"]}],"countries":["CA"],"is_corresponding":false,"raw_author_name":"Houari Sahraoui","raw_affiliation_strings":["Universit\u00e9 de Montr\u00e9al, Montr\u00e9al, Canada","Universit\u00e9 de Montr\u00e9al Montr\u00e9al, Canada"],"affiliations":[{"raw_affiliation_string":"Universit\u00e9 de Montr\u00e9al, Montr\u00e9al, Canada","institution_ids":["https://openalex.org/I70931966"]},{"raw_affiliation_string":"Universit\u00e9 de Montr\u00e9al Montr\u00e9al, Canada","institution_ids":["https://openalex.org/I70931966"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5110653637","display_name":"Mounir Boukadoum","orcid":null},"institutions":[{"id":"https://openalex.org/I159129438","display_name":"Universit\u00e9 du Qu\u00e9bec \u00e0 Montr\u00e9al","ror":"https://ror.org/002rjbv21","country_code":"CA","type":"education","lineage":["https://openalex.org/I159129438","https://openalex.org/I49663120"]}],"countries":["CA"],"is_corresponding":false,"raw_author_name":"Mounir Boukadoum","raw_affiliation_strings":["Universit\u00e9 du Qu\u00e9bec \u00e0 Montr\u00e9al, Canada","Universit\u00e9 du Qu\u00e9bec \u00e0 Montr\u00e9al; Canada"],"affiliations":[{"raw_affiliation_string":"Universit\u00e9 du Qu\u00e9bec \u00e0 Montr\u00e9al, Canada","institution_ids":["https://openalex.org/I159129438"]},{"raw_affiliation_string":"Universit\u00e9 du Qu\u00e9bec \u00e0 Montr\u00e9al; Canada","institution_ids":["https://openalex.org/I159129438"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":3,"corresponding_author_ids":["https://openalex.org/A5024207305"],"corresponding_institution_ids":["https://openalex.org/I70931966"],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":3,"citation_normalized_percentile":{"value":0.19259849,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":94},"biblio":{"volume":null,"issue":null,"first_page":"72","last_page":"72"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11450","display_name":"Model-Driven Software Engineering Techniques","score":0.9997000098228455,"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"}},"topics":[{"id":"https://openalex.org/T11450","display_name":"Model-Driven Software Engineering Techniques","score":0.9997000098228455,"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"}},{"id":"https://openalex.org/T10743","display_name":"Software Testing and Debugging Techniques","score":0.9980999827384949,"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"}},{"id":"https://openalex.org/T10639","display_name":"Advanced Software Engineering Methodologies","score":0.995199978351593,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"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.720771312713623},{"id":"https://openalex.org/keywords/transformation","display_name":"Transformation (genetics)","score":0.7170153856277466},{"id":"https://openalex.org/keywords/sequence-diagram","display_name":"Sequence diagram","score":0.6405001282691956},{"id":"https://openalex.org/keywords/petri-net","display_name":"Petri net","score":0.5393867492675781},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.5111144185066223},{"id":"https://openalex.org/keywords/sequence","display_name":"Sequence (biology)","score":0.479107141494751},{"id":"https://openalex.org/keywords/model-transformation","display_name":"Model transformation","score":0.46467170119285583},{"id":"https://openalex.org/keywords/function","display_name":"Function (biology)","score":0.4601353704929352},{"id":"https://openalex.org/keywords/oracle","display_name":"Oracle","score":0.43662017583847046},{"id":"https://openalex.org/keywords/colored","display_name":"Colored","score":0.4282504618167877},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.36951324343681335},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.3339642286300659},{"id":"https://openalex.org/keywords/data-mining","display_name":"Data mining","score":0.32207605242729187},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.2894541025161743},{"id":"https://openalex.org/keywords/software","display_name":"Software","score":0.27754202485084534},{"id":"https://openalex.org/keywords/unified-modeling-language","display_name":"Unified Modeling Language","score":0.21381357312202454}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.720771312713623},{"id":"https://openalex.org/C204241405","wikidata":"https://www.wikidata.org/wiki/Q461499","display_name":"Transformation (genetics)","level":3,"score":0.7170153856277466},{"id":"https://openalex.org/C153185123","wikidata":"https://www.wikidata.org/wiki/Q1391624","display_name":"Sequence diagram","level":4,"score":0.6405001282691956},{"id":"https://openalex.org/C38677869","wikidata":"https://www.wikidata.org/wiki/Q724168","display_name":"Petri net","level":2,"score":0.5393867492675781},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.5111144185066223},{"id":"https://openalex.org/C2778112365","wikidata":"https://www.wikidata.org/wiki/Q3511065","display_name":"Sequence (biology)","level":2,"score":0.479107141494751},{"id":"https://openalex.org/C2779791154","wikidata":"https://www.wikidata.org/wiki/Q258040","display_name":"Model transformation","level":3,"score":0.46467170119285583},{"id":"https://openalex.org/C14036430","wikidata":"https://www.wikidata.org/wiki/Q3736076","display_name":"Function (biology)","level":2,"score":0.4601353704929352},{"id":"https://openalex.org/C55166926","wikidata":"https://www.wikidata.org/wiki/Q2892946","display_name":"Oracle","level":2,"score":0.43662017583847046},{"id":"https://openalex.org/C2778307483","wikidata":"https://www.wikidata.org/wiki/Q5149038","display_name":"Colored","level":2,"score":0.4282504618167877},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.36951324343681335},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.3339642286300659},{"id":"https://openalex.org/C124101348","wikidata":"https://www.wikidata.org/wiki/Q172491","display_name":"Data mining","level":1,"score":0.32207605242729187},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.2894541025161743},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.27754202485084534},{"id":"https://openalex.org/C145644426","wikidata":"https://www.wikidata.org/wiki/Q169411","display_name":"Unified Modeling Language","level":3,"score":0.21381357312202454},{"id":"https://openalex.org/C78458016","wikidata":"https://www.wikidata.org/wiki/Q840400","display_name":"Evolutionary biology","level":1,"score":0.0},{"id":"https://openalex.org/C192562407","wikidata":"https://www.wikidata.org/wiki/Q228736","display_name":"Materials science","level":0,"score":0.0},{"id":"https://openalex.org/C2776436953","wikidata":"https://www.wikidata.org/wiki/Q5163215","display_name":"Consistency (knowledge bases)","level":2,"score":0.0},{"id":"https://openalex.org/C159985019","wikidata":"https://www.wikidata.org/wiki/Q181790","display_name":"Composite material","level":1,"score":0.0},{"id":"https://openalex.org/C104317684","wikidata":"https://www.wikidata.org/wiki/Q7187","display_name":"Gene","level":2,"score":0.0},{"id":"https://openalex.org/C55493867","wikidata":"https://www.wikidata.org/wiki/Q7094","display_name":"Biochemistry","level":1,"score":0.0},{"id":"https://openalex.org/C185592680","wikidata":"https://www.wikidata.org/wiki/Q2329","display_name":"Chemistry","level":0,"score":0.0},{"id":"https://openalex.org/C86803240","wikidata":"https://www.wikidata.org/wiki/Q420","display_name":"Biology","level":0,"score":0.0},{"id":"https://openalex.org/C54355233","wikidata":"https://www.wikidata.org/wiki/Q7162","display_name":"Genetics","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/1923947.1923955","is_oa":false,"landing_page_url":"https://doi.org/10.1145/1923947.1923955","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 2010 Conference of the Center for Advanced Studies on Collaborative Research - CASCON '10","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":27,"referenced_works":["https://openalex.org/W145421520","https://openalex.org/W195085068","https://openalex.org/W1488331137","https://openalex.org/W1535346311","https://openalex.org/W1588611284","https://openalex.org/W1591513229","https://openalex.org/W1606919204","https://openalex.org/W1607508884","https://openalex.org/W1811555881","https://openalex.org/W1974326986","https://openalex.org/W1987549499","https://openalex.org/W1989178970","https://openalex.org/W1996881133","https://openalex.org/W2035827130","https://openalex.org/W2090094082","https://openalex.org/W2107061559","https://openalex.org/W2129624205","https://openalex.org/W2135424089","https://openalex.org/W2141188123","https://openalex.org/W2148591238","https://openalex.org/W2165203881","https://openalex.org/W2170394446","https://openalex.org/W2178641308","https://openalex.org/W2336539423","https://openalex.org/W2539024465","https://openalex.org/W2784020660","https://openalex.org/W3023540311"],"related_works":["https://openalex.org/W2009029954","https://openalex.org/W1579200824","https://openalex.org/W2537814132","https://openalex.org/W1847862552","https://openalex.org/W2071816114","https://openalex.org/W2115657514","https://openalex.org/W156775712","https://openalex.org/W2114344837","https://openalex.org/W1519151404","https://openalex.org/W2180463795","https://openalex.org/W2124638003","https://openalex.org/W2246953956","https://openalex.org/W2374525355","https://openalex.org/W2089846340","https://openalex.org/W2529008182","https://openalex.org/W1588559608","https://openalex.org/W1991571782","https://openalex.org/W2403813805","https://openalex.org/W86661953","https://openalex.org/W1493163586"],"abstract_inverted_index":{"Model":[0],"transformation":[1,17,30,42,46,86,99],"is":[2,33,52],"an":[3],"important":[4],"concern":[5],"in":[6,53],"software":[7],"engineering":[8],"today":[9],"and":[10,113],"rigorous":[11],"techniques":[12],"are":[13,69],"needed":[14],"to":[15,84,89,103],"check":[16],"quality.":[18],"In":[19],"this":[20],"paper,":[21],"we":[22],"propose":[23,80],"a":[24,41,81,97],"novel":[25],"oracle":[26],"function":[27],"for":[28],"model":[29],"testing":[31],"that":[32,38],"based":[34],"on":[35],"the":[36,39,48,61,111],"notion":[37],"more":[40,49],"deviates":[43],"from":[44,60],"well-known":[45],"examples,":[47],"likely":[50],"it":[51],"error.":[54],"Our":[55],"approach":[56,95],"takes":[57],"its":[58],"inspiration":[59],"biological":[62],"metaphor":[63],"of":[64,115],"immune":[65],"systems,":[66],"where":[67],"pathogens":[68],"identified":[70],"by":[71],"their":[72,90],"difference":[73],"with":[74,96],"normal":[75],"body":[76],"cells.":[77],"We":[78,92],"also":[79],"visualization":[82],"module":[83],"explore":[85],"fragments":[87],"according":[88],"risk.":[91],"evaluate":[93],"our":[94,116],"complex":[98],"mechanism:":[100],"Sequence":[101],"Diagram":[102],"Colored":[104],"Petri":[105],"Nets.":[106],"The":[107],"validation":[108],"results":[109],"confirm":[110],"effectiveness":[112],"efficiency":[114],"approach.":[117]},"counts_by_year":[{"year":2022,"cited_by_count":1},{"year":2020,"cited_by_count":1},{"year":2017,"cited_by_count":1}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}