{"id":"https://openalex.org/W2403006337","doi":"https://doi.org/10.1007/978-3-319-26109-6_5","title":"Designing and Integrating Complex Systems: Be Agile Through Liveness Verification and Abstraction","display_name":"Designing and Integrating Complex Systems: Be Agile Through Liveness Verification and Abstraction","publication_year":2015,"publication_date":"2015-10-30","ids":{"openalex":"https://openalex.org/W2403006337","doi":"https://doi.org/10.1007/978-3-319-26109-6_5","mag":"2403006337"},"language":"en","primary_location":{"id":"doi:10.1007/978-3-319-26109-6_5","is_oa":false,"landing_page_url":"https://doi.org/10.1007/978-3-319-26109-6_5","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Complex Systems Design & Management","raw_type":"book-chapter"},"type":"book-chapter","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/A5041199864","display_name":"Thomas Lambolais","orcid":"https://orcid.org/0000-0002-4462-1277"},"institutions":[{"id":"https://openalex.org/I4210127738","display_name":"IMT Mines Al\u00e8s","ror":"https://ror.org/03e8rf594","country_code":"FR","type":"education","lineage":["https://openalex.org/I205703379","https://openalex.org/I4210127738"]},{"id":"https://openalex.org/I70768539","display_name":"\u00c9cole Nationale Sup\u00e9rieure des Mines de Paris","ror":"https://ror.org/04y8cs423","country_code":"FR","type":"education","lineage":["https://openalex.org/I190752583","https://openalex.org/I2746051580","https://openalex.org/I70768539"]}],"countries":["FR"],"is_corresponding":true,"raw_author_name":"Thomas Lambolais","raw_affiliation_strings":["LGI2P \u00e9cole des mines d\u2019Al\u00e8s, Site de N\u00eemes, Parc Scientifique Georges Besse, 30 035, N\u00eemes cedex 1, France","LGI2P \u00e9cole des mines d'Al\u00e8s, Site de N\u00eemes, Parc Scientifique Georges Besse, 30 035, N\u00eemes cedex 1, France"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"LGI2P \u00e9cole des mines d\u2019Al\u00e8s, Site de N\u00eemes, Parc Scientifique Georges Besse, 30 035, N\u00eemes cedex 1, France","institution_ids":["https://openalex.org/I70768539"]},{"raw_affiliation_string":"LGI2P \u00e9cole des mines d'Al\u00e8s, Site de N\u00eemes, Parc Scientifique Georges Besse, 30 035, N\u00eemes cedex 1, France","institution_ids":["https://openalex.org/I4210127738"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5070430366","display_name":"Anne-Lise Courbis","orcid":"https://orcid.org/0000-0002-7530-4661"},"institutions":[{"id":"https://openalex.org/I4210127738","display_name":"IMT Mines Al\u00e8s","ror":"https://ror.org/03e8rf594","country_code":"FR","type":"education","lineage":["https://openalex.org/I205703379","https://openalex.org/I4210127738"]},{"id":"https://openalex.org/I70768539","display_name":"\u00c9cole Nationale Sup\u00e9rieure des Mines de Paris","ror":"https://ror.org/04y8cs423","country_code":"FR","type":"education","lineage":["https://openalex.org/I190752583","https://openalex.org/I2746051580","https://openalex.org/I70768539"]}],"countries":["FR"],"is_corresponding":false,"raw_author_name":"Anne-Lise Courbis","raw_affiliation_strings":["LGI2P \u00e9cole des mines d\u2019Al\u00e8s, Site de N\u00eemes, Parc Scientifique Georges Besse, 30 035, N\u00eemes cedex 1, France","LGI2P \u00e9cole des mines d'Al\u00e8s, Site de N\u00eemes, Parc Scientifique Georges Besse, 30 035, N\u00eemes cedex 1, France"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"LGI2P \u00e9cole des mines d\u2019Al\u00e8s, Site de N\u00eemes, Parc Scientifique Georges Besse, 30 035, N\u00eemes cedex 1, France","institution_ids":["https://openalex.org/I70768539"]},{"raw_affiliation_string":"LGI2P \u00e9cole des mines d'Al\u00e8s, Site de N\u00eemes, Parc Scientifique Georges Besse, 30 035, N\u00eemes cedex 1, France","institution_ids":["https://openalex.org/I4210127738"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5007696565","display_name":"Hong-Viet Luong","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Hong-Viet Luong","raw_affiliation_strings":["M2 M-NDT, 1 Rue de Terre Neuve, Miniparc du Verger, b\u00e2timent H, 91 940, Les Ulis, France"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"M2 M-NDT, 1 Rue de Terre Neuve, Miniparc du Verger, b\u00e2timent H, 91 940, Les Ulis, France","institution_ids":[]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5021788251","display_name":"Thanh-Li\u00eam Phan","orcid":null},"institutions":[{"id":"https://openalex.org/I2738703131","display_name":"Commissariat \u00e0 l'\u00c9nergie Atomique et aux \u00c9nergies Alternatives","ror":"https://ror.org/00jjx8s55","country_code":"FR","type":"government","lineage":["https://openalex.org/I2738703131"]},{"id":"https://openalex.org/I4210094700","display_name":"Institut National de l'\u00c9nergie Solaire","ror":"https://ror.org/00qk0vr83","country_code":"FR","type":"facility","lineage":["https://openalex.org/I1294671590","https://openalex.org/I2738703131","https://openalex.org/I4210089901","https://openalex.org/I4210094700","https://openalex.org/I4210139971","https://openalex.org/I70900168"]}],"countries":["FR"],"is_corresponding":false,"raw_author_name":"Thanh-Liem Phan","raw_affiliation_strings":["LSEI, CEA INES, 50 Avenue du lac L\u00e9man, BP 258, 73 375, Le Bourget du Lac Cedex, France"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"LSEI, CEA INES, 50 Avenue du lac L\u00e9man, BP 258, 73 375, Le Bourget du Lac Cedex, France","institution_ids":["https://openalex.org/I2738703131","https://openalex.org/I4210094700"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":4,"corresponding_author_ids":["https://openalex.org/A5041199864"],"corresponding_institution_ids":["https://openalex.org/I4210127738","https://openalex.org/I70768539"],"apc_list":null,"apc_paid":null,"fwci":0.341,"has_fulltext":false,"cited_by_count":2,"citation_normalized_percentile":{"value":0.61809045,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":90,"max":94},"biblio":{"volume":null,"issue":null,"first_page":"69","last_page":"81"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10639","display_name":"Advanced Software Engineering Methodologies","score":0.9997000098228455,"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.9997000098228455,"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.9995999932289124,"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/T10703","display_name":"Business Process Modeling and Analysis","score":0.9988999962806702,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/liveness","display_name":"Liveness","score":0.8272101879119873},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.6912920475006104},{"id":"https://openalex.org/keywords/software-engineering","display_name":"Software engineering","score":0.614295482635498},{"id":"https://openalex.org/keywords/model-transformation","display_name":"Model transformation","score":0.6058284044265747},{"id":"https://openalex.org/keywords/agile-software-development","display_name":"Agile software development","score":0.5227463245391846},{"id":"https://openalex.org/keywords/abstraction","display_name":"Abstraction","score":0.47049638628959656},{"id":"https://openalex.org/keywords/set","display_name":"Set (abstract data type)","score":0.46552249789237976},{"id":"https://openalex.org/keywords/component","display_name":"Component (thermodynamics)","score":0.4652565121650696},{"id":"https://openalex.org/keywords/unified-modeling-language","display_name":"Unified Modeling Language","score":0.4239889681339264},{"id":"https://openalex.org/keywords/systems-engineering","display_name":"Systems engineering","score":0.4195469319820404},{"id":"https://openalex.org/keywords/model-checking","display_name":"Model checking","score":0.41271206736564636},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.32064178586006165},{"id":"https://openalex.org/keywords/engineering","display_name":"Engineering","score":0.22532671689987183},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.19530299305915833},{"id":"https://openalex.org/keywords/software","display_name":"Software","score":0.11470317840576172}],"concepts":[{"id":"https://openalex.org/C15569618","wikidata":"https://www.wikidata.org/wiki/Q3561421","display_name":"Liveness","level":2,"score":0.8272101879119873},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6912920475006104},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.614295482635498},{"id":"https://openalex.org/C2779791154","wikidata":"https://www.wikidata.org/wiki/Q258040","display_name":"Model transformation","level":3,"score":0.6058284044265747},{"id":"https://openalex.org/C14185376","wikidata":"https://www.wikidata.org/wiki/Q30232","display_name":"Agile software development","level":2,"score":0.5227463245391846},{"id":"https://openalex.org/C124304363","wikidata":"https://www.wikidata.org/wiki/Q673661","display_name":"Abstraction","level":2,"score":0.47049638628959656},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.46552249789237976},{"id":"https://openalex.org/C168167062","wikidata":"https://www.wikidata.org/wiki/Q1117970","display_name":"Component (thermodynamics)","level":2,"score":0.4652565121650696},{"id":"https://openalex.org/C145644426","wikidata":"https://www.wikidata.org/wiki/Q169411","display_name":"Unified Modeling Language","level":3,"score":0.4239889681339264},{"id":"https://openalex.org/C201995342","wikidata":"https://www.wikidata.org/wiki/Q682496","display_name":"Systems engineering","level":1,"score":0.4195469319820404},{"id":"https://openalex.org/C110251889","wikidata":"https://www.wikidata.org/wiki/Q1569697","display_name":"Model checking","level":2,"score":0.41271206736564636},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.32064178586006165},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.22532671689987183},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.19530299305915833},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.11470317840576172},{"id":"https://openalex.org/C111472728","wikidata":"https://www.wikidata.org/wiki/Q9471","display_name":"Epistemology","level":1,"score":0.0},{"id":"https://openalex.org/C2776436953","wikidata":"https://www.wikidata.org/wiki/Q5163215","display_name":"Consistency (knowledge bases)","level":2,"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/C138885662","wikidata":"https://www.wikidata.org/wiki/Q5891","display_name":"Philosophy","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.1007/978-3-319-26109-6_5","is_oa":false,"landing_page_url":"https://doi.org/10.1007/978-3-319-26109-6_5","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Complex Systems Design & Management","raw_type":"book-chapter"},{"id":"pmh:oai:HAL:hal-01563303v1","is_oa":false,"landing_page_url":"https://hal.science/hal-01563303","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,"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":"Complex Systems Design & Management (CSD&M) , Nov 2015, Paris, France. pp.69 - 81, ⟨10.1007/978-3-319-26109-6_5⟩","raw_type":"Conference papers"}],"best_oa_location":null,"sustainable_development_goals":[{"id":"https://metadata.un.org/sdg/11","score":0.550000011920929,"display_name":"Sustainable cities and communities"}],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":21,"referenced_works":["https://openalex.org/W183653768","https://openalex.org/W225146778","https://openalex.org/W1496026519","https://openalex.org/W1503973138","https://openalex.org/W1507281497","https://openalex.org/W1516139305","https://openalex.org/W1528153015","https://openalex.org/W1540883472","https://openalex.org/W1556900989","https://openalex.org/W1577525693","https://openalex.org/W1965792604","https://openalex.org/W1971170838","https://openalex.org/W1980824962","https://openalex.org/W1991729032","https://openalex.org/W2103291080","https://openalex.org/W2125336031","https://openalex.org/W2165480747","https://openalex.org/W2561675875","https://openalex.org/W2602645338","https://openalex.org/W4213374044","https://openalex.org/W4244819751"],"related_works":["https://openalex.org/W2081199208","https://openalex.org/W2082472813","https://openalex.org/W2147348835","https://openalex.org/W3005566532","https://openalex.org/W2164319435","https://openalex.org/W1970223082","https://openalex.org/W2164325773","https://openalex.org/W3130685677","https://openalex.org/W1988219071","https://openalex.org/W1980059732"],"abstract_inverted_index":null,"counts_by_year":[{"year":2024,"cited_by_count":1},{"year":2017,"cited_by_count":1}],"updated_date":"2026-05-07T13:39:58.223016","created_date":"2025-10-10T00:00:00"}