{"id":"https://openalex.org/W4237925213","doi":"https://doi.org/10.1109/icse.2004.1317444","title":"Compositional verification of middleware-based software architecture descriptions","display_name":"Compositional verification of middleware-based software architecture descriptions","publication_year":2004,"publication_date":"2004-09-28","ids":{"openalex":"https://openalex.org/W4237925213","doi":"https://doi.org/10.1109/icse.2004.1317444"},"language":"en","primary_location":{"id":"doi:10.1109/icse.2004.1317444","is_oa":false,"landing_page_url":"https://doi.org/10.1109/icse.2004.1317444","pdf_url":null,"source":{"id":"https://openalex.org/S4363608974","display_name":"Proceedings. 26th International Conference on Software Engineering","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"conference"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings. 26th International Conference on Software Engineering","raw_type":"proceedings-article"},"type":"conference-paper","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/A5000022299","display_name":"Mauro Caporuscio","orcid":"https://orcid.org/0000-0001-6981-0966"},"institutions":[{"id":"https://openalex.org/I26415053","display_name":"University of L'Aquila","ror":"https://ror.org/01j9p1r26","country_code":"IT","type":"education","lineage":["https://openalex.org/I26415053"]}],"countries":["IT"],"is_corresponding":false,"raw_author_name":"M. Caporuscio","raw_affiliation_strings":["Dipartimento di Informatica, Universit\u00e0 del L''Aquila, L'Aquila, Italy"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Dipartimento di Informatica, Universit\u00e0 del L''Aquila, L'Aquila, Italy","institution_ids":["https://openalex.org/I26415053"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5112347231","display_name":"Paola Inverardi","orcid":null},"institutions":[{"id":"https://openalex.org/I26415053","display_name":"University of L'Aquila","ror":"https://ror.org/01j9p1r26","country_code":"IT","type":"education","lineage":["https://openalex.org/I26415053"]}],"countries":["IT"],"is_corresponding":false,"raw_author_name":"P. Inverardi","raw_affiliation_strings":["Dipartimento di Informatica, Universit\u00e0 del L''Aquila, L'Aquila, Italy"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Dipartimento di Informatica, Universit\u00e0 del L''Aquila, L'Aquila, Italy","institution_ids":["https://openalex.org/I26415053"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5013103539","display_name":"Patrizio Pelliccione","orcid":"https://orcid.org/0000-0002-5438-2281"},"institutions":[{"id":"https://openalex.org/I26415053","display_name":"University of L'Aquila","ror":"https://ror.org/01j9p1r26","country_code":"IT","type":"education","lineage":["https://openalex.org/I26415053"]}],"countries":["IT"],"is_corresponding":false,"raw_author_name":"P. Pelliccione","raw_affiliation_strings":["Dipartimento di Informatica, Universit\u00e0 del L''Aquila, L'Aquila, Italy"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Dipartimento di Informatica, Universit\u00e0 del L''Aquila, L'Aquila, Italy","institution_ids":["https://openalex.org/I26415053"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":[],"corresponding_institution_ids":["https://openalex.org/I26415053"],"apc_list":null,"apc_paid":null,"fwci":2.2051,"has_fulltext":false,"cited_by_count":19,"citation_normalized_percentile":{"value":0.89117858,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":94},"biblio":{"volume":null,"issue":null,"first_page":"221","last_page":"230"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10639","display_name":"Advanced Software Engineering Methodologies","score":0.9998000264167786,"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.9998000264167786,"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.9997000098228455,"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.9986000061035156,"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.8178213834762573},{"id":"https://openalex.org/keywords/middleware","display_name":"Middleware (distributed applications)","score":0.7790088653564453},{"id":"https://openalex.org/keywords/verification-and-validation","display_name":"Verification and validation","score":0.5355650782585144},{"id":"https://openalex.org/keywords/software-engineering","display_name":"Software engineering","score":0.5301578640937805},{"id":"https://openalex.org/keywords/software-architecture","display_name":"Software architecture","score":0.527009129524231},{"id":"https://openalex.org/keywords/reference-architecture","display_name":"Reference architecture","score":0.5041326284408569},{"id":"https://openalex.org/keywords/software-system","display_name":"Software system","score":0.47193190455436707},{"id":"https://openalex.org/keywords/software-verification","display_name":"Software verification","score":0.46789467334747314},{"id":"https://openalex.org/keywords/resource-oriented-architecture","display_name":"Resource-oriented architecture","score":0.46496492624282837},{"id":"https://openalex.org/keywords/software-construction","display_name":"Software construction","score":0.447005033493042},{"id":"https://openalex.org/keywords/software","display_name":"Software","score":0.4441675543785095},{"id":"https://openalex.org/keywords/software-development","display_name":"Software development","score":0.4371377229690552},{"id":"https://openalex.org/keywords/distributed-computing","display_name":"Distributed computing","score":0.3549373149871826},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.2374790608882904},{"id":"https://openalex.org/keywords/engineering","display_name":"Engineering","score":0.07156935334205627}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8178213834762573},{"id":"https://openalex.org/C169468491","wikidata":"https://www.wikidata.org/wiki/Q146923","display_name":"Middleware (distributed applications)","level":2,"score":0.7790088653564453},{"id":"https://openalex.org/C48002344","wikidata":"https://www.wikidata.org/wiki/Q2919644","display_name":"Verification and validation","level":2,"score":0.5355650782585144},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.5301578640937805},{"id":"https://openalex.org/C35869016","wikidata":"https://www.wikidata.org/wiki/Q846636","display_name":"Software architecture","level":3,"score":0.527009129524231},{"id":"https://openalex.org/C55356503","wikidata":"https://www.wikidata.org/wiki/Q2136675","display_name":"Reference architecture","level":4,"score":0.5041326284408569},{"id":"https://openalex.org/C149091818","wikidata":"https://www.wikidata.org/wiki/Q2429814","display_name":"Software system","level":3,"score":0.47193190455436707},{"id":"https://openalex.org/C33054407","wikidata":"https://www.wikidata.org/wiki/Q6504747","display_name":"Software verification","level":5,"score":0.46789467334747314},{"id":"https://openalex.org/C97382630","wikidata":"https://www.wikidata.org/wiki/Q13501132","display_name":"Resource-oriented architecture","level":5,"score":0.46496492624282837},{"id":"https://openalex.org/C186846655","wikidata":"https://www.wikidata.org/wiki/Q3398377","display_name":"Software construction","level":4,"score":0.447005033493042},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.4441675543785095},{"id":"https://openalex.org/C529173508","wikidata":"https://www.wikidata.org/wiki/Q638608","display_name":"Software development","level":3,"score":0.4371377229690552},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.3549373149871826},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.2374790608882904},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.07156935334205627},{"id":"https://openalex.org/C21547014","wikidata":"https://www.wikidata.org/wiki/Q1423657","display_name":"Operations management","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/icse.2004.1317444","is_oa":false,"landing_page_url":"https://doi.org/10.1109/icse.2004.1317444","pdf_url":null,"source":{"id":"https://openalex.org/S4363608974","display_name":"Proceedings. 26th International Conference on Software Engineering","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"conference"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings. 26th International Conference on Software Engineering","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[{"display_name":"Industry, innovation and infrastructure","id":"https://metadata.un.org/sdg/9","score":0.46000000834465027}],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":30,"referenced_works":["https://openalex.org/W49576997","https://openalex.org/W68069235","https://openalex.org/W1495101889","https://openalex.org/W1506588809","https://openalex.org/W1517296227","https://openalex.org/W1600927013","https://openalex.org/W1603163314","https://openalex.org/W1621418330","https://openalex.org/W1800478330","https://openalex.org/W2009965218","https://openalex.org/W2030654258","https://openalex.org/W2035192700","https://openalex.org/W2080267935","https://openalex.org/W2080593426","https://openalex.org/W2098039922","https://openalex.org/W2118023438","https://openalex.org/W2130025446","https://openalex.org/W2131185826","https://openalex.org/W2134686414","https://openalex.org/W2160668141","https://openalex.org/W2162844904","https://openalex.org/W2165768251","https://openalex.org/W2169134334","https://openalex.org/W3023191323","https://openalex.org/W4230224904","https://openalex.org/W6602015484","https://openalex.org/W6636147555","https://openalex.org/W6636564167","https://openalex.org/W6657959288","https://openalex.org/W6684022658"],"related_works":["https://openalex.org/W2053107757","https://openalex.org/W2157374570","https://openalex.org/W1152672851","https://openalex.org/W2163512324","https://openalex.org/W1503604944","https://openalex.org/W2359311851","https://openalex.org/W2751919171","https://openalex.org/W2017266164","https://openalex.org/W2136317684","https://openalex.org/W1552148294"],"abstract_inverted_index":{"In":[0],"this":[1],"paper":[2],"we":[3],"present":[4],"a":[5,16,26,31,91,99],"compositional":[6],"reasoning":[7],"to":[8,37,52,73,78,84],"verify":[9],"middleware-based":[10],"software":[11,19,27,47,56,69],"architecture":[12,70],"descriptions.":[13],"We":[14,86],"consider":[15],"nowadays":[17],"typical":[18],"system":[20,66,101],"development,":[21],"namely":[22,95],"the":[23,46,54,61,65,68,88,96,105],"development":[24,97],"of":[25,98,104],"application":[28],"A":[29],"on":[30,64,90,102],"middleware":[32],"M.":[33],"Our":[34],"goal":[35],"is":[36],"efficiently":[38],"integrate":[39],"verification":[40,81],"techniques,":[41],"like":[42],"model":[43],"checking,":[44],"in":[45,50,71],"life":[48],"cycle":[49],"order":[51,72],"improve":[53],"overall":[55],"quality.":[57],"The":[58],"approach":[59],"exploits":[60],"structure":[62],"imposed":[63],"by":[67],"develop":[74],"an":[75],"assume-guarantee":[76],"methodology":[77,89],"reduce":[79],"properties":[80],"from":[82],"global":[83],"local.":[85],"apply":[87],"non-trivial":[92],"case":[93],"study":[94],"Gnutella":[100],"top":[103],"SIENA":[106],"event-notification":[107],"middleware.":[108]},"counts_by_year":[{"year":2020,"cited_by_count":1},{"year":2018,"cited_by_count":1}],"updated_date":"2026-07-29T14:22:42.915294","created_date":"2025-10-10T00:00:00"}