{"id":"https://openalex.org/W2888240492","doi":"https://doi.org/10.1109/hpcs.2018.00118","title":"Madeus: A Formal Deployment Model","display_name":"Madeus: A Formal Deployment Model","publication_year":2018,"publication_date":"2018-07-01","ids":{"openalex":"https://openalex.org/W2888240492","doi":"https://doi.org/10.1109/hpcs.2018.00118","mag":"2888240492"},"language":"en","primary_location":{"id":"doi:10.1109/hpcs.2018.00118","is_oa":false,"landing_page_url":"https://doi.org/10.1109/hpcs.2018.00118","pdf_url":null,"source":{"id":"https://openalex.org/S7407088274","display_name":"International Conference on High Performance Computing & Simulation (HPCS)","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":"conference"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2018 International Conference on High Performance Computing & Simulation (HPCS)","raw_type":"proceedings-article"},"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/A5009091855","display_name":"Maverick Chardet","orcid":null,"observed_orcids":[]},"institutions":[{"id":"https://openalex.org/I4210117005","display_name":"Laboratoire des Sciences du Num\u00e9rique de Nantes","ror":"https://ror.org/02snf8m58","country_code":"FR","type":"facility","lineage":["https://openalex.org/I100445878","https://openalex.org/I1294671590","https://openalex.org/I205703379","https://openalex.org/I4210117005","https://openalex.org/I4210124215","https://openalex.org/I4210127572","https://openalex.org/I4210139971","https://openalex.org/I97188460"]},{"id":"https://openalex.org/I4210127572","display_name":"IMT Atlantique","ror":"https://ror.org/030hj3061","country_code":"FR","type":"education","lineage":["https://openalex.org/I205703379","https://openalex.org/I4210127572"]},{"id":"https://openalex.org/I4405260529","display_name":"STACK: Pile logicielle pour les infrastructures massivement g\u00e9o distribu\u00e9es","ror":"https://ror.org/03wt8n129","country_code":"FR","type":"facility","lineage":["https://openalex.org/I100445878","https://openalex.org/I1294671590","https://openalex.org/I1326498283","https://openalex.org/I205703379","https://openalex.org/I4210117005","https://openalex.org/I4210124215","https://openalex.org/I4210127572","https://openalex.org/I4210133778","https://openalex.org/I4210139971","https://openalex.org/I4405260529","https://openalex.org/I97188460"]},{"id":"https://openalex.org/I97188460","display_name":"Nantes Universit\u00e9","ror":"https://ror.org/03gnr7b55","country_code":"FR","type":"education","lineage":["https://openalex.org/I97188460"]}],"countries":["FR"],"is_corresponding":false,"raw_author_name":"Maverick Chardet","raw_affiliation_strings":["IMT Atlantique, LS2N, UBL F-44307, Nantes, France","IMT Atlantique - DAPI - D\u00e9partement Automatique, Productique et Informatique (IMT Atlantique - Campus de Nantes - La Chantrerie - 4, rue Alfred Kastler - CS 20722 - 44307 NANTES Cedex 3  - France)","LS2N - \u00e9quipe STACK - Software Stack for Massively Geo-Distributed Infrastructures (IMT Atlantique - Campus de Nantes, 4, rue Alfred Kastler - La Chantrerie, CS 20722, 44307 Nantes cedex 3 - France)"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"IMT Atlantique, LS2N, UBL F-44307, Nantes, France","institution_ids":["https://openalex.org/I4210117005","https://openalex.org/I4210127572","https://openalex.org/I97188460"]},{"raw_affiliation_string":"IMT Atlantique - DAPI - D\u00e9partement Automatique, Productique et Informatique (IMT Atlantique - Campus de Nantes - La Chantrerie - 4, rue Alfred Kastler - CS 20722 - 44307 NANTES Cedex 3  - France)","institution_ids":["https://openalex.org/I4210127572"]},{"raw_affiliation_string":"LS2N - \u00e9quipe STACK - Software Stack for Massively Geo-Distributed Infrastructures (IMT Atlantique - Campus de Nantes, 4, rue Alfred Kastler - La Chantrerie, CS 20722, 44307 Nantes cedex 3 - France)","institution_ids":["https://openalex.org/I4210117005","https://openalex.org/I4210127572","https://openalex.org/I4405260529"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5076808197","display_name":"H\u00e9l\u00e8ne Coullon","orcid":"https://orcid.org/0000-0003-2573-2147","observed_orcids":["https://orcid.org/0000-0003-2573-2147"]},"institutions":[{"id":"https://openalex.org/I4210117005","display_name":"Laboratoire des Sciences du Num\u00e9rique de Nantes","ror":"https://ror.org/02snf8m58","country_code":"FR","type":"facility","lineage":["https://openalex.org/I100445878","https://openalex.org/I1294671590","https://openalex.org/I205703379","https://openalex.org/I4210117005","https://openalex.org/I4210124215","https://openalex.org/I4210127572","https://openalex.org/I4210139971","https://openalex.org/I97188460"]},{"id":"https://openalex.org/I4210127572","display_name":"IMT Atlantique","ror":"https://ror.org/030hj3061","country_code":"FR","type":"education","lineage":["https://openalex.org/I205703379","https://openalex.org/I4210127572"]},{"id":"https://openalex.org/I4405260529","display_name":"STACK: Pile logicielle pour les infrastructures massivement g\u00e9o distribu\u00e9es","ror":"https://ror.org/03wt8n129","country_code":"FR","type":"facility","lineage":["https://openalex.org/I100445878","https://openalex.org/I1294671590","https://openalex.org/I1326498283","https://openalex.org/I205703379","https://openalex.org/I4210117005","https://openalex.org/I4210124215","https://openalex.org/I4210127572","https://openalex.org/I4210133778","https://openalex.org/I4210139971","https://openalex.org/I4405260529","https://openalex.org/I97188460"]},{"id":"https://openalex.org/I97188460","display_name":"Nantes Universit\u00e9","ror":"https://ror.org/03gnr7b55","country_code":"FR","type":"education","lineage":["https://openalex.org/I97188460"]}],"countries":["FR"],"is_corresponding":false,"raw_author_name":"Helene Coullon","raw_affiliation_strings":["IMT Atlantique, LS2N, UBL F-44307, Nantes, France","IMT Atlantique - DAPI - D\u00e9partement Automatique, Productique et Informatique (IMT Atlantique - Campus de Nantes - La Chantrerie - 4, rue Alfred Kastler - CS 20722 - 44307 NANTES Cedex 3  - France)","LS2N - \u00e9quipe STACK - Software Stack for Massively Geo-Distributed Infrastructures (IMT Atlantique - Campus de Nantes, 4, rue Alfred Kastler - La Chantrerie, CS 20722, 44307 Nantes cedex 3 - France)"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"IMT Atlantique, LS2N, UBL F-44307, Nantes, France","institution_ids":["https://openalex.org/I4210117005","https://openalex.org/I4210127572","https://openalex.org/I97188460"]},{"raw_affiliation_string":"IMT Atlantique - DAPI - D\u00e9partement Automatique, Productique et Informatique (IMT Atlantique - Campus de Nantes - La Chantrerie - 4, rue Alfred Kastler - CS 20722 - 44307 NANTES Cedex 3  - France)","institution_ids":["https://openalex.org/I4210127572"]},{"raw_affiliation_string":"LS2N - \u00e9quipe STACK - Software Stack for Massively Geo-Distributed Infrastructures (IMT Atlantique - Campus de Nantes, 4, rue Alfred Kastler - La Chantrerie, CS 20722, 44307 Nantes cedex 3 - France)","institution_ids":["https://openalex.org/I4210117005","https://openalex.org/I4210127572","https://openalex.org/I4405260529"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5005611929","display_name":"Dimitri Pertin","orcid":null,"observed_orcids":[]},"institutions":[{"id":"https://openalex.org/I4210117005","display_name":"Laboratoire des Sciences du Num\u00e9rique de Nantes","ror":"https://ror.org/02snf8m58","country_code":"FR","type":"facility","lineage":["https://openalex.org/I100445878","https://openalex.org/I1294671590","https://openalex.org/I205703379","https://openalex.org/I4210117005","https://openalex.org/I4210124215","https://openalex.org/I4210127572","https://openalex.org/I4210139971","https://openalex.org/I97188460"]},{"id":"https://openalex.org/I4210127572","display_name":"IMT Atlantique","ror":"https://ror.org/030hj3061","country_code":"FR","type":"education","lineage":["https://openalex.org/I205703379","https://openalex.org/I4210127572"]},{"id":"https://openalex.org/I4405260529","display_name":"STACK: Pile logicielle pour les infrastructures massivement g\u00e9o distribu\u00e9es","ror":"https://ror.org/03wt8n129","country_code":"FR","type":"facility","lineage":["https://openalex.org/I100445878","https://openalex.org/I1294671590","https://openalex.org/I1326498283","https://openalex.org/I205703379","https://openalex.org/I4210117005","https://openalex.org/I4210124215","https://openalex.org/I4210127572","https://openalex.org/I4210133778","https://openalex.org/I4210139971","https://openalex.org/I4405260529","https://openalex.org/I97188460"]},{"id":"https://openalex.org/I97188460","display_name":"Nantes Universit\u00e9","ror":"https://ror.org/03gnr7b55","country_code":"FR","type":"education","lineage":["https://openalex.org/I97188460"]}],"countries":["FR"],"is_corresponding":false,"raw_author_name":"Dimitri Pertin","raw_affiliation_strings":["IMT Atlantique, LS2N, UBL F-44307, Nantes, France","IMT Atlantique - DAPI - D\u00e9partement Automatique, Productique et Informatique (IMT Atlantique - Campus de Nantes - La Chantrerie - 4, rue Alfred Kastler - CS 20722 - 44307 NANTES Cedex 3  - France)","LS2N - \u00e9quipe STACK - Software Stack for Massively Geo-Distributed Infrastructures (IMT Atlantique - Campus de Nantes, 4, rue Alfred Kastler - La Chantrerie, CS 20722, 44307 Nantes cedex 3 - France)"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"IMT Atlantique, LS2N, UBL F-44307, Nantes, France","institution_ids":["https://openalex.org/I4210117005","https://openalex.org/I4210127572","https://openalex.org/I97188460"]},{"raw_affiliation_string":"IMT Atlantique - DAPI - D\u00e9partement Automatique, Productique et Informatique (IMT Atlantique - Campus de Nantes - La Chantrerie - 4, rue Alfred Kastler - CS 20722 - 44307 NANTES Cedex 3  - France)","institution_ids":["https://openalex.org/I4210127572"]},{"raw_affiliation_string":"LS2N - \u00e9quipe STACK - Software Stack for Massively Geo-Distributed Infrastructures (IMT Atlantique - Campus de Nantes, 4, rue Alfred Kastler - La Chantrerie, CS 20722, 44307 Nantes cedex 3 - France)","institution_ids":["https://openalex.org/I4210117005","https://openalex.org/I4210127572","https://openalex.org/I4405260529"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5046656417","display_name":"Christian P\u00e9rez","orcid":"https://orcid.org/0000-0002-9121-7939","observed_orcids":["https://orcid.org/0000-0002-9121-7939"]},"institutions":[{"id":"https://openalex.org/I113428412","display_name":"\u00c9cole Normale Sup\u00e9rieure de Lyon","ror":"https://ror.org/04zmssz18","country_code":"FR","type":"education","lineage":["https://openalex.org/I113428412","https://openalex.org/I203339264"]},{"id":"https://openalex.org/I4210117005","display_name":"Laboratoire des Sciences du Num\u00e9rique de Nantes","ror":"https://ror.org/02snf8m58","country_code":"FR","type":"facility","lineage":["https://openalex.org/I100445878","https://openalex.org/I1294671590","https://openalex.org/I205703379","https://openalex.org/I4210117005","https://openalex.org/I4210124215","https://openalex.org/I4210127572","https://openalex.org/I4210139971","https://openalex.org/I97188460"]},{"id":"https://openalex.org/I4210127572","display_name":"IMT Atlantique","ror":"https://ror.org/030hj3061","country_code":"FR","type":"education","lineage":["https://openalex.org/I205703379","https://openalex.org/I4210127572"]},{"id":"https://openalex.org/I4210144566","display_name":"Laboratoire de l'Informatique du Parall\u00e9lisme","ror":"https://ror.org/04msnz457","country_code":"FR","type":"facility","lineage":["https://openalex.org/I100532134","https://openalex.org/I113428412","https://openalex.org/I1294671590","https://openalex.org/I1326498283","https://openalex.org/I203339264","https://openalex.org/I4210144566"]},{"id":"https://openalex.org/I4405259324","display_name":"AVALON: Algorithms and Software Architectures for Distributed and HPC Platforms","ror":"https://ror.org/022pm4x73","country_code":"FR","type":"facility","lineage":["https://openalex.org/I1326498283","https://openalex.org/I4394709170","https://openalex.org/I4405259324"]},{"id":"https://openalex.org/I97188460","display_name":"Nantes Universit\u00e9","ror":"https://ror.org/03gnr7b55","country_code":"FR","type":"education","lineage":["https://openalex.org/I97188460"]}],"countries":["FR"],"is_corresponding":false,"raw_author_name":"Christian Perez","raw_affiliation_strings":["IMT Atlantique, LS2N, UBL F-44307, Nantes, France","AVALON - Algorithms and Software Architectures for Distributed and HPC Platforms (ENS Lyon 46 all\u00e9e d'Italie \r\n69364 Lyon Cedex 07 - France)","LIP - Laboratoire de l'Informatique du Parall\u00e9lisme (46 All\u00e9e d'Italie 69364 LYON CEDEX 07 - France)"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"IMT Atlantique, LS2N, UBL F-44307, Nantes, France","institution_ids":["https://openalex.org/I4210117005","https://openalex.org/I4210127572","https://openalex.org/I97188460"]},{"raw_affiliation_string":"AVALON - Algorithms and Software Architectures for Distributed and HPC Platforms (ENS Lyon 46 all\u00e9e d'Italie \r\n69364 Lyon Cedex 07 - France)","institution_ids":["https://openalex.org/I113428412","https://openalex.org/I4405259324"]},{"raw_affiliation_string":"LIP - Laboratoire de l'Informatique du Parall\u00e9lisme (46 All\u00e9e d'Italie 69364 LYON CEDEX 07 - France)","institution_ids":["https://openalex.org/I4210144566"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":7,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":0.6943,"has_fulltext":false,"cited_by_count":16,"citation_normalized_percentile":{"value":0.7598591,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":97},"biblio":{"volume":null,"issue":null,"first_page":"724","last_page":"731"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10639","display_name":"Advanced Software Engineering Methodologies","score":0.7627000212669373,"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"}},"topics":[{"id":"https://openalex.org/T10639","display_name":"Advanced Software Engineering Methodologies","score":0.7627000212669373,"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"}},{"id":"https://openalex.org/T11450","display_name":"Model-Driven Software Engineering Techniques","score":0.09009999781847,"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/T10772","display_name":"Distributed systems and fault tolerance","score":0.03779999911785126,"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/software-deployment","display_name":"software deployment","score":0.6830000281333923},{"id":"https://openalex.org/keywords/distributed-software-architecture","display_name":"distributed software architecture","score":0.8759999871253967},{"id":"https://openalex.org/keywords/petri-nets","display_name":"Petri nets","score":0.9520000219345093},{"id":"https://openalex.org/keywords/component-dependencies","display_name":"component dependencies","score":0.7049999833106995},{"id":"https://openalex.org/keywords/dependency-graph","display_name":"dependency graph","score":0.859000027179718},{"id":"https://openalex.org/keywords/operational-semantics","display_name":"operational semantics","score":0.9449999928474426},{"id":"https://openalex.org/keywords/openstack","display_name":"OpenStack","score":0.7720000147819519},{"id":"https://openalex.org/keywords/heterogeneous-infrastructure","display_name":"heterogeneous infrastructure","score":0.531000018119812}],"concepts":[{"id":"https://openalex.org/C105339364","wikidata":"https://www.wikidata.org/wiki/Q2297740","display_name":"Software deployment","level":2,"score":0.8685080409049988},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8080295324325562},{"id":"https://openalex.org/C174683762","wikidata":"https://www.wikidata.org/wiki/Q609588","display_name":"Component-based software engineering","level":4,"score":0.6024501323699951},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.5621058344841003},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.48569878935813904},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.4821436107158661},{"id":"https://openalex.org/C38677869","wikidata":"https://www.wikidata.org/wiki/Q724168","display_name":"Petri net","level":2,"score":0.48052605986595154},{"id":"https://openalex.org/C168167062","wikidata":"https://www.wikidata.org/wiki/Q1117970","display_name":"Component (thermodynamics)","level":2,"score":0.4487060308456421},{"id":"https://openalex.org/C35869016","wikidata":"https://www.wikidata.org/wiki/Q846636","display_name":"Software architecture","level":3,"score":0.4355001151561737},{"id":"https://openalex.org/C156325763","wikidata":"https://www.wikidata.org/wiki/Q1930895","display_name":"Operational semantics","level":3,"score":0.42446044087409973},{"id":"https://openalex.org/C149091818","wikidata":"https://www.wikidata.org/wiki/Q2429814","display_name":"Software system","level":3,"score":0.4076239764690399},{"id":"https://openalex.org/C184337299","wikidata":"https://www.wikidata.org/wiki/Q1437428","display_name":"Semantics (computer science)","level":2,"score":0.35634803771972656},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.2939837574958801},{"id":"https://openalex.org/C121332964","wikidata":"https://www.wikidata.org/wiki/Q413","display_name":"Physics","level":0,"score":0.0},{"id":"https://openalex.org/C97355855","wikidata":"https://www.wikidata.org/wiki/Q11473","display_name":"Thermodynamics","level":1,"score":0.0}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1109/hpcs.2018.00118","is_oa":false,"landing_page_url":"https://doi.org/10.1109/hpcs.2018.00118","pdf_url":null,"source":{"id":"https://openalex.org/S7407088274","display_name":"International Conference on High Performance Computing & Simulation (HPCS)","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":"conference"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2018 International Conference on High Performance Computing & Simulation (HPCS)","raw_type":"proceedings-article"},{"id":"pmh:oai:HAL:hal-01858150v1","is_oa":false,"landing_page_url":"https://inria.hal.science/hal-01858150","pdf_url":null,"source":{"id":"https://openalex.org/S4306402512","display_name":"HAL (Le Centre pour la Communication Scientifique Directe)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I1294671590","host_organization_name":"Centre National de la Recherche Scientifique","host_organization_lineage":["https://openalex.org/I1294671590"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"4PAD 2018 : 5th International Symposium on Formal Approaches to Parallel and Distributed Systems (hosted at HPCS 2018), HPCS 2018 : International Conference on High Performance Computing & Simulation, Jul 2018, Orl\u00e9ans, France. pp.1-8, ⟨10.1109/HPCS.2018.00118⟩","raw_type":"info:eu-repo/semantics/conferenceObject"}],"best_oa_location":null,"sustainable_development_goals":[],"sustainable_development_goals_aurora":[{"display_name":"Responsible consumption and production","id":"https://metadata.un.org/sdg/12","score":0.4399999976158142}],"study_designs":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":17,"referenced_works":["https://openalex.org/W194980284","https://openalex.org/W1590944171","https://openalex.org/W2047414012","https://openalex.org/W2049353084","https://openalex.org/W2109893330","https://openalex.org/W2118338955","https://openalex.org/W2124080511","https://openalex.org/W2149469432","https://openalex.org/W2167500728","https://openalex.org/W2184300497","https://openalex.org/W2261808119","https://openalex.org/W2372225093","https://openalex.org/W2768843346","https://openalex.org/W2786902426","https://openalex.org/W6607935247","https://openalex.org/W6662363901","https://openalex.org/W6678434826"],"related_works":["https://openalex.org/W4238190086","https://openalex.org/W2512656006","https://openalex.org/W4254068899","https://openalex.org/W2049353084","https://openalex.org/W2124353851","https://openalex.org/W2157036638","https://openalex.org/W2142425794","https://openalex.org/W2153437812","https://openalex.org/W3025214334","https://openalex.org/W1565120778"],"abstract_inverted_index":{"Distributed":[0],"software":[1,13,48,196],"architecture":[2],"is":[3,49,104,119],"composed":[4],"of":[5,95,137,163,175,190],"multiple":[6],"interacting":[7],"modules,":[8,45],"or":[9],"components.":[10,112],"Deploying":[11],"such":[12,47,159],"consists":[14],"in":[15,184],"installing":[16],"them":[17,24],"on":[18,55],"a":[19,26,50,81,99,164,185,191],"given":[20],"infrastructure":[21],"and":[22,38,58,103,135,177,193],"leading":[23],"to":[25,70,106,122,152,156],"functional":[27],"state.":[28],"However,":[29],"since":[30],"each":[31,96],"module":[32],"has":[33],"its":[34,143],"own":[35],"life":[36,93],"cycle":[37,94],"might":[39],"have":[40,67],"various":[41],"dependencies":[42,110],"with":[43],"other":[44],"deploying":[46],"very":[51],"tedious":[52],"task,":[53],"particularly":[54],"massively":[56],"distributed":[57,87,195],"heterogeneous":[59],"infrastructures.":[60],"To":[61],"address":[62],"this":[63,76,131,146,167],"problem,":[64],"many":[65],"solutions":[66],"been":[68],"designed":[69],"automate":[71],"the":[72,92,109,133,138,148,161,172,188],"deployment":[73,83,124,128,189],"process.":[74],"In":[75,166],"paper,":[77,168],"we":[78,169],"introduce":[79],"Madeus,":[80,176],"component-based":[82],"model":[84],"for":[85],"complex":[86],"software.":[88],"Madeus":[89],"accurately":[90],"describes":[91],"component":[97],"by":[98,126],"Petri":[100],"net":[101],"structure,":[102],"able":[105],"finely":[107],"express":[108],"between":[111],"The":[113],"overall":[114],"dependency":[115],"graph":[116],"it":[117,140,180],"produces":[118],"then":[120],"used":[121,183],"reduce":[123],"time":[125],"parallelizing":[127],"actions.":[129],"While":[130],"increases":[132,142],"precision":[134],"performance":[136],"model,":[139],"also":[141],"complexity.":[144],"For":[145],"reason,":[147],"operational":[149,173],"semantics":[150,174],"needs":[151],"be":[153,182],"clearly":[154],"defined":[155],"prove":[157],"results":[158],"as":[160],"termination":[162],"deployment.":[165],"formally":[170],"describe":[171],"show":[178],"how":[179],"can":[181],"use-":[186],"case:":[187],"real":[192],"large":[194],"(i.e.,":[197],"OpenStack).":[198]},"counts_by_year":[{"year":2025,"cited_by_count":3},{"year":2024,"cited_by_count":1},{"year":2023,"cited_by_count":3},{"year":2022,"cited_by_count":2},{"year":2020,"cited_by_count":3},{"year":2019,"cited_by_count":3},{"year":2018,"cited_by_count":1}],"updated_date":"2026-10-05T09:50:58.205359","created_date":"2025-10-10T00:00:00"}