{"id":"https://openalex.org/W2118913513","doi":"https://doi.org/10.1109/icse.2009.5070543","title":"Analyzing critical process models through behavior model synthesis","display_name":"Analyzing critical process models through behavior model synthesis","publication_year":2009,"publication_date":"2009-01-01","ids":{"openalex":"https://openalex.org/W2118913513","doi":"https://doi.org/10.1109/icse.2009.5070543","mag":"2118913513"},"language":"en","primary_location":{"id":"doi:10.1109/icse.2009.5070543","doi":"https://doi.org/10.1109/icse.2009.5070543","is_oa":false,"landing_page_url":"https://doi.org/10.1109/icse.2009.5070543","pdf_url":null,"source":{"id":"https://openalex.org/S4210203175","display_name":"ACM/IEEE International Conference on Software Engineering: Companion Proceedings (ICSE-Companion)","issn_l":"0270-5257","issn":["0270-5257","1558-1225"],"is_oa":false,"is_in_doaj":false,"is_core":true,"listed_in":["cwts-core","norway-2"],"host_organization":"https://openalex.org/P4310319808","host_organization_name":"Institute of Electrical and Electronics Engineers","host_organization_lineage":["https://openalex.org/P4310319808"],"host_organization_lineage_names":["Institute of Electrical and Electronics Engineers"],"type":"conference"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2009 IEEE 31st International Conference on Software Engineering","raw_type":"proceedings-article"},"volume":null,"type":"conference-paper","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/A5057695594","display_name":"Christophe Damas","orcid":null,"observed_orcids":[]},"institutions":[{"id":"https://openalex.org/I95674353","display_name":"UCLouvain","ror":"https://ror.org/02495e989","country_code":"BE","type":"education","lineage":["https://openalex.org/I95674353"]}],"countries":["BE"],"is_corresponding":false,"raw_author_name":"Christophe Damas","raw_affiliation_strings":["D\u00e9partement dIng\u00e9nierie Informatique, Universit\u00e9 Catholique de Louvain, Belgium","D\u00e9partement d'Ing\u00e9nierie Informatique, Universit\u00e9 catholique de Louvain (UCL), Belgium"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"D\u00e9partement dIng\u00e9nierie Informatique, Universit\u00e9 Catholique de Louvain, Belgium","institution_ids":["https://openalex.org/I95674353"]},{"raw_affiliation_string":"D\u00e9partement d'Ing\u00e9nierie Informatique, Universit\u00e9 catholique de Louvain (UCL), Belgium","institution_ids":["https://openalex.org/I95674353"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5059010672","display_name":"Bernard Lambeau","orcid":null,"observed_orcids":[]},"institutions":[{"id":"https://openalex.org/I95674353","display_name":"UCLouvain","ror":"https://ror.org/02495e989","country_code":"BE","type":"education","lineage":["https://openalex.org/I95674353"]}],"countries":["BE"],"is_corresponding":false,"raw_author_name":"Bernard Lambeau","raw_affiliation_strings":["D\u00e9partement dIng\u00e9nierie Informatique, Universit\u00e9 Catholique de Louvain, Belgium","D\u00e9partement d'Ing\u00e9nierie Informatique, Universit\u00e9 catholique de Louvain (UCL), Belgium"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"D\u00e9partement dIng\u00e9nierie Informatique, Universit\u00e9 Catholique de Louvain, Belgium","institution_ids":["https://openalex.org/I95674353"]},{"raw_affiliation_string":"D\u00e9partement d'Ing\u00e9nierie Informatique, Universit\u00e9 catholique de Louvain (UCL), Belgium","institution_ids":["https://openalex.org/I95674353"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5003891981","display_name":"Fran\u00e7ois Roucoux","orcid":"https://orcid.org/0009-0007-1168-0688","observed_orcids":["https://orcid.org/0009-0007-1168-0688"]},"institutions":[{"id":"https://openalex.org/I95674353","display_name":"UCLouvain","ror":"https://ror.org/02495e989","country_code":"BE","type":"education","lineage":["https://openalex.org/I95674353"]}],"countries":["BE"],"is_corresponding":false,"raw_author_name":"Francois Roucoux","raw_affiliation_strings":["Facult\u00e9 de M\u00e9decine (UCL), Radioth\u00e9rapie Exp\u00e9rimentale (IMRE), Belgium","Radioth\u00e9rapie Exp\u00e9rimentale (IMRE), Facult\u00e9 de M\u00e9decine (UCL), Belgium"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Facult\u00e9 de M\u00e9decine (UCL), Radioth\u00e9rapie Exp\u00e9rimentale (IMRE), Belgium","institution_ids":["https://openalex.org/I95674353"]},{"raw_affiliation_string":"Radioth\u00e9rapie Exp\u00e9rimentale (IMRE), Facult\u00e9 de M\u00e9decine (UCL), Belgium","institution_ids":[]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5046441603","display_name":"Axel van Lamsweerde","orcid":"https://orcid.org/0009-0001-2035-1444","observed_orcids":["https://orcid.org/0009-0001-2035-1444"]},"institutions":[{"id":"https://openalex.org/I95674353","display_name":"UCLouvain","ror":"https://ror.org/02495e989","country_code":"BE","type":"education","lineage":["https://openalex.org/I95674353"]}],"countries":["BE"],"is_corresponding":false,"raw_author_name":"Axel van Lamsweerde","raw_affiliation_strings":["D\u00e9partement dIng\u00e9nierie Informatique, Universit\u00e9 Catholique de Louvain, Belgium","D\u00e9partement d'Ing\u00e9nierie Informatique, Universit\u00e9 catholique de Louvain (UCL), Belgium"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"D\u00e9partement dIng\u00e9nierie Informatique, Universit\u00e9 Catholique de Louvain, Belgium","institution_ids":["https://openalex.org/I95674353"]},{"raw_affiliation_string":"D\u00e9partement d'Ing\u00e9nierie Informatique, Universit\u00e9 catholique de Louvain (UCL), Belgium","institution_ids":["https://openalex.org/I95674353"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":[],"corresponding_institution_ids":["https://openalex.org/I95674353"],"apc_list":null,"apc_paid":null,"fwci":5.8577,"has_fulltext":false,"cited_by_count":29,"citation_normalized_percentile":{"value":0.96350735,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":89,"max":98},"biblio":{"volume":null,"issue":null,"first_page":"441","last_page":"451"},"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.8086000084877014,"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.8086000084877014,"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/T10142","display_name":"Formal Methods in Verification","score":0.14710000157356262,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"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.03739999979734421,"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/process-model-analysis","display_name":"process model analysis","score":0.800000011920929},{"id":"https://openalex.org/keywords/labeled-transition-systems","display_name":"labelled transition systems","score":0.8640000224113464},{"id":"https://openalex.org/keywords/decision-tree","display_name":"decision tree","score":0.8450000286102295},{"id":"https://openalex.org/keywords/trace-semantics","display_name":"trace semantics","score":0.6690000295639038},{"id":"https://openalex.org/keywords/model-checking","display_name":"model checking","score":0.9160000085830688},{"id":"https://openalex.org/keywords/invariant-generation","display_name":"invariant generation","score":0.9869999885559082}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8179340362548828},{"id":"https://openalex.org/C171018156","wikidata":"https://www.wikidata.org/wiki/Q7370306","display_name":"Rotation formalisms in three dimensions","level":2,"score":0.6375142335891724},{"id":"https://openalex.org/C75291252","wikidata":"https://www.wikidata.org/wiki/Q1315756","display_name":"TRACE (psycholinguistics)","level":2,"score":0.5100284218788147},{"id":"https://openalex.org/C76956256","wikidata":"https://www.wikidata.org/wiki/Q27610560","display_name":"Process modeling","level":3,"score":0.4948582053184509},{"id":"https://openalex.org/C72041958","wikidata":"https://www.wikidata.org/wiki/Q185092","display_name":"Flowchart","level":2,"score":0.48151835799217224},{"id":"https://openalex.org/C98045186","wikidata":"https://www.wikidata.org/wiki/Q205663","display_name":"Process (computing)","level":2,"score":0.4668562710285187},{"id":"https://openalex.org/C2779662365","wikidata":"https://www.wikidata.org/wiki/Q5416694","display_name":"Event (particle physics)","level":2,"score":0.4439733028411865},{"id":"https://openalex.org/C161771561","wikidata":"https://www.wikidata.org/wiki/Q1970286","display_name":"Process calculus","level":2,"score":0.4374404549598694},{"id":"https://openalex.org/C184337299","wikidata":"https://www.wikidata.org/wiki/Q1437428","display_name":"Semantics (computer science)","level":2,"score":0.4363858103752136},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.3507455587387085},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.32504960894584656},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.3142862617969513},{"id":"https://openalex.org/C174998907","wikidata":"https://www.wikidata.org/wiki/Q357662","display_name":"Work in process","level":2,"score":0.3093659579753876},{"id":"https://openalex.org/C41895202","wikidata":"https://www.wikidata.org/wiki/Q8162","display_name":"Linguistics","level":1,"score":0.0},{"id":"https://openalex.org/C144133560","wikidata":"https://www.wikidata.org/wiki/Q4830453","display_name":"Business","level":0,"score":0.0},{"id":"https://openalex.org/C2524010","wikidata":"https://www.wikidata.org/wiki/Q8087","display_name":"Geometry","level":1,"score":0.0},{"id":"https://openalex.org/C121332964","wikidata":"https://www.wikidata.org/wiki/Q413","display_name":"Physics","level":0,"score":0.0},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.0},{"id":"https://openalex.org/C138885662","wikidata":"https://www.wikidata.org/wiki/Q5891","display_name":"Philosophy","level":0,"score":0.0},{"id":"https://openalex.org/C162853370","wikidata":"https://www.wikidata.org/wiki/Q39809","display_name":"Marketing","level":1,"score":0.0},{"id":"https://openalex.org/C62520636","wikidata":"https://www.wikidata.org/wiki/Q944","display_name":"Quantum mechanics","level":1,"score":0.0}],"mesh":[],"locations_count":4,"locations":[{"id":"doi:10.1109/icse.2009.5070543","doi":"https://doi.org/10.1109/icse.2009.5070543","is_oa":false,"landing_page_url":"https://doi.org/10.1109/icse.2009.5070543","pdf_url":null,"source":{"id":"https://openalex.org/S4210203175","display_name":"ACM/IEEE International Conference on Software Engineering: Companion Proceedings (ICSE-Companion)","issn_l":"0270-5257","issn":["0270-5257","1558-1225"],"is_oa":false,"is_in_doaj":false,"is_core":true,"listed_in":["cwts-core","norway-2"],"host_organization":"https://openalex.org/P4310319808","host_organization_name":"Institute of Electrical and Electronics Engineers","host_organization_lineage":["https://openalex.org/P4310319808"],"host_organization_lineage_names":["Institute of Electrical and Electronics Engineers"],"type":"conference"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2009 IEEE 31st International Conference on Software Engineering","raw_type":"proceedings-article"},{"id":"pmh:oai:CiteSeerX.psu:10.1.1.147.1762","doi":null,"is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.147.1762","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"http://www.info.ucl.ac.be/Bienvenue/PagesPersonnelles/avl/avl-icse09.pdf","raw_type":"text"},{"id":"pmh:oai:dial.uclouvain.be:boreal:67607","doi":null,"is_oa":false,"landing_page_url":"http://hdl.handle.net/2078.1/67607","pdf_url":null,"source":{"id":"https://openalex.org/S4306400166","display_name":"Digital Access to Libraries","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I2800384882","host_organization_name":"Harris County Public Library","host_organization_lineage":["https://openalex.org/I2800384882"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"info:eu-repo/semantics/conferenceObject"},{"id":"pmh:oai:dial.uclouvain.be:boreal:88957","doi":null,"is_oa":false,"landing_page_url":"http://hdl.handle.net/2078.1/88957","pdf_url":null,"source":{"id":"https://openalex.org/S4306401902","display_name":"Digital Access to Libraries (Universit\u00e9 catholique de Louvain (UCL), l'Universit\u00e9 de Namur (UNamur) and the Universit\u00e9 Saint-Louis (USL-B))","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I95674353","host_organization_name":"UCLouvain","host_organization_lineage":["https://openalex.org/I95674353"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"info:eu-repo/semantics/conferenceObject"}],"best_oa_location":null,"sustainable_development_goals":[],"sustainable_development_goals_aurora":[],"study_designs":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":24,"referenced_works":["https://openalex.org/W198918365","https://openalex.org/W1506588809","https://openalex.org/W1559035930","https://openalex.org/W1830954042","https://openalex.org/W1995307465","https://openalex.org/W2004879943","https://openalex.org/W2034227487","https://openalex.org/W2038344164","https://openalex.org/W2060910670","https://openalex.org/W2111757195","https://openalex.org/W2114457640","https://openalex.org/W2117818414","https://openalex.org/W2120305491","https://openalex.org/W2120450154","https://openalex.org/W2125708466","https://openalex.org/W2129289644","https://openalex.org/W2135220153","https://openalex.org/W2148816070","https://openalex.org/W2159263584","https://openalex.org/W2164440547","https://openalex.org/W4232678125","https://openalex.org/W4246961331","https://openalex.org/W4251654175","https://openalex.org/W4285719527"],"related_works":["https://openalex.org/W2115972552","https://openalex.org/W1684337784","https://openalex.org/W4394592039","https://openalex.org/W2407524931","https://openalex.org/W2110224202","https://openalex.org/W4404287892","https://openalex.org/W2263612532","https://openalex.org/W2520322236","https://openalex.org/W2396282054","https://openalex.org/W4376621938"],"abstract_inverted_index":{"Process":[0],"models":[1,16,71,76,106,186],"capture":[2],"tasks":[3],"performed":[4],"by":[5,93,128],"agents":[6],"together":[7],"with":[8],"their":[9],"control":[10],"flow.":[11],"Building":[12],"and":[13,35,65,101,122,139,145,189],"analyzing":[14,55,69,199],"such":[15,24,39,46,95],"is":[17],"important":[18],"but":[19],"difficult":[20],"in":[21,38,148,162,169,172,198],"certain":[22],"areas":[23],"as":[25,47,79,96],"safety-critical":[26],"healthcare":[27],"processes.":[28,40],"Tool-supported":[29],"techniques":[30,67,126,178],"are":[31,77,107,152,168],"needed":[32],"to":[33,89],"find":[34],"correct":[36],"flaws":[37],"On":[41],"another":[42],"hand,":[43],"event-based":[44,66,123],"formalisms":[45],"Labeled":[48],"Transition":[49],"Systems":[50],"(LTS)":[51],"prove":[52],"effective":[53],"for":[54,68,183],"agent":[56],"behaviors.":[57],"The":[58,74,104,125,177,191],"paper":[59,192],"describes":[60,194],"a":[61,85,155],"blend":[62],"of":[63,120,142,158,164,174],"state-based":[64,121],"task":[70],"involving":[72],"decisions.":[73,150],"input":[75,105],"specified":[78],"guarded":[80,110,165],"high-level":[81],"message":[82],"sequence":[83],"charts,":[84],"language":[86],"allowing":[87],"us":[88],"integrate":[90],"material":[91],"provided":[92],"stakeholders":[94],"multi-agent":[97],"scenarios,":[98],"decision":[99],"trees,":[100],"flowchart":[102],"fragments.":[103],"compiled":[108],"into":[109],"LTS,":[111,166],"where":[112],"transition":[113],"guards":[114],"on":[115,154],"fluents":[116],"support":[117],"the":[118,140],"integration":[119],"analysis.":[124],"supported":[127],"our":[129,180,195],"tool":[130],"include":[131],"model":[132],"checking":[133],"against":[134],"process-specific":[135],"properties,":[136],"invariant":[137],"generation,":[138],"detection":[141],"incompleteness,":[143],"unreachability,":[144],"undesirable":[146],"non-determinism":[147],"process":[149,159],"They":[151],"based":[153],"trace":[156],"semantics":[157],"models,":[160],"defined":[161,171],"terms":[163,173],"which":[167],"turn":[170],"pure":[175],"LTS.":[176],"complement":[179],"previous":[181],"palette":[182],"synthesizing":[184],"behavior":[185],"from":[187],"scenarios":[188],"goals.":[190],"also":[193],"preliminary":[196],"experience":[197],"cancer":[200],"treatment":[201],"processes":[202],"using":[203],"these":[204],"techniques.":[205]},"counts_by_year":[{"year":2024,"cited_by_count":1},{"year":2020,"cited_by_count":2},{"year":2019,"cited_by_count":1},{"year":2018,"cited_by_count":1},{"year":2017,"cited_by_count":2},{"year":2016,"cited_by_count":1},{"year":2015,"cited_by_count":2},{"year":2014,"cited_by_count":4},{"year":2013,"cited_by_count":4},{"year":2012,"cited_by_count":3}],"updated_date":"2026-10-27T15:51:10.671819","created_date":"2016-06-24T00:00:00"}