{"id":"https://openalex.org/W163886393","doi":"https://doi.org/10.1007/1-4020-7997-4_3","title":"From UML to Z","display_name":"From UML to Z","publication_year":2006,"publication_date":"2006-02-17","ids":{"openalex":"https://openalex.org/W163886393","doi":"https://doi.org/10.1007/1-4020-7997-4_3","mag":"163886393"},"language":"en","primary_location":{"id":"doi:10.1007/1-4020-7997-4_3","is_oa":false,"landing_page_url":"https://doi.org/10.1007/1-4020-7997-4_3","pdf_url":null,"source":{"id":"https://openalex.org/S4306463519","display_name":"Kluwer Academic Publishers eBooks","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"ebook platform"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Formal Methods for Embedded Distributed Systems","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/A5025031504","display_name":"Michel Lemoine","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"M. Lemoine","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"last","author":{"id":"https://openalex.org/A5073496179","display_name":"G. Gaudi\u00e9re","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"G. Gaudi\u00e9re","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]}],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":0,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":0.6664,"has_fulltext":false,"cited_by_count":1,"citation_normalized_percentile":{"value":0.76634423,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":"65","last_page":"88"},"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/T10142","display_name":"Formal Methods in Verification","score":0.9994999766349792,"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/T11450","display_name":"Model-Driven Software Engineering Techniques","score":0.9994999766349792,"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/computer-science","display_name":"Computer science","score":0.7464168667793274},{"id":"https://openalex.org/keywords/unified-modeling-language","display_name":"Unified Modeling Language","score":0.6833140254020691},{"id":"https://openalex.org/keywords/formal-methods","display_name":"Formal methods","score":0.6511217355728149},{"id":"https://openalex.org/keywords/notation","display_name":"Notation","score":0.5818477869033813},{"id":"https://openalex.org/keywords/constructive","display_name":"Constructive","score":0.5785720944404602},{"id":"https://openalex.org/keywords/formal-specification","display_name":"Formal specification","score":0.5772996544837952},{"id":"https://openalex.org/keywords/software-engineering","display_name":"Software engineering","score":0.5591591000556946},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.5382973551750183},{"id":"https://openalex.org/keywords/process","display_name":"Process (computing)","score":0.46401676535606384},{"id":"https://openalex.org/keywords/formal-verification","display_name":"Formal verification","score":0.4218364953994751},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.3229535222053528},{"id":"https://openalex.org/keywords/software","display_name":"Software","score":0.10974618792533875},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.08933776617050171}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7464168667793274},{"id":"https://openalex.org/C145644426","wikidata":"https://www.wikidata.org/wiki/Q169411","display_name":"Unified Modeling Language","level":3,"score":0.6833140254020691},{"id":"https://openalex.org/C75606506","wikidata":"https://www.wikidata.org/wiki/Q1049183","display_name":"Formal methods","level":2,"score":0.6511217355728149},{"id":"https://openalex.org/C45357846","wikidata":"https://www.wikidata.org/wiki/Q2001982","display_name":"Notation","level":2,"score":0.5818477869033813},{"id":"https://openalex.org/C2778701210","wikidata":"https://www.wikidata.org/wiki/Q28130034","display_name":"Constructive","level":3,"score":0.5785720944404602},{"id":"https://openalex.org/C116253237","wikidata":"https://www.wikidata.org/wiki/Q1437424","display_name":"Formal specification","level":2,"score":0.5772996544837952},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.5591591000556946},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.5382973551750183},{"id":"https://openalex.org/C98045186","wikidata":"https://www.wikidata.org/wiki/Q205663","display_name":"Process (computing)","level":2,"score":0.46401676535606384},{"id":"https://openalex.org/C111498074","wikidata":"https://www.wikidata.org/wiki/Q173326","display_name":"Formal verification","level":2,"score":0.4218364953994751},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.3229535222053528},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.10974618792533875},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.08933776617050171},{"id":"https://openalex.org/C94375191","wikidata":"https://www.wikidata.org/wiki/Q11205","display_name":"Arithmetic","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1007/1-4020-7997-4_3","is_oa":false,"landing_page_url":"https://doi.org/10.1007/1-4020-7997-4_3","pdf_url":null,"source":{"id":"https://openalex.org/S4306463519","display_name":"Kluwer Academic Publishers eBooks","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"ebook platform"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Formal Methods for Embedded Distributed Systems","raw_type":"book-chapter"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":19,"referenced_works":["https://openalex.org/W175551733","https://openalex.org/W398813427","https://openalex.org/W1507924933","https://openalex.org/W1537432317","https://openalex.org/W1548903741","https://openalex.org/W1948802341","https://openalex.org/W2015688007","https://openalex.org/W2038754076","https://openalex.org/W2066867661","https://openalex.org/W2115937516","https://openalex.org/W2141154073","https://openalex.org/W2144973245","https://openalex.org/W2161407365","https://openalex.org/W2499596435","https://openalex.org/W2982246412","https://openalex.org/W3142838735","https://openalex.org/W3143351655","https://openalex.org/W4234822591","https://openalex.org/W6660375553"],"related_works":["https://openalex.org/W2049993111","https://openalex.org/W1903167137","https://openalex.org/W2145025660","https://openalex.org/W2171674700","https://openalex.org/W1922520186","https://openalex.org/W1544097700","https://openalex.org/W1946493810","https://openalex.org/W1495250406","https://openalex.org/W17088386","https://openalex.org/W1608485412"],"abstract_inverted_index":{"In":[0,99],"this":[1],"chapter,":[2],"we":[3,102],"emphasize":[4],"a":[5,32,37,49,104,113],"constructive":[6],"method":[7,46],"for":[8,51],"managing":[9],"the":[10,41,85,91,95,108,123],"complexity":[11],"of":[12,40,112],"large":[13],"distributed":[14,34,114],"system.":[15],"The":[16],"method,":[17],"so":[18],"called":[19],"\u201cEvolutionary\u201d":[20],"one,":[21],"is":[22,47,58,88],"based":[23,59],"on":[24,60],"well":[25],"known":[26],"and":[27,67,71,78,116],"very":[28],"simple":[29],"principles.":[30],"Designing":[31],"complex":[33],"system":[35,54],"needs":[36,118],"deep":[38],"understanding":[39],"Requirements":[42],"Document.":[43],"Thus":[44],"our":[45],"mainly":[48],"methodology":[50,105],"building":[52],"trusted":[53],"requirement":[55],"document.":[56],"It":[57],"mixing":[61],"both":[62],"semi":[63],"formal":[64,68,109,124],"(UML":[65],"based)":[66],"(Z)":[69],"notations,":[70],"an":[72],"incremental":[73],"process":[74],"to":[75,90],"which":[76],"Validation":[77],"Verification":[79],"stages":[80],"are":[81],"applied.":[82],"Of":[83],"course":[84],"\u201cEvolutionary":[86],"method\u201d":[87],"restricted":[89],"capabilities":[92],"offered":[93],"by":[94],"2":[96],"used":[97],"notations.":[98],"other":[100],"words":[101],"suggest":[103],"that":[106,117],"warrantees":[107],"static":[110],"specification":[111],"system,":[115],"some":[119],"complementary":[120],"tools/techniques":[121],"warranting":[122],"dynamic":[125],"specification.":[126]},"counts_by_year":[],"updated_date":"2026-07-30T17:31:21.811387","created_date":"2016-06-24T00:00:00"}