{"id":"https://openalex.org/W2626107530","doi":"https://doi.org/10.4149/cai_2017_2_353","title":"Data-Dependency Formalism for Developing Peer-to-Peer Applications","display_name":"Data-Dependency Formalism for Developing Peer-to-Peer Applications","publication_year":2017,"publication_date":"2017-01-01","ids":{"openalex":"https://openalex.org/W2626107530","doi":"https://doi.org/10.4149/cai_2017_2_353","mag":"2626107530"},"language":"en","primary_location":{"id":"doi:10.4149/cai_2017_2_353","is_oa":true,"landing_page_url":"https://doi.org/10.4149/cai_2017_2_353","pdf_url":null,"source":{"id":"https://openalex.org/S4210200093","display_name":"Computing and Informatics","issn_l":"1335-9150","issn":["1335-9150","2585-8807"],"is_oa":true,"is_in_doaj":false,"is_core":true,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Computing and Informatics","raw_type":"journal-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"diamond","oa_url":"https://doi.org/10.4149/cai_2017_2_353","any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5080376355","display_name":"Ayoub Ait Lahcen","orcid":"https://orcid.org/0000-0001-8739-3369"},"institutions":[{"id":"https://openalex.org/I126477371","display_name":"Mohammed V University","ror":"https://ror.org/00r8w8f84","country_code":"MA","type":"education","lineage":["https://openalex.org/I126477371"]},{"id":"https://openalex.org/I3121676899","display_name":"Universit\u00e9 Ibn-Tofail","ror":"https://ror.org/02wj89n04","country_code":"MA","type":"education","lineage":["https://openalex.org/I3121676899"]}],"countries":["MA"],"is_corresponding":false,"raw_author_name":"Ayoub Ait Lahcen","raw_affiliation_strings":["LGS, ENSA, Ibn Tofail University, Kenitra, Morocco & LRIT, Faculty of Sciences, Mohammed V University in Rabat"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"LGS, ENSA, Ibn Tofail University, Kenitra, Morocco & LRIT, Faculty of Sciences, Mohammed V University in Rabat","institution_ids":["https://openalex.org/I126477371","https://openalex.org/I3121676899"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5060717718","display_name":"Didier Parigot","orcid":null},"institutions":[{"id":"https://openalex.org/I1326498283","display_name":"Institut national de recherche en sciences et technologies du num\u00e9rique","ror":"https://ror.org/02kvxyf05","country_code":"FR","type":"government","lineage":["https://openalex.org/I1326498283"]}],"countries":["FR"],"is_corresponding":false,"raw_author_name":"Didier Parigot","raw_affiliation_strings":["Zenith Team, Inria, Sophia Antipolis"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Zenith Team, Inria, Sophia Antipolis","institution_ids":["https://openalex.org/I1326498283"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5077605859","display_name":"Salma Mouline","orcid":"https://orcid.org/0000-0003-0417-8968"},"institutions":[{"id":"https://openalex.org/I126477371","display_name":"Mohammed V University","ror":"https://ror.org/00r8w8f84","country_code":"MA","type":"education","lineage":["https://openalex.org/I126477371"]}],"countries":["MA"],"is_corresponding":false,"raw_author_name":"Salma Mouline","raw_affiliation_strings":["LRIT, Faculty of Sciences, Mohammed V University in Rabat"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"LRIT, Faculty of Sciences, Mohammed V University in Rabat","institution_ids":["https://openalex.org/I126477371"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":3,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":{"value":0.08891857,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":"36","issue":"2","first_page":"353","last_page":"385"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10679","display_name":"Service-Oriented Architecture and Web Services","score":0.9976999759674072,"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"}},"topics":[{"id":"https://openalex.org/T10679","display_name":"Service-Oriented Architecture and Web Services","score":0.9976999759674072,"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/T10772","display_name":"Distributed systems and fault tolerance","score":0.9973000288009644,"subfield":{"id":"https://openalex.org/subfields/1705","display_name":"Computer Networks and Communications"},"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/T10715","display_name":"Distributed and Parallel Computing Systems","score":0.994700014591217,"subfield":{"id":"https://openalex.org/subfields/1705","display_name":"Computer Networks and Communications"},"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.7910574078559875},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.6304553747177124},{"id":"https://openalex.org/keywords/formalism","display_name":"Formalism (music)","score":0.6032025218009949},{"id":"https://openalex.org/keywords/dependency-graph","display_name":"Dependency graph","score":0.5944650173187256},{"id":"https://openalex.org/keywords/data-flow-analysis","display_name":"Data-flow analysis","score":0.574310839176178},{"id":"https://openalex.org/keywords/data-structure","display_name":"Data structure","score":0.46263450384140015},{"id":"https://openalex.org/keywords/dependency","display_name":"Dependency (UML)","score":0.45627468824386597},{"id":"https://openalex.org/keywords/deadlock","display_name":"Deadlock","score":0.42597877979278564},{"id":"https://openalex.org/keywords/distributed-computing","display_name":"Distributed computing","score":0.38765886425971985},{"id":"https://openalex.org/keywords/data-flow-diagram","display_name":"Data flow diagram","score":0.3839956521987915},{"id":"https://openalex.org/keywords/graph","display_name":"Graph","score":0.37321794033050537},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.24899974465370178},{"id":"https://openalex.org/keywords/software-engineering","display_name":"Software engineering","score":0.20504364371299744}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7910574078559875},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.6304553747177124},{"id":"https://openalex.org/C73301696","wikidata":"https://www.wikidata.org/wiki/Q5469984","display_name":"Formalism (music)","level":3,"score":0.6032025218009949},{"id":"https://openalex.org/C16311509","wikidata":"https://www.wikidata.org/wiki/Q4148050","display_name":"Dependency graph","level":3,"score":0.5944650173187256},{"id":"https://openalex.org/C88468194","wikidata":"https://www.wikidata.org/wiki/Q1172416","display_name":"Data-flow analysis","level":3,"score":0.574310839176178},{"id":"https://openalex.org/C162319229","wikidata":"https://www.wikidata.org/wiki/Q175263","display_name":"Data structure","level":2,"score":0.46263450384140015},{"id":"https://openalex.org/C19768560","wikidata":"https://www.wikidata.org/wiki/Q320727","display_name":"Dependency (UML)","level":2,"score":0.45627468824386597},{"id":"https://openalex.org/C159023740","wikidata":"https://www.wikidata.org/wiki/Q623276","display_name":"Deadlock","level":2,"score":0.42597877979278564},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.38765886425971985},{"id":"https://openalex.org/C489000","wikidata":"https://www.wikidata.org/wiki/Q747385","display_name":"Data flow diagram","level":2,"score":0.3839956521987915},{"id":"https://openalex.org/C132525143","wikidata":"https://www.wikidata.org/wiki/Q141488","display_name":"Graph","level":2,"score":0.37321794033050537},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.24899974465370178},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.20504364371299744},{"id":"https://openalex.org/C558565934","wikidata":"https://www.wikidata.org/wiki/Q2743","display_name":"Musical","level":2,"score":0.0},{"id":"https://openalex.org/C142362112","wikidata":"https://www.wikidata.org/wiki/Q735","display_name":"Art","level":0,"score":0.0},{"id":"https://openalex.org/C153349607","wikidata":"https://www.wikidata.org/wiki/Q36649","display_name":"Visual arts","level":1,"score":0.0},{"id":"https://openalex.org/C77088390","wikidata":"https://www.wikidata.org/wiki/Q8513","display_name":"Database","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.4149/cai_2017_2_353","is_oa":true,"landing_page_url":"https://doi.org/10.4149/cai_2017_2_353","pdf_url":null,"source":{"id":"https://openalex.org/S4210200093","display_name":"Computing and Informatics","issn_l":"1335-9150","issn":["1335-9150","2585-8807"],"is_oa":true,"is_in_doaj":false,"is_core":true,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Computing and Informatics","raw_type":"journal-article"}],"best_oa_location":{"id":"doi:10.4149/cai_2017_2_353","is_oa":true,"landing_page_url":"https://doi.org/10.4149/cai_2017_2_353","pdf_url":null,"source":{"id":"https://openalex.org/S4210200093","display_name":"Computing and Informatics","issn_l":"1335-9150","issn":["1335-9150","2585-8807"],"is_oa":true,"is_in_doaj":false,"is_core":true,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Computing and Informatics","raw_type":"journal-article"},"sustainable_development_goals":[{"score":0.4399999976158142,"display_name":"Industry, innovation and infrastructure","id":"https://metadata.un.org/sdg/9"}],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":0,"referenced_works":[],"related_works":["https://openalex.org/W2981707591","https://openalex.org/W59945861","https://openalex.org/W2614382400","https://openalex.org/W1551967076","https://openalex.org/W2151163382","https://openalex.org/W4256382613","https://openalex.org/W2318011356","https://openalex.org/W316163056","https://openalex.org/W2092972345","https://openalex.org/W1560380015"],"abstract_inverted_index":{"Developing":[0],"peer-to-peer":[1],"(P2P)":[2],"applications":[3,36,113],"became":[4],"increasingly":[5],"important":[6],"in":[7,78],"software":[8],"development.":[9],"Nowadays,":[10],"a":[11,39,101,145],"large":[12],"number":[13],"of":[14,72,111,130],"organizations":[15],"from":[16,69],"many":[17,43],"different":[18],"sectors":[19],"and":[20,24,48,67,75,91,114,124,160],"sizes":[21],"depend":[22],"more":[23,25],"on":[26,96],"collaboration":[27],"between":[28],"actors":[29],"to":[30,80,107,155],"perform":[31,93],"their":[32,116],"tasks.":[33],"These":[34],"P2P":[35,89,112],"usually":[37],"have":[38],"recursive":[40,146],"behavior":[41,110],"that":[42,60,136],"modeling":[44],"approaches":[45],"cannot":[46,139],"describe":[47],"analyze":[49],"(e.g.":[50],"finite-state":[51],"approaches).":[52],"In":[53],"this":[54],"paper,":[55],"we":[56,150],"present":[57,151],"an":[58,82],"approach":[59,99],"combines":[61],"component-based":[62],"development":[63],"with":[64],"well-understood":[65],"methods":[66],"techniques":[68],"the":[70,109,127,142,157],"field":[71],"Attribute":[73],"Grammars":[74],"Data-Flow":[76],"Analysis":[77],"order":[79],"construct":[81,115],"abstract":[83],"representation":[84],"(i.e.":[85],"Data-Dependency":[86,117],"Graph)":[87],"for":[88,162],"applications,":[90],"then":[92],"data-flow":[94],"analyzes":[95],"it.":[97],"This":[98],"embodies":[100],"formalism":[102],"called":[103],"DDF":[104],"(Data-Dependency":[105],"Formalism)":[106],"capture":[108],"Graphs.":[118],"Various":[119],"properties":[120,135],"can":[121],"be":[122],"inferred":[123],"computed":[125],"at":[126],"proposed":[128],"level":[129],"data":[131],"abstraction,":[132],"including":[133],"some":[134],"model":[137],"checking":[138],"compute":[140],"if":[141],"system":[143],"presents":[144],"behavior.":[147],"As":[148],"examples,":[149],"two":[152],"algorithms:":[153],"one":[154],"resolve":[156],"deadlock":[158],"problem":[159],"another":[161],"dominance":[163],"analysis.":[164]},"counts_by_year":[],"updated_date":"2026-06-11T09:08:48.828518","created_date":"2025-10-10T00:00:00"}