{“id”:“https://openalex.org/W1487626620“,”doi“:”https://doi.org/10.1007/978-3-540-69100-6_4“,”title“:“使用域模型验证注释框架”,”display_name“:”使用域模型进行注释框架验证“,”publication_year“:2008,”publiation_date“:”2008-06-05“,”ids“:{”openalex“:”https://openalex.org/W1487626620“,”doi“:”https://doi.org/10.1007/978-3-540-69100-6_4“,”mag“:”1487626620“},”language“:”en“,”primary_location“:{”is_oa“:false,”landing_page_url“:”https://doi.org/10.1007/978-3-540-69100-6_4“,”pdf_url“:空,”源“:{”id“:”https://openalex.org/S106296714“,”display_name“:”计算机科学讲义“,”issn_l“:”0302-9743“,”isn“:[”0302-7743“、”1611-3349“],”is_oa“:false、”is_in_doaj“:false、”is_core“:true、”host_organization“:”https://openalex.org/P4310318900“,”“host_organization_name”:“Springer Science+Business Media”,“host_organization_lineage”:[“https://openalex.org/P431031965","https://openalex.org/P4310318900“],”host_organization_lineage_names“:[”Springer Nature“,”Springer-Science+Business Media“],“type”:“book-series”},“license”:null,“licence_id”:nul,“version”:null,“is_accepted”:false,“is_published”:false},”type“:”book-chapter“,”type_crossref“:“book-chapter”,”indexed_in“:[“crossref”],“open_access”:{“is_oa”:true,“oa_status”:“green”,“oa_url”:https://hal.inia.fr/inia-00287856/file/ECMDA.pdf“,”any_repository_has_fulltext“:true},”authorships“:[{”author_position“:”第一“,”作者“:{”id“:”https://openalex.org/A5029912744“,”display_name“:”Carlos Noguera“,”orcid“:null},”institutions“:[{”id“:”https://openalex.org/I4210138412“,”display_name“:”Inria研究中心里尔-北欧“,”ror“:”https://ror.org/04eej9726“,”“country_code”“:”FR“,”type“:”facility“,”lineage“:[”https://openalex.org/I1326498283","https://openalex.org/I4210138412“]}],”国家“:[”FR“],”is_corresponding“:false,”raw_author_name“:”Carlos Noguera“,”raw _affiliation_strings“:[“INRIA Lille Nord-Europe-LIFL,University \u00e9 des Sciences et Technologies de Lille,Villeneuve d'Ascq,France 59655#TAB#”],”从属关系“:[{”raw_affiliation_string“:”INRIA Lille Nord-Europe-LIFL,University\u00e9 des Sciences et Technologies de Lille,Villeneuve d'Ascq,France 59655#TAB#“,”institution_ids“:[”https://openalex.org/I4210138412“]}]},{”author_position“:”last“,”author“:{”id“:”https://openalex.org/A5033265046“,”display_name“:”Laurence Duchien“,”orcid“:null},”institutions“:[{”id“:”https://openalex.org/I4210138412“,”display_name“:”Inria研究中心里尔-北欧“,”ror“:”https://ror.org/04eej9726“,”“country_code”“:”FR“,”type“:”facility“,”lineage“:[”https://openalex.org/I1326498283","https://openalex.org/I4210138412“]}],”国家“:[”FR“],”is_corresponding“:false,”raw_author_name“:”Laurence Duchien“,”raw _ afiliation_strings“:[“INRIA Lille Nord-Europe-LIFL,University \u00e9 des Sciences et Technologies de Lille,Villeneuve d'Ascq,France 59655#TAB#”],”从属关系“:[{”raw _affiliation_string“:”INRIA Lille Nord-Europe-LIFL,University\u00e9 des Sciences et Technologies de Lille,Villeneuve d'Ascq,France 59655#TAB#“,”institution_ids“:[”https://openalex.org/I4210138412“]}]}],”countries_distinct_count“:1,”institutions_disting_count”:1,“corresponding_author_ids”:[],”correspounding_institution_ids“:[]、”apc_list“:null,”apc_payed“:nul,”fwci“:2.568,”has_fulltext“:false,”cited_by_count:23,“cited_by_percentile_year”:{“min”:90,”max“:91},”biblio“:{”volume“:null,”issue“:null,“first_page”:“48”,“last_page”:“62”},“is_retracted“:false,”is_paratext“:fase,”primary_topic“:{”id“:”https://openalex.org/T11450“,”“display_name”:“软件开发中的模型驱动工程”,“score”:0.9996,“subfield”:{“id”:“https://openalex.org/subfields/1712“,”display_name“:”软件“},”字段“:{”id“:”https://openalex.org/fields/17“,”display_name“:”Computer Science“},”domain“:{”id“:”https://openalex.org/domains/3“,”display_name“:”物理科学“}},”主题“:[{”id“:”https://openalex.org/T11450“,”“display_name”:“软件开发中的模型驱动工程”,“score”:0.9996,“subfield”:{“id”:“https://openalex.org/subfields/1712“,”display_name“:”软件“},”字段“:{”id“:”https://openalex.org/fields/17“,”display_name“:”Computer Science“},”domain“:{”id“:”https://openalex.org/domains/3“,”display_name“:”物理科学“}},{”id“:”https://openalex.org/T10639“,”display_name“:”自主计算和自适应系统“,”score“:0.9996,”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“:”物理科学“}},{”id“:”https://openalex.org/T12127“,”“display_name”:“日志分析和系统性能诊断”,“score”:0.9981,“subfield”:{“id”:“https://openalex.org/subfields/1705“,”display_name“:”计算机网络和通信“},”字段“:{”id“:”https://openalex.org/fields/17“,”display_name“:”Computer Science“},”domain“:{”id“:”https://openalex.org/domains/3“,”display_name“:”物理科学“}}],”关键词“:[{”id“:”https://openalex.org/keywords/feature-models网站“,”display_name“:”功能模型“,”score“:0.52349},{”id“:”https://openalex.org/keywords/software-development网站“,”display_name“:”软件开发“,”score“:0.505331}],”概念“:[{”id“:”https://openalex.org/C2776321320,“wikidata”:https://www.wikidata.org/wiki/Q857525“,”display_name“:”Annotation“,”level“:2,”score“:0.9239359},{”id“:”https://openalex.org/C41008148,“wikidata”:https://www.wikidata.org/wiki/Q21198“,”display_name“:”计算机科学“,”level“:0,”score“:0.8198604},{”id“:”https://openalex.org/C2778514511,“wikidata”:https://www.wikidata.org/wiki/Q1374194“,”display_name“:”Programmer“,”level“:2,”score“:0.6957153},{”id“:”https://openalex.org/C36503486,“wikidata”:https://www.wikidata.org/wiki/Q11235244“,”display_name“:”域(数学分析)“,”level“:2,”score“:0.6277716},{”id“:”https://openalex.org/C2777904410,“wikidata”:https://www.wikidata.org/wiki/Q7397“,”display_name“:”软件“,”级别“:2,”分数“:0.47480574},{”id“:”https://openalex.org/C115903868,“wikidata”:https://www.wikidata.org/wiki/Q80993“,”display_name“:”软件工程“,”level“:1,”score“:0.3773164},{”id“:”https://openalex.org/C23123220,“wikidata”:https://www.wikidata.org/wiki/Q816826“,”display_name“:”信息检索“,”level“:1,”score“:0.33935794},{”id“:”https://openalex.org/C154945302,“wikidata”:https://www.wikidata.org/wiki/Q11660“,”display_name“:”人工智能“,”level“:1,”score“:0.33895332},{”id“:”https://openalex.org/C199360897,“wikidata”:https://www.wikidata.org/wiki/Q9143“,”display_name“:”编程语言“,”level“:1,”score“:0.28005612},{”id“:”https://openalex.org/C134306372,“wikidata”:https://www.wikidata.org/wiki/Q7754“,”display_name“:”数学分析“,”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}],”mesh“:[],”locations_count“:5,”location“:[{”is_oa“:false,”landing_page_url“:”https://doi.org/10.1007/978-3-540-69100-6_4“,”pdf_url“:空,”源“:{”id“:”https://openalex.org/S106296714“,”display_name“:”计算机科学讲义“,”issn_l“:”0302-9743“,”isn“:[”0302-7743“、”1611-3349“],”is_oa“:false、”is_in_doaj“:false、”is_core“:true、”host_organization“:”https://openalex.org/P4310318900“,”“host_organization_name”:“Springer Science+Business Media”,“host_organization_lineage”:[“https://openalex.org/P431031965","https://openalex.org/P4310318900“],”host_organization_lineage_names“:[”Springer Nature“,”Springer-Science+Business Media“],“type”:“book-series”},“license”:null,“licence_id”:nul,“version”:null,“is_accepted”:false,“is_published”:false},{“is_oa”:true,“landing_page_url”:“https://hal.inia.fr/inia-00287856/file/ECMDA.pdf,“pdf_url”:https://hal.inia.fr/inia-00287856/file/ECMDA.pdf,“源”:{“id”:https://openalex.org/S4306402512“,”display_name“:”HAL(通信科学指导中心)“,”issn_l“:null,”issn“:null,”is_oa“:true,”is-in_doaj“:false,”is_core“:false,”host_organization“:”https://openalex.org/I1294671590“,”“host_organization_name”:“法国国家科学研究中心”,“host_ordanization_lineage”:[“https://openalex.org/I1294671590“],”host_organization_lineage_names“:[”法国国家科学研究中心“],“type”:“repository”},“license”:null,“licence_id”:null,“version”:“submittedVersion”,“is_accepted”:false,“is_published”:false},{“is_oa”:true,“landing_page_url”:“https://hal.inia.fr/inia-00287856,“pdf_url”:https://inria.hal.science/inia-00287856/document(英文),“源”:{“id”:https://openalex.org/S4306402512“,”display_name“:”HAL(通信科学指导中心)“,”issn_l“:null,”issn“:null,”is_oa“:true,”is-in_doaj“:false,”is_core“:false,”host_organization“:”https://openalex.org/I1294671590“,”“host_organization_name”:“法国国家科学研究中心”,“host_ordanization_lineage”:[“https://openalex.org/I1294671590“],”host_organization_lineage_names“:[”法国国家科学研究中心“],“type”:“repository”},“license”:null,“licence_id”:null,“version”:“submittedVersion”,“is_accepted”:false,“is_published”:false},{“is_oa”:true,“landing_page_url”:“http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.592.7020,“pdf_url”:http://hal.archives-ouvertes.fr/docs/00/28/78/56/PDF/ECMDA.PDF,“源”:{“id”:https://openalex.org/S4306400349“,”display_name“:”CiteSeer X(The Pennsylvania State University)“,”issn_l“:null,”issn“:null,”is_oa“:true,”is_ in_doaj“:false,”is_core“:false,”host_organization“:”https://openalex.org/I130769515“,”“host_organization_name”:“宾夕法尼亚州立大学”,“host_ordanization_lineage”:[“https://openalex.org/I130769515“],”host_organization_lineage_names“:[”Pennsylvania State University“],“type”:“repository”},“license”:null,“licence_id”:null,“version”:“submittedVersion”,“is_accepted”:false,“is_published”:false},{“is_oa”:true,“landing_page_url”:“https://hal.inia.fr/inia-00287856/document,“pdf_url”:https://hal.inia.fr/inia-00287856/document,“源”:{“id”:https://openalex.org/S4306402512“,”display_name“:”HAL(通信科学指导中心)“,”issn_l“:null,”issn“:null,”is_oa“:true,”is-in_doaj“:false,”is_core“:false,”host_organization“:”https://openalex.org/I1294671590“,”“host_organization_name”:“法国国家科学研究中心”,“host_ordanization_lineage”:[“https://openalex.org/I1294671590“],”host_organization_lineage_names“:[”法国国家科学研究中心“],“type”:“repository”},“license”:null,“licence_id”:null,“version”:“submittedVersion”,“is_accepted”:false,“is_published”:false}],“best_oa_location”:{“is_oa”:true,“landing_page_url”:“https://hal.inia.fr/inia-00287856/file/ECMDA.pdf,“pdf_url”:https://hal.inria.fr/inria-00287856/file/EMCDA.pdf,“源”:{“id”:https://openalex.org/S4306402512“,”display_name“:”HAL(通信科学指导中心)“,”issn_l“:null,”issn“:null,”is_oa“:true,”is-in_doaj“:false,”is_core“:false,”host_organization“:”https://openalex.org/I1294671590“,”“host_organization_name”:“法国国家科学研究中心”,“host_ordanization_lineage”:[“https://openalex.org/I1294671590“],”host_organization_lineage_names“:[”法国国家科学研究中心“],“type”:“repository”},“license”:null,“licence_id”:null,“version”:“submittedVersion”,“is_accepted”:false,“is_published”:false},”sustainable_development_goals“:[],”grants“:【】,“datasets”:【】https://openalex.org/W1537748064","https://openalex.org/W1555105863","https://openalex.org/W1644882639","https://openalex.org/W1987191344","https://openalex.org/W2146455667","https://openalex.org/W2285251315","https://openalex.org/W3003801367","https://openalex.org/W4235569987","https://openalex.org/W4368229065“],”related_works“:[”https://openalex.org/W4237177615","https://openalex.org/W2972896947","https://openalex.org/W2379153735","https://openalex.org/W2361861616","https://openalex.org/W2355105570","https://openalex.org/W2263699433","https://openalex.org/W2170146914","https://openalex.org/W2083974823","https://openalex.org/W2072751097","https://openalex.org/W2046172023“],”ngrams_url“:”https://api.openalex.org/works/W1487626620/ngrams“,”“abstract_inverted_index”:{“Frameworks”:[0],“and”:[1,69106],“libraries”:[2],“that”:[3,39,62],“use”:[4,28],“annotations”:[5,30],“are”:[6,42],“becoming”:[7],“popular.”:+8],“Ho然而,”:[9],“there”:[10],“is”:[11],“not”:[12],“足够”:[13],“software”:[14],“engineering”:[15],“支持”:[16],“for”:[17],“注释”:[18,40,65,76104],“开发”:[19],“在“:[20,34],“specific,”:[21],“the”:[22,27,46,64,72,75,92102110],“validation”:[23,93],“of”:[24,29,45,74,94],“constraints”:[25,73,95],“In”:[26],“requires”:[31],“进一步”:[32],“support”中。“:[33],”this“:[35,55],”paper“:[36],”we“:[37,57,98],”prestatate“:=38],”frameworks“:【41】,”a“:[43,50,60,79,84],”projection“:【44】,”domain“:【47,85],”model“:【48】,”into“:【49】,”programming“:【51】,”language“:【52】,”model。“:[53,86],”Using“:[54],”idea“:[56],”have“:[58],”developed“:[59],”tool“:[61],”allows“:[63],”programmer“:[66],”to“:[67,91101109],”specify“:[68],”then“:[70],”validate“:[71,88],”framework“:77105],”about“:[78],”given“:80],”annotated“:[81],”application“:[82],”Using“:[83,96],“收件人”:[87],“我们的”:[89],“方法”:[90],“模型”,:[97],“应用”:[99],“it“:[100108],“Fraclet”:[103],“compare”:[107],“previous”:[111],“implementation”。“:[112]},”cited_by_api_url“:”https://api.openalex.org/works?filter=引用:W1487626620“,”counts_by_year“:[{”year“:2023,”cited_by_count“:1},{”year“:2022,”cited_by_count”:2},”{“year”:2020,”citecd_by_count“:1',{“year”:2016,”citesd_by_count“:2}”,{年“:2015,”ciped_by_cunt“:3},日期“:”2024-06-25T06:37:32.986046“,”创建日期“:“2016-06-24”}