{"id":"https://openalex.org/W7147704875","doi":"https://doi.org/10.70675/03d23085z4c57z4885z843bz1e189d1e63a6","title":"Alloy4PV : un Framework pour la V\u00e9rification de Proc\u00e9d\u00e9s M\u00e9tiers","display_name":"Alloy4PV : un Framework pour la V\u00e9rification de Proc\u00e9d\u00e9s M\u00e9tiers","publication_year":2015,"publication_date":"2015-01-15","ids":{"openalex":"https://openalex.org/W7147704875","doi":"https://doi.org/10.70675/03d23085z4c57z4885z843bz1e189d1e63a6","mag":"855625511"},"language":"fr","primary_location":{"id":"doi:10.70675/03d23085z4c57z4885z843bz1e189d1e63a6","doi":"https://doi.org/10.70675/03d23085z4c57z4885z843bz1e189d1e63a6","is_oa":false,"landing_page_url":"https://doi.org/10.70675/03d23085z4c57z4885z843bz1e189d1e63a6","pdf_url":null,"source":{"id":"https://openalex.org/S4406923047","display_name":"theses.fr (ABES)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Paris 6","raw_type":"dissertation"},"volume":null,"type":"dissertation","is_traditional":true,"indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://theses.hal.science/tel-01133320v1/document","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5083674054","display_name":"Yoann Laurent","orcid":null,"observed_orcids":[]},"institutions":[{"id":"https://openalex.org/I4405264447","display_name":"Universit\u00e9 Pierre-et-Marie-Curie","ror":"https://ror.org/01yvrd251","country_code":"FR","type":"education","lineage":["https://openalex.org/I39804081","https://openalex.org/I4405264447"]}],"countries":["FR"],"is_corresponding":true,"raw_author_name":"Yoann Laurent","raw_affiliation_strings":["Paris 6"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Paris 6","institution_ids":["https://openalex.org/I4405264447"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":["https://openalex.org/A5083674054"],"corresponding_institution_ids":["https://openalex.org/I4405264447"],"apc_list":null,"apc_paid":null,"fwci":null,"has_fulltext":true,"cited_by_count":2,"citation_normalized_percentile":null,"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":null,"last_page":null},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.8407999873161316,"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"}},"topics":[{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.8407999873161316,"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/T10703","display_name":"Business Process Modeling and Analysis","score":0.11630000174045563,"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/T11450","display_name":"Model-Driven Software Engineering Techniques","score":0.03959999978542328,"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-verification","display_name":"process verification","score":0.8489999771118164},{"id":"https://openalex.org/keywords/alloys","display_name":"alloys","score":0.5740000009536743},{"id":"https://openalex.org/keywords/uml-activity-diagrams","display_name":"UML activity diagrams","score":0.8999999761581421},{"id":"https://openalex.org/keywords/fuml","display_name":"fUML","score":0.753000020980835},{"id":"https://openalex.org/keywords/formal-semantics","display_name":"formal semantics","score":0.6050000190734863},{"id":"https://openalex.org/keywords/bounded-model-checking","display_name":"bounded model checking","score":0.8180000185966492},{"id":"https://openalex.org/keywords/first-order-logic","display_name":"first-order logic","score":0.8769999742507935},{"id":"https://openalex.org/keywords/process-properties","display_name":"process properties","score":0.4519999921321869},{"id":"https://openalex.org/keywords/eclipse-plug-in","display_name":"Eclipse plug-in","score":0.48100000619888306},{"id":"https://openalex.org/keywords/business-process-modeling","display_name":"business process modeling","score":0.4740000069141388}],"concepts":[{"id":"https://openalex.org/C138885662","wikidata":"https://www.wikidata.org/wiki/Q5891","display_name":"Philosophy","level":0,"score":0.5098000168800354},{"id":"https://openalex.org/C15708023","wikidata":"https://www.wikidata.org/wiki/Q80083","display_name":"Humanities","level":1,"score":0.44339999556541443},{"id":"https://openalex.org/C2779343474","wikidata":"https://www.wikidata.org/wiki/Q3109175","display_name":"Context (archaeology)","level":2,"score":0.2953000068664551},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.27459999918937683},{"id":"https://openalex.org/C17744445","wikidata":"https://www.wikidata.org/wiki/Q36442","display_name":"Political science","level":0,"score":0.19550000131130219},{"id":"https://openalex.org/C36503486","wikidata":"https://www.wikidata.org/wiki/Q11235244","display_name":"Domain (mathematical analysis)","level":2,"score":0.1858000010251999},{"id":"https://openalex.org/C2776443958","wikidata":"https://www.wikidata.org/wiki/Q3298658","display_name":"ESPACE","level":2,"score":0.1509000062942505},{"id":"https://openalex.org/C12713177","wikidata":"https://www.wikidata.org/wiki/Q1900281","display_name":"Perspective (graphical)","level":2,"score":0.12960000336170197},{"id":"https://openalex.org/C182306322","wikidata":"https://www.wikidata.org/wiki/Q1779371","display_name":"Order (exchange)","level":2,"score":0.12710000574588776},{"id":"https://openalex.org/C18762648","wikidata":"https://www.wikidata.org/wiki/Q42213","display_name":"Work (physics)","level":2,"score":0.12460000067949295}],"mesh":[],"locations_count":4,"locations":[{"id":"doi:10.70675/03d23085z4c57z4885z843bz1e189d1e63a6","doi":"https://doi.org/10.70675/03d23085z4c57z4885z843bz1e189d1e63a6","is_oa":false,"landing_page_url":"https://doi.org/10.70675/03d23085z4c57z4885z843bz1e189d1e63a6","pdf_url":null,"source":{"id":"https://openalex.org/S4406923047","display_name":"theses.fr (ABES)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Paris 6","raw_type":"dissertation"},{"id":"pmh:oai:HAL:tel-01133320v1","doi":null,"is_oa":true,"landing_page_url":"https://theses.hal.science/tel-01133320","pdf_url":"https://theses.hal.science/tel-01133320v1/document","source":{"id":"https://openalex.org/S4306402512","display_name":"HAL","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I4405252976","host_organization_name":"Centre pour la Communication Scientifique Directe","host_organization_lineage":["https://openalex.org/I4405252976"],"host_organization_lineage_names":[],"type":"repository"},"license":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Autre [cs.OH]. Universit\u00e9 Pierre et Marie Curie - Paris VI, 2015. Fran\u00e7ais. ⟨NNT : 2015PA066024⟩","raw_type":"info:eu-repo/semantics/doctoralThesis"},{"id":"pmh:2015PA066024","doi":null,"is_oa":true,"landing_page_url":"http://www.theses.fr/2015PA066024/document","pdf_url":null,"source":{"id":"https://openalex.org/S4406923047","display_name":"theses.fr (ABES)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"repository"},"license":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"Electronic Thesis or Dissertation"},{"id":"mag:855625511","doi":null,"is_oa":false,"landing_page_url":"https://www.theses.fr/2015PA066024.pdf","pdf_url":null,"source":null,"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":null}],"best_oa_location":{"id":"pmh:oai:HAL:tel-01133320v1","doi":null,"is_oa":true,"landing_page_url":"https://theses.hal.science/tel-01133320","pdf_url":"https://theses.hal.science/tel-01133320v1/document","source":{"id":"https://openalex.org/S4306402512","display_name":"HAL","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I4405252976","host_organization_name":"Centre pour la Communication Scientifique Directe","host_organization_lineage":["https://openalex.org/I4405252976"],"host_organization_lineage_names":[],"type":"repository"},"license":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Autre [cs.OH]. Universit\u00e9 Pierre et Marie Curie - Paris VI, 2015. Fran\u00e7ais. ⟨NNT : 2015PA066024⟩","raw_type":"info:eu-repo/semantics/doctoralThesis"},"sustainable_development_goals":[],"study_designs":[],"awards":[],"funders":[],"has_content":{"grobid_xml":true,"pdf":true},"content_urls":{"pdf":"https://content.openalex.org/works/W7147704875.pdf","grobid_xml":"https://content.openalex.org/works/W7147704875.grobid-xml"},"referenced_works_count":190,"referenced_works":["https://openalex.org/W5815757","https://openalex.org/W58993498","https://openalex.org/W79029278","https://openalex.org/W205816547","https://openalex.org/W243508127","https://openalex.org/W406634656","https://openalex.org/W623593394","https://openalex.org/W1445667591","https://openalex.org/W1465777884","https://openalex.org/W1481362792","https://openalex.org/W1482002366","https://openalex.org/W1482381349","https://openalex.org/W1484040084","https://openalex.org/W1486089982","https://openalex.org/W1489225646","https://openalex.org/W1489391022","https://openalex.org/W1492729957","https://openalex.org/W1494730619","https://openalex.org/W1497489765","https://openalex.org/W1497879578","https://openalex.org/W1500350767","https://openalex.org/W1500477099","https://openalex.org/W1509607930","https://openalex.org/W1518705996","https://openalex.org/W1519503479","https://openalex.org/W1526440390","https://openalex.org/W1529819520","https://openalex.org/W1534869992","https://openalex.org/W1535344947","https://openalex.org/W1538060644","https://openalex.org/W1538310240","https://openalex.org/W1545091465","https://openalex.org/W1546692412","https://openalex.org/W1549122259","https://openalex.org/W1554125077","https://openalex.org/W1565807956","https://openalex.org/W1567640736","https://openalex.org/W1569043828","https://openalex.org/W1570265525","https://openalex.org/W1573154295","https://openalex.org/W1574030932","https://openalex.org/W1574570499","https://openalex.org/W1577475161","https://openalex.org/W1579618781","https://openalex.org/W1581575676","https://openalex.org/W1582439588","https://openalex.org/W1583095677","https://openalex.org/W1583869287","https://openalex.org/W1584891124","https://openalex.org/W1586480192","https://openalex.org/W1587558522","https://openalex.org/W1589389108","https://openalex.org/W1593225548","https://openalex.org/W1597077587","https://openalex.org/W1602465280","https://openalex.org/W1612453857","https://openalex.org/W1620275631","https://openalex.org/W1634168340","https://openalex.org/W1673753150","https://openalex.org/W1704218983","https://openalex.org/W1753324106","https://openalex.org/W1755189310","https://openalex.org/W1759712729","https://openalex.org/W1759737144","https://openalex.org/W1815267001","https://openalex.org/W1822925936","https://openalex.org/W1831630531","https://openalex.org/W1877369453","https://openalex.org/W1890629124","https://openalex.org/W1898986177","https://openalex.org/W1905337639","https://openalex.org/W1917579815","https://openalex.org/W1930200668","https://openalex.org/W1952086413","https://openalex.org/W1975286358","https://openalex.org/W1977237988","https://openalex.org/W1978638930","https://openalex.org/W1980935916","https://openalex.org/W1983110729","https://openalex.org/W1987612454","https://openalex.org/W1989654373","https://openalex.org/W1992271634","https://openalex.org/W1992874956","https://openalex.org/W1996109622","https://openalex.org/W1996832037","https://openalex.org/W1999542766","https://openalex.org/W2000947342","https://openalex.org/W2001499937","https://openalex.org/W2001859357","https://openalex.org/W2005497495","https://openalex.org/W2015234709","https://openalex.org/W2018944629","https://openalex.org/W2020034474","https://openalex.org/W2020675906","https://openalex.org/W2020878587","https://openalex.org/W2020916311","https://openalex.org/W2023254383","https://openalex.org/W2023808162","https://openalex.org/W2027158876","https://openalex.org/W2032942444","https://openalex.org/W2034501851","https://openalex.org/W2039319112","https://openalex.org/W2041518594","https://openalex.org/W2046968590","https://openalex.org/W2048357983","https://openalex.org/W2048905609","https://openalex.org/W2054554282","https://openalex.org/W2057339615","https://openalex.org/W2063294547","https://openalex.org/W2064900519","https://openalex.org/W2066930079","https://openalex.org/W2081995564","https://openalex.org/W2093826986","https://openalex.org/W2096998948","https://openalex.org/W2097810426","https://openalex.org/W2099590434","https://openalex.org/W2101842544","https://openalex.org/W2104537183","https://openalex.org/W2104599345","https://openalex.org/W2104877841","https://openalex.org/W2107061559","https://openalex.org/W2107808851","https://openalex.org/W2110629569","https://openalex.org/W2115043016","https://openalex.org/W2115309705","https://openalex.org/W2116989825","https://openalex.org/W2117146495","https://openalex.org/W2117189826","https://openalex.org/W2117389764","https://openalex.org/W2117571106","https://openalex.org/W2120312005","https://openalex.org/W2120450154","https://openalex.org/W2121372686","https://openalex.org/W2122177364","https://openalex.org/W2126752911","https://openalex.org/W2127030216","https://openalex.org/W2127300475","https://openalex.org/W2129466958","https://openalex.org/W2130851407","https://openalex.org/W2131918784","https://openalex.org/W2131967717","https://openalex.org/W2132846943","https://openalex.org/W2133744424","https://openalex.org/W2137009822","https://openalex.org/W2137543433","https://openalex.org/W2138447175","https://openalex.org/W2140055714","https://openalex.org/W2143478382","https://openalex.org/W2143934828","https://openalex.org/W2145070944","https://openalex.org/W2145391336","https://openalex.org/W2148040372","https://openalex.org/W2149406008","https://openalex.org/W2151280810","https://openalex.org/W2151612633","https://openalex.org/W2152698756","https://openalex.org/W2153590490","https://openalex.org/W2157319504","https://openalex.org/W2157858223","https://openalex.org/W2159090554","https://openalex.org/W2159720139","https://openalex.org/W2161510787","https://openalex.org/W2164045439","https://openalex.org/W2164226682","https://openalex.org/W2166768964","https://openalex.org/W2169696634","https://openalex.org/W2179661259","https://openalex.org/W2234078087","https://openalex.org/W2405417647","https://openalex.org/W2506155917","https://openalex.org/W2542307507","https://openalex.org/W2911625174","https://openalex.org/W2987907651","https://openalex.org/W3035245936","https://openalex.org/W3101593891","https://openalex.org/W3147491120","https://openalex.org/W4206056772","https://openalex.org/W4206212943","https://openalex.org/W4210451137","https://openalex.org/W4211008702","https://openalex.org/W4231640108","https://openalex.org/W4233648386","https://openalex.org/W4233755518","https://openalex.org/W4234528212","https://openalex.org/W4234540564","https://openalex.org/W4235595489","https://openalex.org/W4242177437","https://openalex.org/W4249538237","https://openalex.org/W4251654175","https://openalex.org/W4253997387"],"related_works":["https://openalex.org/W4392480967","https://openalex.org/W1905337639","https://openalex.org/W7150879589","https://openalex.org/W7197954077","https://openalex.org/W2902434488","https://openalex.org/W7097839466","https://openalex.org/W7055211249","https://openalex.org/W2773523313","https://openalex.org/W7071068949","https://openalex.org/W7208004906"],"abstract_inverted_index":{"Dans":[0],"cette":[1,38,123],"th\u00e8se,":[2],"nous":[3,40,56,87],"avons":[4,41,57,88],"tout":[5,51],"d'abord":[6],"fait":[7],"une":[8,43,107],"\u00e9tude":[9],"de":[10,12,28,37,45,53,64,79,85,104,112,118,149],"l'\u00e9tat":[11],"l'art":[13],"dans":[14,138],"les":[15,30,155],"diff\u00e9rents":[16],"domaines":[17],"des":[18,72,94,151],"proc\u00e9d\u00e9s":[19,65],"(m\u00e9tier,":[20],"logiciel,":[21],"militaire,":[22],"m\u00e9dical,":[23],"etc)":[24],"afin":[25,130],"d'identifier":[26],"et":[27,48,135,148],"cat\u00e9goriser":[29],"principales":[31],"propri\u00e9t\u00e9s":[32,46,152],"\u00e0":[33,109,143],"garantir.":[34],"\u00c0":[35],"partir":[36],"\u00e9tude,":[39],"d\u00e9fini":[42,58,90],"biblioth\u00e8que":[44],"g\u00e9n\u00e9rique":[47],"param\u00e9trable":[49],"pour":[50,61],"mod\u00e8le":[52,92],"proc\u00e9d\u00e9.":[54,158],"Ensuite,":[55],"un":[59,70,91,110,139],"framework":[60],"la":[62,83,99,116,145],"v\u00e9rification":[63,84],"appel\u00e9":[66],"Alloy4PV.":[67],"Il":[68],"utilise":[69],"sous-ensemble":[71,111],"diagrammes":[73,95],"d'activit\u00e9s":[74,96],"UML":[75],"2":[76],"comme":[77],"langage":[78,128],"mod\u00e9lisation.":[80],"Afin":[81],"d'effectuer":[82,131],"proc\u00e9d\u00e9s,":[86],"(1)":[89],"formel":[93],"bas\u00e9":[97],"sur":[98,153],"s\u00e9mantique":[100,108],"fUML":[101],"(le":[102],"standard":[103],"l'OMG":[105],"donnant":[106],"UML)":[113],"en":[114,125],"utilisant":[115,126],"logique":[117],"premier":[119],"ordre,":[120],"(2)":[121],"impl\u00e9ment\u00e9":[122],"formalisation":[124],"le":[127],"Alloy":[129],"du":[132,157],"model-checking":[133],"born\u00e9,":[134],"(3)":[136],"automatis\u00e9,":[137],"outil":[140],"graphique":[141],"int\u00e9gr\u00e9":[142],"Eclipse,":[144],"possibilit\u00e9":[146],"d'exprimer":[147],"v\u00e9rifier":[150],"toutes":[154],"perspectives":[156]},"counts_by_year":[{"year":2017,"cited_by_count":1},{"year":2016,"cited_by_count":1}],"updated_date":"2026-11-07T11:25:07.637180","created_date":"2026-04-02T00:00:00"}