{"id":"https://openalex.org/W2055939354","doi":"https://doi.org/10.1109/rcis.2010.5507358","title":"IT Architecture automatic verification: A network evidence-based approach","display_name":"IT Architecture automatic verification: A network evidence-based approach","publication_year":2010,"publication_date":"2010-05-01","ids":{"openalex":"https://openalex.org/W2055939354","doi":"https://doi.org/10.1109/rcis.2010.5507358","mag":"2055939354"},"language":"en","primary_location":{"id":"doi:10.1109/rcis.2010.5507358","is_oa":false,"landing_page_url":"https://doi.org/10.1109/rcis.2010.5507358","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2010 Fourth International Conference on Research Challenges in Information Science (RCIS)","raw_type":"proceedings-article"},"type":"article","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/A5081816686","display_name":"Antonio Hern\u00e1ndez Alegr\u00eda","orcid":null},"institutions":[{"id":"https://openalex.org/I203847022","display_name":"Instituto Polit\u00e9cnico de Lisboa","ror":"https://ror.org/04ea70f07","country_code":"PT","type":"education","lineage":["https://openalex.org/I203847022"]},{"id":"https://openalex.org/I141596103","display_name":"University of Lisbon","ror":"https://ror.org/01c27hj86","country_code":"PT","type":"education","lineage":["https://openalex.org/I141596103"]},{"id":"https://openalex.org/I4387152517","display_name":"Instituto Superior T\u00e9cnico","ror":"https://ror.org/03db2by73","country_code":null,"type":"education","lineage":["https://openalex.org/I141596103","https://openalex.org/I4387152517"]}],"countries":["PT"],"is_corresponding":true,"raw_author_name":"Antonio Alegria","raw_affiliation_strings":["Instituto Superior T\u00e9ecnico, PT Comunica\u00e7c\u00f5oes, Universidade T\u00e9cnica de Lisboa, Lisboa, Portugal","Instituto Superior T\u00e9cnico, Universidade T\u00e9cnica de Lisboa, PT Comunica\u00e7\u00f5es, Lisbon, Portugal"],"affiliations":[{"raw_affiliation_string":"Instituto Superior T\u00e9ecnico, PT Comunica\u00e7c\u00f5oes, Universidade T\u00e9cnica de Lisboa, Lisboa, Portugal","institution_ids":["https://openalex.org/I203847022","https://openalex.org/I4387152517"]},{"raw_affiliation_string":"Instituto Superior T\u00e9cnico, Universidade T\u00e9cnica de Lisboa, PT Comunica\u00e7\u00f5es, Lisbon, Portugal","institution_ids":["https://openalex.org/I141596103","https://openalex.org/I4387152517"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5013539695","display_name":"Andr\u00e9 Vasconcelos","orcid":"https://orcid.org/0000-0003-0038-7199"},"institutions":[{"id":"https://openalex.org/I141596103","display_name":"University of Lisbon","ror":"https://ror.org/01c27hj86","country_code":"PT","type":"education","lineage":["https://openalex.org/I141596103"]},{"id":"https://openalex.org/I121345201","display_name":"Instituto de Engenharia de Sistemas e Computadores Investiga\u00e7\u00e3o e Desenvolvimento","ror":"https://ror.org/04mqy3p58","country_code":"PT","type":"nonprofit","lineage":["https://openalex.org/I121345201","https://openalex.org/I4210125590"]},{"id":"https://openalex.org/I4387152517","display_name":"Instituto Superior T\u00e9cnico","ror":"https://ror.org/03db2by73","country_code":null,"type":"education","lineage":["https://openalex.org/I141596103","https://openalex.org/I4387152517"]}],"countries":["PT"],"is_corresponding":false,"raw_author_name":"Andre Vasconcelos","raw_affiliation_strings":["Center for Organizational Design and Engineering (CODE), Instituo Superior T\u00e9ecnico, Instituto Superior T\u00e9ecnico, INESC Inova\u00e7c\u00e3ao, Portugal","Center for Organizational Design and Engineering (CODE), INESC Inova\u00e7\u00e3o and Instituto Superior T\u00e9cnico, Instituto Superior T\u00e9cnico, Portugal"],"affiliations":[{"raw_affiliation_string":"Center for Organizational Design and Engineering (CODE), Instituo Superior T\u00e9ecnico, Instituto Superior T\u00e9ecnico, INESC Inova\u00e7c\u00e3ao, Portugal","institution_ids":["https://openalex.org/I121345201","https://openalex.org/I4387152517"]},{"raw_affiliation_string":"Center for Organizational Design and Engineering (CODE), INESC Inova\u00e7\u00e3o and Instituto Superior T\u00e9cnico, Instituto Superior T\u00e9cnico, Portugal","institution_ids":["https://openalex.org/I141596103","https://openalex.org/I4387152517"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":2,"corresponding_author_ids":["https://openalex.org/A5081816686"],"corresponding_institution_ids":["https://openalex.org/I141596103","https://openalex.org/I203847022","https://openalex.org/I4387152517"],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":7,"citation_normalized_percentile":{"value":0.14874256,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":97},"biblio":{"volume":"3","issue":null,"first_page":"1","last_page":"12"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10260","display_name":"Software Engineering Research","score":0.9979000091552734,"subfield":{"id":"https://openalex.org/subfields/1710","display_name":"Information Systems"},"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/T10260","display_name":"Software Engineering Research","score":0.9979000091552734,"subfield":{"id":"https://openalex.org/subfields/1710","display_name":"Information Systems"},"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/T11675","display_name":"Open Source Software Innovations","score":0.9968000054359436,"subfield":{"id":"https://openalex.org/subfields/1706","display_name":"Computer Science Applications"},"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/T10430","display_name":"Software Engineering Techniques and Practices","score":0.9923999905586243,"subfield":{"id":"https://openalex.org/subfields/1710","display_name":"Information Systems"},"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.7588697671890259},{"id":"https://openalex.org/keywords/architecture","display_name":"Architecture","score":0.5752052068710327},{"id":"https://openalex.org/keywords/computer-architecture","display_name":"Computer architecture","score":0.46064311265945435},{"id":"https://openalex.org/keywords/software-engineering","display_name":"Software engineering","score":0.33969587087631226}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7588697671890259},{"id":"https://openalex.org/C123657996","wikidata":"https://www.wikidata.org/wiki/Q12271","display_name":"Architecture","level":2,"score":0.5752052068710327},{"id":"https://openalex.org/C118524514","wikidata":"https://www.wikidata.org/wiki/Q173212","display_name":"Computer architecture","level":1,"score":0.46064311265945435},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.33969587087631226},{"id":"https://openalex.org/C153349607","wikidata":"https://www.wikidata.org/wiki/Q36649","display_name":"Visual arts","level":1,"score":0.0},{"id":"https://openalex.org/C142362112","wikidata":"https://www.wikidata.org/wiki/Q735","display_name":"Art","level":0,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/rcis.2010.5507358","is_oa":false,"landing_page_url":"https://doi.org/10.1109/rcis.2010.5507358","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2010 Fourth International Conference on Research Challenges in Information Science (RCIS)","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":20,"referenced_works":["https://openalex.org/W83899336","https://openalex.org/W94466260","https://openalex.org/W101107563","https://openalex.org/W301118434","https://openalex.org/W577018545","https://openalex.org/W1496477730","https://openalex.org/W1523712082","https://openalex.org/W1896484594","https://openalex.org/W2002406790","https://openalex.org/W2114445262","https://openalex.org/W2122410182","https://openalex.org/W2124083259","https://openalex.org/W2124479173","https://openalex.org/W2339019629","https://openalex.org/W2623293810","https://openalex.org/W2911601159","https://openalex.org/W4285719527","https://openalex.org/W6603889596","https://openalex.org/W6604144076","https://openalex.org/W6610694469"],"related_works":["https://openalex.org/W2748952813","https://openalex.org/W2390279801","https://openalex.org/W2358668433","https://openalex.org/W2376932109","https://openalex.org/W2001405890","https://openalex.org/W2382290278","https://openalex.org/W2478288626","https://openalex.org/W4391913857","https://openalex.org/W2350741829","https://openalex.org/W2038503502"],"abstract_inverted_index":{"Ensuring":[0],"constant":[1],"synchronicity":[2],"between":[3,92,127],"the":[4,9,15,61,68,106,122,128,156,164,173,193,209],"IT":[5],"Architecture":[6],"(ITA)":[7,108],"and":[8,33,36,47,56,98,131,149,180],"actual":[10,69],"Information":[11],"Systems":[12],"(IS)":[13],"without":[14],"help":[16],"of":[17,63,114,159,206],"automatic":[18,42,157],"tools":[19],"is":[20,74,155],"an":[21,41,88,99],"intractable":[22],"task,":[23],"especially":[24],"when":[25],"taking":[26],"into":[27],"account":[28],"modern":[29],"IS'":[30],"rapid":[31],"evolution":[32],"growing":[34],"complexity":[35],"distributed":[37],"nature.":[38],"We":[39,85],"propose":[40,87],"AS-IS":[43],"ITA":[44,94,134,212],"verification":[45,165],"methodology":[46,181],"framework":[48,102],"based":[49],"on":[50],"deep":[51],"passive":[52],"network":[53,95],"traffic":[54],"analysis":[55],"logical":[57,115,222],"inference":[58,140],"rules":[59,119,161],"with":[60,152],"goal":[62],"inferring":[64],"relevant":[65],"facts":[66],"about":[67],"ITA.":[70],"The":[71,177,198],"resulting":[72],"knowledge":[73],"described":[75],"according":[76],"to":[77,144,188,203],"a":[78,112,132,170,185,189],"conceptual":[79],"model":[80,97,135,147,213],"designed":[81],"for":[82],"this":[83,139],"purpose.":[84],"also":[86],"organization-independent":[89],"mapping":[90],"relationship":[91],"that":[93,124,146,162,167],"evidence":[96,130],"ISA":[100],"modeling":[101],"(CEO":[103],"Framework),":[104],"at":[105],"technology":[107],"level,":[109],"realized":[110],"through":[111,221],"set":[113],"deduction":[116],"rules.":[117],"These":[118],"formally":[120],"define":[121],"conditions":[123],"must":[125],"hold":[126],"inferred":[129],"high-level":[133],"(both":[136],"represented":[137],"in":[138,142,150,184,192],"system)":[141],"order":[143],"declare":[145],"factual":[148],"line":[151],"reality.":[153],"It":[154],"execution":[158],"these":[160],"realizes":[163],"process":[166],"reports,":[168],"as":[169,214,216],"result,":[171],"all":[172],"significant":[174],"detected":[175],"discrepancies.":[176],"proposed":[178,199],"concepts":[179],"are":[182],"implemented":[183],"prototype":[186],"applied":[187],"case":[190,210],"study":[191],"leading":[194],"Portuguese":[195],"Telecom":[196],"operator.":[197],"solution":[200],"was":[201],"shown":[202],"be":[204],"capable":[205],"successfully":[207],"verifying":[208],"study's":[211],"well":[215],"discovering":[217],"new,":[218],"undocumented,":[219],"information":[220],"inference.":[223]},"counts_by_year":[{"year":2023,"cited_by_count":1},{"year":2020,"cited_by_count":3},{"year":2019,"cited_by_count":1},{"year":2016,"cited_by_count":1},{"year":2014,"cited_by_count":1}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}