{"id":"https://openalex.org/W38672157","doi":"https://doi.org/10.14236/ewic/vecos2011.15","title":"Toward a rewriting logic framework for safe and distributed component installation","display_name":"Toward a rewriting logic framework for safe and distributed component installation","publication_year":2011,"publication_date":"2011-01-01","ids":{"openalex":"https://openalex.org/W38672157","doi":"https://doi.org/10.14236/ewic/vecos2011.15","mag":"38672157"},"language":"en","primary_location":{"id":"doi:10.14236/ewic/vecos2011.15","doi":"https://doi.org/10.14236/ewic/vecos2011.15","is_oa":true,"landing_page_url":"https://doi.org/10.14236/ewic/vecos2011.15","pdf_url":"https://www.scienceopen.com/document_file/5260dc67-1cc4-4a90-b3c2-02633de8a6e2/ScienceOpen/001_Belguidoum.pdf","source":{"id":"https://openalex.org/S4220651901","display_name":"Electronic workshops in computing","issn_l":"1477-9358","issn":["1477-9358"],"is_oa":false,"is_in_doaj":false,"is_core":true,"listed_in":["cwts-core","norway-1"],"host_organization":"https://openalex.org/P4310311871","host_organization_name":"British Computer Society","host_organization_lineage":["https://openalex.org/P4310311871"],"host_organization_lineage_names":["British Computer Society"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Electronic Workshops in Computing","raw_type":"proceedings-article"},"volume":null,"type":"conference-paper","is_traditional":true,"indexed_in":["crossref","datacite"],"open_access":{"is_oa":true,"oa_status":"hybrid","oa_url":"https://www.scienceopen.com/document_file/5260dc67-1cc4-4a90-b3c2-02633de8a6e2/ScienceOpen/001_Belguidoum.pdf","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5022028690","display_name":"Meriem Belguidoum","orcid":"https://orcid.org/0000-0002-2936-6810","observed_orcids":["https://orcid.org/0000-0002-2936-6810"]},"institutions":[{"id":"https://openalex.org/I125485651","display_name":"University Fr\u00e8res Mentouri Constantine 1","ror":"https://ror.org/017wv6808","country_code":"DZ","type":"education","lineage":["https://openalex.org/I125485651"]},{"id":"https://openalex.org/I4405264186","display_name":"T\u00e9l\u00e9com Bretagne","ror":"https://ror.org/016p3g423","country_code":"FR","type":"education","lineage":["https://openalex.org/I205703379","https://openalex.org/I4210127572","https://openalex.org/I4405264186"]}],"countries":["DZ","FR"],"is_corresponding":false,"raw_author_name":"Meriem Belguidoum","raw_affiliation_strings":["LIRE Laboratory, Computer Science Department, University Mentouri Constantine, Algeria TELECOM Bretagne, Computer science department Brest, France","LIRE Laboratory, Computer Science Department, University Mentouri, Constantine, Algeria and TELECOM Bretagne, Computer science department, Brest, France#TAB#"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"LIRE Laboratory, Computer Science Department, University Mentouri Constantine, Algeria TELECOM Bretagne, Computer science department Brest, France","institution_ids":["https://openalex.org/I125485651","https://openalex.org/I4405264186"]},{"raw_affiliation_string":"LIRE Laboratory, Computer Science Department, University Mentouri, Constantine, Algeria and TELECOM Bretagne, Computer science department, Brest, France#TAB#","institution_ids":["https://openalex.org/I125485651","https://openalex.org/I4405264186"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5015524367","display_name":"Fa\u00efza Belala","orcid":"https://orcid.org/0000-0002-4563-4061","observed_orcids":["https://orcid.org/0000-0002-4563-4061"]},"institutions":[{"id":"https://openalex.org/I125485651","display_name":"University Fr\u00e8res Mentouri Constantine 1","ror":"https://ror.org/017wv6808","country_code":"DZ","type":"education","lineage":["https://openalex.org/I125485651"]}],"countries":["DZ"],"is_corresponding":false,"raw_author_name":"Faiza Belala","raw_affiliation_strings":["LIRE Laboratory, Computer Science Department, University Mentouri Constantine, Algeria","LIRE Laboratory, Computer Science Department, University Mentouri, Constantine, Algeria#TAB#"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"LIRE Laboratory, Computer Science Department, University Mentouri Constantine, Algeria","institution_ids":["https://openalex.org/I125485651"]},{"raw_affiliation_string":"LIRE Laboratory, Computer Science Department, University Mentouri, Constantine, Algeria#TAB#","institution_ids":["https://openalex.org/I125485651"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5035138868","display_name":"Fateh Latreche","orcid":"https://orcid.org/0000-0003-1220-6586","observed_orcids":["https://orcid.org/0000-0003-1220-6586"]},"institutions":[{"id":"https://openalex.org/I125485651","display_name":"University Fr\u00e8res Mentouri Constantine 1","ror":"https://ror.org/017wv6808","country_code":"DZ","type":"education","lineage":["https://openalex.org/I125485651"]}],"countries":["DZ"],"is_corresponding":false,"raw_author_name":"Fateh Latreche","raw_affiliation_strings":["LIRE Laboratory, Computer Science Department, University Mentouri Constantine, Algeria","LIRE Laboratory, Computer Science Department, University Mentouri, Constantine, Algeria#TAB#"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"LIRE Laboratory, Computer Science Department, University Mentouri Constantine, Algeria","institution_ids":["https://openalex.org/I125485651"]},{"raw_affiliation_string":"LIRE Laboratory, Computer Science Department, University Mentouri, Constantine, Algeria#TAB#","institution_ids":["https://openalex.org/I125485651"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":2,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":0.3927,"has_fulltext":true,"cited_by_count":2,"citation_normalized_percentile":{"value":0.47063888,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":88,"max":93},"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/T10126","display_name":"Logic, programming, and type systems","score":0.4372999966144562,"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/T10126","display_name":"Logic, programming, and type systems","score":0.4372999966144562,"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.33739998936653137,"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/T11450","display_name":"Model-Driven Software Engineering Techniques","score":0.13109999895095825,"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/rewriting-logic","display_name":"rewriting logic","score":0.8690000176429749},{"id":"https://openalex.org/keywords/component-installation","display_name":"component installation","score":0.5759999752044678},{"id":"https://openalex.org/keywords/software-component-deployment","display_name":"software component deployment","score":0.6600000262260437},{"id":"https://openalex.org/keywords/distributed-systems","display_name":"distributed systems","score":0.6620000004768372},{"id":"https://openalex.org/keywords/first-order-logic","display_name":"first-order logic","score":0.6129999756813049},{"id":"https://openalex.org/keywords/maude","display_name":"Maude","score":0.8299999833106995},{"id":"https://openalex.org/keywords/concurrent-systems","display_name":"concurrent systems","score":0.5929999947547913},{"id":"https://openalex.org/keywords/formal-verification","display_name":"formal verification","score":0.5329999923706055},{"id":"https://openalex.org/keywords/software-component-dependencies","display_name":"software component dependencies","score":0.382999986410141}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8009065389633179},{"id":"https://openalex.org/C154690210","wikidata":"https://www.wikidata.org/wiki/Q1668499","display_name":"Rewriting","level":2,"score":0.7926069498062134},{"id":"https://openalex.org/C105339364","wikidata":"https://www.wikidata.org/wiki/Q2297740","display_name":"Software deployment","level":2,"score":0.6441494822502136},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.625737190246582},{"id":"https://openalex.org/C193702766","wikidata":"https://www.wikidata.org/wiki/Q1414548","display_name":"Concurrency","level":2,"score":0.5578462481498718},{"id":"https://openalex.org/C140146324","wikidata":"https://www.wikidata.org/wiki/Q1144319","display_name":"Predicate (mathematical logic)","level":2,"score":0.5328555107116699},{"id":"https://openalex.org/C19689857","wikidata":"https://www.wikidata.org/wiki/Q4055684","display_name":"Predicate logic","level":3,"score":0.45457810163497925},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.3343784213066101},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.33219635486602783},{"id":"https://openalex.org/C102993220","wikidata":"https://www.wikidata.org/wiki/Q387196","display_name":"Description logic","level":2,"score":0.3069007992744446}],"mesh":[],"locations_count":4,"locations":[{"id":"doi:10.14236/ewic/vecos2011.15","doi":"https://doi.org/10.14236/ewic/vecos2011.15","is_oa":true,"landing_page_url":"https://doi.org/10.14236/ewic/vecos2011.15","pdf_url":"https://www.scienceopen.com/document_file/5260dc67-1cc4-4a90-b3c2-02633de8a6e2/ScienceOpen/001_Belguidoum.pdf","source":{"id":"https://openalex.org/S4220651901","display_name":"Electronic workshops in computing","issn_l":"1477-9358","issn":["1477-9358"],"is_oa":false,"is_in_doaj":false,"is_core":true,"listed_in":["cwts-core","norway-1"],"host_organization":"https://openalex.org/P4310311871","host_organization_name":"British Computer Society","host_organization_lineage":["https://openalex.org/P4310311871"],"host_organization_lineage_names":["British Computer Society"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Electronic Workshops in Computing","raw_type":"proceedings-article"},{"id":"pmh:oai:HAL:hal-00739591v1","doi":null,"is_oa":false,"landing_page_url":"https://hal.science/hal-00739591","pdf_url":null,"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":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Verification and Evaluation of Computer and Communication Systems, Sep 2011, Tunis, Tunisia","raw_type":"info:eu-repo/semantics/conferenceObject"},{"id":"doi:10.60692/j83jq-sxc77","doi":"https://doi.org/10.60692/j83jq-sxc77","is_oa":true,"landing_page_url":"https://doi.org/10.60692/j83jq-sxc77","pdf_url":null,"source":{"id":"https://openalex.org/S7407051682","display_name":"Greater South Information System","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":null,"is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"article-journal"},{"id":"doi:10.60692/qrtrh-fny19","doi":"https://doi.org/10.60692/qrtrh-fny19","is_oa":true,"landing_page_url":"https://doi.org/10.60692/qrtrh-fny19","pdf_url":null,"source":{"id":"https://openalex.org/S7407051682","display_name":"Greater South Information System","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":null,"is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"article-journal"}],"best_oa_location":{"id":"doi:10.14236/ewic/vecos2011.15","doi":"https://doi.org/10.14236/ewic/vecos2011.15","is_oa":true,"landing_page_url":"https://doi.org/10.14236/ewic/vecos2011.15","pdf_url":"https://www.scienceopen.com/document_file/5260dc67-1cc4-4a90-b3c2-02633de8a6e2/ScienceOpen/001_Belguidoum.pdf","source":{"id":"https://openalex.org/S4220651901","display_name":"Electronic workshops in computing","issn_l":"1477-9358","issn":["1477-9358"],"is_oa":false,"is_in_doaj":false,"is_core":true,"listed_in":["cwts-core","norway-1"],"host_organization":"https://openalex.org/P4310311871","host_organization_name":"British Computer Society","host_organization_lineage":["https://openalex.org/P4310311871"],"host_organization_lineage_names":["British Computer Society"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Electronic Workshops in Computing","raw_type":"proceedings-article"},"sustainable_development_goals":[],"study_designs":[],"awards":[],"funders":[],"has_content":{"pdf":true,"grobid_xml":true},"content_urls":{"pdf":"https://content.openalex.org/works/W38672157.pdf","grobid_xml":"https://content.openalex.org/works/W38672157.grobid-xml"},"referenced_works_count":23,"referenced_works":["https://openalex.org/W55812124","https://openalex.org/W1529110206","https://openalex.org/W1668251188","https://openalex.org/W1967726581","https://openalex.org/W1969318829","https://openalex.org/W2001487918","https://openalex.org/W2010321110","https://openalex.org/W2057397849","https://openalex.org/W2065353185","https://openalex.org/W2091567516","https://openalex.org/W2094051565","https://openalex.org/W2094053378","https://openalex.org/W2120926795","https://openalex.org/W2139760036","https://openalex.org/W2140445104","https://openalex.org/W2147892488","https://openalex.org/W2154580607","https://openalex.org/W2167500728","https://openalex.org/W2737963483","https://openalex.org/W2952545489","https://openalex.org/W4238794324","https://openalex.org/W4251002492","https://openalex.org/W4254750949"],"related_works":["https://openalex.org/W4300868350","https://openalex.org/W1587138807","https://openalex.org/W2336109798","https://openalex.org/W7096009718","https://openalex.org/W67805937","https://openalex.org/W2181453829","https://openalex.org/W4239600808","https://openalex.org/W2082652061","https://openalex.org/W4230487582","https://openalex.org/W7095588440"],"abstract_inverted_index":{"Traditionally,":[0],"software":[1],"components":[2],"are":[3],"developed":[4],"independently":[5],"and":[6,22,25,39,48,75,81,122,148],"often":[7],"considered":[8],"as":[9],"black":[10],"boxes.":[11],"However,":[12],"they":[13],"might":[14],"be":[15],"dependent":[16],"from":[17],"each":[18],"other":[19],"at":[20],"assembly":[21],"deployment":[23,120,134],"stages":[24],"used":[26],"by":[27],"a":[28,35,49,98,111],"third":[29],"party":[30],"in":[31,78,107],"various":[32],"environments.":[33],"In":[34,58],"previous":[36],"work":[37,66],"(Belguidoum":[38],"Dagnat":[40],"2007),":[41],"we":[42,61,88,104],"have":[43],"proposed":[44],"an":[45,90],"intra-dependency":[46],"language":[47],"predicate":[50,84,93],"logic":[51,85,94,100,116],"based":[52,95,101,133],"framework":[53,96],"for":[54],"safe":[55],"component":[56],"deployment.":[57],"this":[59,65],"paper,":[60],"aim":[62],"to":[63,67,137],"extend":[64],"take":[68],"into":[69],"account":[70],"dynamic":[71],"changes":[72],"of":[73,92,114,130,141],"concurrent":[74],"distributed":[76],"systems":[77],"installation":[79],"phase":[80],"overcome":[82],"some":[83],"limitations.":[86],"Therefore,":[87],"propose":[89],"integration":[91],"within":[97],"rewriting":[99,115],"framework.":[102],"Finally,":[103],"execute":[105],"it":[106],"Maude":[108,132,142],"which":[109],"is":[110],"high-performance":[112],"implementation":[113],"enabling":[117],"both":[118],"the":[119,128,131,138],"execution":[121],"its":[123],"formal":[124,149],"analysis.":[125],"We":[126],"show":[127],"relevance":[129],"approach":[135],"relating":[136],"interesting":[139],"features":[140],"such":[143],"as:":[144],"genericity,":[145],"concurrency,":[146],"distribution":[147],"tools.":[150]},"counts_by_year":[{"year":2014,"cited_by_count":1}],"updated_date":"2026-11-04T10:54:05.112534","created_date":"2016-06-24T00:00:00"}