{"id":"https://openalex.org/W1561192942","doi":"https://doi.org/10.1007/3-540-45440-3_19","title":"Model, Notation, and Tools for Verification of Protocol-Based Components Assembly","display_name":"Model, Notation, and Tools for Verification of Protocol-Based Components Assembly","publication_year":2002,"publication_date":"2002-01-01","ids":{"openalex":"https://openalex.org/W1561192942","doi":"https://doi.org/10.1007/3-540-45440-3_19","mag":"1561192942"},"language":"en","primary_location":{"id":"doi:10.1007/3-540-45440-3_19","is_oa":false,"landing_page_url":"https://doi.org/10.1007/3-540-45440-3_19","pdf_url":null,"source":{"id":"https://openalex.org/S106296714","display_name":"Lecture notes in computer science","issn_l":"0302-9743","issn":["0302-9743","1611-3349"],"is_oa":false,"is_in_doaj":false,"is_core":true,"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":"book series"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Lecture Notes in Computer Science","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/A5053630590","display_name":"Pascal Rapicault","orcid":null},"institutions":[{"id":"https://openalex.org/I1294671590","display_name":"Centre National de la Recherche Scientifique","ror":"https://ror.org/02feahw73","country_code":"FR","type":"funder","lineage":["https://openalex.org/I1294671590"]},{"id":"https://openalex.org/I201841394","display_name":"Universit\u00e9 C\u00f4te d'Azur","ror":"https://ror.org/019tgvf94","country_code":"FR","type":"education","lineage":["https://openalex.org/I201841394"]}],"countries":["FR"],"is_corresponding":true,"raw_author_name":"Pascal Rapicault","raw_affiliation_strings":["Object Technology International, Inc. (OTI), Canada","Rainbow and Sports Projects, I3S Laboratory, University of Nice Sophia Antipolis and CNRS (UMR 6070), Sophia Antipolis Cedex, France","University of Nice Sophia Antipolis and CNRS (UMR 6070)","Object Technology International, Inc. (OTI)"],"affiliations":[{"raw_affiliation_string":"Object Technology International, Inc. (OTI), Canada","institution_ids":[]},{"raw_affiliation_string":"Rainbow and Sports Projects, I3S Laboratory, University of Nice Sophia Antipolis and CNRS (UMR 6070), Sophia Antipolis Cedex, France","institution_ids":["https://openalex.org/I201841394","https://openalex.org/I1294671590"]},{"raw_affiliation_string":"University of Nice Sophia Antipolis and CNRS (UMR 6070)","institution_ids":["https://openalex.org/I201841394"]},{"raw_affiliation_string":"Object Technology International, Inc. (OTI)","institution_ids":[]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5112725187","display_name":"Jean\u2010Paul Rigault","orcid":null},"institutions":[{"id":"https://openalex.org/I201841394","display_name":"Universit\u00e9 C\u00f4te d'Azur","ror":"https://ror.org/019tgvf94","country_code":"FR","type":"education","lineage":["https://openalex.org/I201841394"]},{"id":"https://openalex.org/I1294671590","display_name":"Centre National de la Recherche Scientifique","ror":"https://ror.org/02feahw73","country_code":"FR","type":"funder","lineage":["https://openalex.org/I1294671590"]}],"countries":["FR"],"is_corresponding":false,"raw_author_name":"Jean-Paul Rigault","raw_affiliation_strings":["Rainbow and Sports Projects, I3S Laboratory, University of Nice Sophia Antipolis and CNRS (UMR 6070), Sophia Antipolis Cedex, France","University of Nice Sophia Antipolis and CNRS (UMR 6070)"],"affiliations":[{"raw_affiliation_string":"Rainbow and Sports Projects, I3S Laboratory, University of Nice Sophia Antipolis and CNRS (UMR 6070), Sophia Antipolis Cedex, France","institution_ids":["https://openalex.org/I201841394","https://openalex.org/I1294671590"]},{"raw_affiliation_string":"University of Nice Sophia Antipolis and CNRS (UMR 6070)","institution_ids":["https://openalex.org/I201841394"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5015001273","display_name":"Luc Bourlier","orcid":null},"institutions":[{"id":"https://openalex.org/I1294671590","display_name":"Centre National de la Recherche Scientifique","ror":"https://ror.org/02feahw73","country_code":"FR","type":"funder","lineage":["https://openalex.org/I1294671590"]},{"id":"https://openalex.org/I201841394","display_name":"Universit\u00e9 C\u00f4te d'Azur","ror":"https://ror.org/019tgvf94","country_code":"FR","type":"education","lineage":["https://openalex.org/I201841394"]}],"countries":["FR"],"is_corresponding":false,"raw_author_name":"Luc Bourlier","raw_affiliation_strings":["Rainbow and Sports Projects, I3S Laboratory, University of Nice Sophia Antipolis and CNRS (UMR 6070), Sophia Antipolis Cedex, France","University of Nice Sophia Antipolis and CNRS (UMR 6070)"],"affiliations":[{"raw_affiliation_string":"Rainbow and Sports Projects, I3S Laboratory, University of Nice Sophia Antipolis and CNRS (UMR 6070), Sophia Antipolis Cedex, France","institution_ids":["https://openalex.org/I201841394","https://openalex.org/I1294671590"]},{"raw_affiliation_string":"University of Nice Sophia Antipolis and CNRS (UMR 6070)","institution_ids":["https://openalex.org/I201841394"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":3,"corresponding_author_ids":["https://openalex.org/A5053630590"],"corresponding_institution_ids":["https://openalex.org/I1294671590","https://openalex.org/I201841394"],"apc_list":{"value":5000,"currency":"EUR","value_usd":5392},"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":{"value":0.1383357,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":"257","last_page":"268"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.9995999932289124,"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"}},"topics":[{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.9995999932289124,"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/T10904","display_name":"Embedded Systems Design Techniques","score":0.9988999962806702,"subfield":{"id":"https://openalex.org/subfields/1708","display_name":"Hardware and Architecture"},"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.9976000189781189,"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.8818260431289673},{"id":"https://openalex.org/keywords/component","display_name":"Component (thermodynamics)","score":0.8266654014587402},{"id":"https://openalex.org/keywords/notation","display_name":"Notation","score":0.8235812187194824},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.6553652882575989},{"id":"https://openalex.org/keywords/semantics","display_name":"Semantics (computer science)","score":0.5968382358551025},{"id":"https://openalex.org/keywords/protocol","display_name":"Protocol (science)","score":0.5722814202308655},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.4654551148414612},{"id":"https://openalex.org/keywords/interface","display_name":"Interface (matter)","score":0.461507111787796},{"id":"https://openalex.org/keywords/graphical-user-interface","display_name":"Graphical user interface","score":0.44077953696250916},{"id":"https://openalex.org/keywords/operating-system","display_name":"Operating system","score":0.09334200620651245},{"id":"https://openalex.org/keywords/arithmetic","display_name":"Arithmetic","score":0.06860777735710144}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8818260431289673},{"id":"https://openalex.org/C168167062","wikidata":"https://www.wikidata.org/wiki/Q1117970","display_name":"Component (thermodynamics)","level":2,"score":0.8266654014587402},{"id":"https://openalex.org/C45357846","wikidata":"https://www.wikidata.org/wiki/Q2001982","display_name":"Notation","level":2,"score":0.8235812187194824},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.6553652882575989},{"id":"https://openalex.org/C184337299","wikidata":"https://www.wikidata.org/wiki/Q1437428","display_name":"Semantics (computer science)","level":2,"score":0.5968382358551025},{"id":"https://openalex.org/C2780385302","wikidata":"https://www.wikidata.org/wiki/Q367158","display_name":"Protocol (science)","level":3,"score":0.5722814202308655},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.4654551148414612},{"id":"https://openalex.org/C113843644","wikidata":"https://www.wikidata.org/wiki/Q901882","display_name":"Interface (matter)","level":4,"score":0.461507111787796},{"id":"https://openalex.org/C37789001","wikidata":"https://www.wikidata.org/wiki/Q782543","display_name":"Graphical user interface","level":2,"score":0.44077953696250916},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.09334200620651245},{"id":"https://openalex.org/C94375191","wikidata":"https://www.wikidata.org/wiki/Q11205","display_name":"Arithmetic","level":1,"score":0.06860777735710144},{"id":"https://openalex.org/C204787440","wikidata":"https://www.wikidata.org/wiki/Q188504","display_name":"Alternative medicine","level":2,"score":0.0},{"id":"https://openalex.org/C142724271","wikidata":"https://www.wikidata.org/wiki/Q7208","display_name":"Pathology","level":1,"score":0.0},{"id":"https://openalex.org/C97355855","wikidata":"https://www.wikidata.org/wiki/Q11473","display_name":"Thermodynamics","level":1,"score":0.0},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"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/C129307140","wikidata":"https://www.wikidata.org/wiki/Q6795880","display_name":"Maximum bubble pressure method","level":3,"score":0.0},{"id":"https://openalex.org/C71924100","wikidata":"https://www.wikidata.org/wiki/Q11190","display_name":"Medicine","level":0,"score":0.0},{"id":"https://openalex.org/C157915830","wikidata":"https://www.wikidata.org/wiki/Q2928001","display_name":"Bubble","level":2,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1007/3-540-45440-3_19","is_oa":false,"landing_page_url":"https://doi.org/10.1007/3-540-45440-3_19","pdf_url":null,"source":{"id":"https://openalex.org/S106296714","display_name":"Lecture notes in computer science","issn_l":"0302-9743","issn":["0302-9743","1611-3349"],"is_oa":false,"is_in_doaj":false,"is_core":true,"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":"book series"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Lecture Notes in Computer Science","raw_type":"book-chapter"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":18,"referenced_works":["https://openalex.org/W9794753","https://openalex.org/W198586110","https://openalex.org/W1503767920","https://openalex.org/W1546981056","https://openalex.org/W1553266934","https://openalex.org/W1580085173","https://openalex.org/W1583355384","https://openalex.org/W1875492031","https://openalex.org/W2013658284","https://openalex.org/W2081938726","https://openalex.org/W2099529102","https://openalex.org/W2139897701","https://openalex.org/W2166944884","https://openalex.org/W2167500728","https://openalex.org/W2340735175","https://openalex.org/W2913459036","https://openalex.org/W4206455946","https://openalex.org/W6684644128"],"related_works":["https://openalex.org/W2504004674","https://openalex.org/W2963177394","https://openalex.org/W1595229445","https://openalex.org/W2498744856","https://openalex.org/W4390482104","https://openalex.org/W322408318","https://openalex.org/W149041114","https://openalex.org/W1965815883","https://openalex.org/W763418848","https://openalex.org/W2022968056"],"abstract_inverted_index":null,"counts_by_year":[],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}