{"id":"https://openalex.org/W1978075394","doi":"https://doi.org/10.1145/2451436.2451448","title":"Modular specification and checking of structural dependencies","display_name":"Modular specification and checking of structural dependencies","publication_year":2013,"publication_date":"2013-03-24","ids":{"openalex":"https://openalex.org/W1978075394","doi":"https://doi.org/10.1145/2451436.2451448","mag":"1978075394"},"language":"en","primary_location":{"id":"doi:10.1145/2451436.2451448","is_oa":false,"landing_page_url":"https://doi.org/10.1145/2451436.2451448","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 12th annual international conference on Aspect-oriented software development","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/A5021885211","display_name":"Ralf Mitschke","orcid":null},"institutions":[{"id":"https://openalex.org/I31512782","display_name":"Technical University of Darmstadt","ror":"https://ror.org/05n911h24","country_code":"DE","type":"education","lineage":["https://openalex.org/I31512782"]}],"countries":["DE"],"is_corresponding":true,"raw_author_name":"Ralf Mitschke","raw_affiliation_strings":["Technische Universit\u00e4t Darmstadt, Darmstadt, Germany"],"affiliations":[{"raw_affiliation_string":"Technische Universit\u00e4t Darmstadt, Darmstadt, Germany","institution_ids":["https://openalex.org/I31512782"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5014476821","display_name":"Michael Eichberg","orcid":null},"institutions":[{"id":"https://openalex.org/I31512782","display_name":"Technical University of Darmstadt","ror":"https://ror.org/05n911h24","country_code":"DE","type":"education","lineage":["https://openalex.org/I31512782"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Michael Eichberg","raw_affiliation_strings":["Technische Universit\u00e4t Darmstadt, Darmstadt, Germany"],"affiliations":[{"raw_affiliation_string":"Technische Universit\u00e4t Darmstadt, Darmstadt, Germany","institution_ids":["https://openalex.org/I31512782"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5078067853","display_name":"Mira Mezini","orcid":"https://orcid.org/0000-0001-6563-7537"},"institutions":[{"id":"https://openalex.org/I31512782","display_name":"Technical University of Darmstadt","ror":"https://ror.org/05n911h24","country_code":"DE","type":"education","lineage":["https://openalex.org/I31512782"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Mira Mezini","raw_affiliation_strings":["Technische Universit\u00e4t Darmstadt, Darmstadt, Germany"],"affiliations":[{"raw_affiliation_string":"Technische Universit\u00e4t Darmstadt, Darmstadt, Germany","institution_ids":["https://openalex.org/I31512782"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5007792821","display_name":"Alessandro Garcia","orcid":"https://orcid.org/0000-0001-5788-5215"},"institutions":[{"id":"https://openalex.org/I2699952","display_name":"Pontifical Catholic University of Rio de Janeiro","ror":"https://ror.org/01dg47b60","country_code":"BR","type":"education","lineage":["https://openalex.org/I2699952"]}],"countries":["BR"],"is_corresponding":false,"raw_author_name":"Alessandro Garcia","raw_affiliation_strings":["Pontifical Catholic University of Rio de Janeiro, Rio de Janeiro, Brazil","Pontifical Catholic University of Rio de Janeiro, Rio De Janeiro, Brazil#TAB#"],"affiliations":[{"raw_affiliation_string":"Pontifical Catholic University of Rio de Janeiro, Rio de Janeiro, Brazil","institution_ids":["https://openalex.org/I2699952"]},{"raw_affiliation_string":"Pontifical Catholic University of Rio de Janeiro, Rio De Janeiro, Brazil#TAB#","institution_ids":["https://openalex.org/I2699952"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5055385938","display_name":"Isela Macia","orcid":null},"institutions":[{"id":"https://openalex.org/I2699952","display_name":"Pontifical Catholic University of Rio de Janeiro","ror":"https://ror.org/01dg47b60","country_code":"BR","type":"education","lineage":["https://openalex.org/I2699952"]}],"countries":["BR"],"is_corresponding":false,"raw_author_name":"Isela Macia","raw_affiliation_strings":["Pontifical Catholic University of Rio de Janeiro, Rio de Janeiro, Brazil","Pontifical Catholic University of Rio de Janeiro, Rio De Janeiro, Brazil#TAB#"],"affiliations":[{"raw_affiliation_string":"Pontifical Catholic University of Rio de Janeiro, Rio de Janeiro, Brazil","institution_ids":["https://openalex.org/I2699952"]},{"raw_affiliation_string":"Pontifical Catholic University of Rio de Janeiro, Rio De Janeiro, Brazil#TAB#","institution_ids":["https://openalex.org/I2699952"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":5,"corresponding_author_ids":["https://openalex.org/A5021885211"],"corresponding_institution_ids":["https://openalex.org/I31512782"],"apc_list":null,"apc_paid":null,"fwci":3.3662,"has_fulltext":false,"cited_by_count":10,"citation_normalized_percentile":{"value":0.92290835,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":89,"max":98},"biblio":{"volume":null,"issue":null,"first_page":"85","last_page":"96"},"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/T10260","display_name":"Software Engineering Research","score":0.9994999766349792,"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/T12127","display_name":"Software System Performance and Reliability","score":0.998199999332428,"subfield":{"id":"https://openalex.org/subfields/1705","display_name":"Computer Networks and Communications"},"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.8230714797973633},{"id":"https://openalex.org/keywords/correctness","display_name":"Correctness","score":0.7152966260910034},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.6762523055076599},{"id":"https://openalex.org/keywords/modular-design","display_name":"Modular design","score":0.608150064945221},{"id":"https://openalex.org/keywords/formalism","display_name":"Formalism (music)","score":0.4978950023651123},{"id":"https://openalex.org/keywords/model-checking","display_name":"Model checking","score":0.4613696336746216},{"id":"https://openalex.org/keywords/formal-specification","display_name":"Formal specification","score":0.4459366798400879},{"id":"https://openalex.org/keywords/software-engineering","display_name":"Software engineering","score":0.3733120560646057},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.3360744118690491}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8230714797973633},{"id":"https://openalex.org/C55439883","wikidata":"https://www.wikidata.org/wiki/Q360812","display_name":"Correctness","level":2,"score":0.7152966260910034},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.6762523055076599},{"id":"https://openalex.org/C101468663","wikidata":"https://www.wikidata.org/wiki/Q1620158","display_name":"Modular design","level":2,"score":0.608150064945221},{"id":"https://openalex.org/C73301696","wikidata":"https://www.wikidata.org/wiki/Q5469984","display_name":"Formalism (music)","level":3,"score":0.4978950023651123},{"id":"https://openalex.org/C110251889","wikidata":"https://www.wikidata.org/wiki/Q1569697","display_name":"Model checking","level":2,"score":0.4613696336746216},{"id":"https://openalex.org/C116253237","wikidata":"https://www.wikidata.org/wiki/Q1437424","display_name":"Formal specification","level":2,"score":0.4459366798400879},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.3733120560646057},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.3360744118690491},{"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/C558565934","wikidata":"https://www.wikidata.org/wiki/Q2743","display_name":"Musical","level":2,"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.1145/2451436.2451448","is_oa":false,"landing_page_url":"https://doi.org/10.1145/2451436.2451448","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 12th annual international conference on Aspect-oriented software development","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":34,"referenced_works":["https://openalex.org/W2622881","https://openalex.org/W576367677","https://openalex.org/W1485483288","https://openalex.org/W1514608804","https://openalex.org/W1551608458","https://openalex.org/W1554081253","https://openalex.org/W1588942736","https://openalex.org/W1589289166","https://openalex.org/W1617811580","https://openalex.org/W1649645444","https://openalex.org/W1969502877","https://openalex.org/W1993084949","https://openalex.org/W1993812635","https://openalex.org/W2005529410","https://openalex.org/W2021672791","https://openalex.org/W2037982415","https://openalex.org/W2072263294","https://openalex.org/W2077318760","https://openalex.org/W2087988340","https://openalex.org/W2089132965","https://openalex.org/W2105969922","https://openalex.org/W2110726411","https://openalex.org/W2116805092","https://openalex.org/W2118023438","https://openalex.org/W2140046464","https://openalex.org/W2141297162","https://openalex.org/W2148185800","https://openalex.org/W2148802839","https://openalex.org/W2151191515","https://openalex.org/W2156647953","https://openalex.org/W2162437868","https://openalex.org/W2169291221","https://openalex.org/W2997301681","https://openalex.org/W4232746323"],"related_works":["https://openalex.org/W108742494","https://openalex.org/W1764099364","https://openalex.org/W1977144985","https://openalex.org/W2623736020","https://openalex.org/W2142545871","https://openalex.org/W4288099681","https://openalex.org/W2119022020","https://openalex.org/W2556057931","https://openalex.org/W2139930485","https://openalex.org/W1749129787"],"abstract_inverted_index":{"Checking":[0],"a":[1,6,76,83,92,130],"software's":[2],"structural":[3],"dependencies":[4,90],"is":[5,110],"line":[7],"of":[8,21,26,38,43,52,64,85,94,105,146,149,152],"research":[9],"on":[10,35,46],"methods":[11],"and":[12,17,49,79,88,101,126],"tools":[13],"for":[14,112],"analyzing,":[15],"modeling":[16,54,113,132],"checking":[18],"the":[19,36,39,41,44,50,53,62,67,86,123,147,150,153],"conformance":[20],"source":[22],"code":[23],"w.r.t.":[24],"specifications":[25,58],"its":[27],"intended":[28],"static":[29,124],"structure.":[30],"Existing":[31],"approaches":[32,45],"have":[33],"focused":[34],"correctness":[37],"specification,":[40],"impact":[42],"software":[47],"quality":[48],"expressiveness":[51],"languages.":[55],"However,":[56],"large":[57],"become":[59],"unmaintainable":[60],"in":[61,129],"event":[63],"evolution":[65,148],"without":[66],"means":[68],"to":[69,122],"modularize":[70],"such":[71],"specifications.":[72],"We":[73],"present":[74],"Vespucci,":[75],"novel":[77],"approach":[78,109,137],"tool":[80],"that":[81],"partitions":[82],"specification":[84],"expected":[87],"allowed":[89],"into":[91],"set":[93],"cohesive":[95],"slices.":[96],"This":[97],"facilitates":[98],"modular":[99],"reasoning":[100],"helps":[102],"individual":[103],"maintenance":[104],"each":[106],"slice.":[107],"Our":[108],"suited":[111],"high-level":[114],"as":[115,117],"well":[116],"detailed":[118],"low-level":[119],"decisions":[120],"related":[121],"structure":[125],"combines":[127],"both":[128],"single":[131],"formalism.":[133],"To":[134],"evaluate":[135],"our":[136],"we":[138],"conducted":[139],"an":[140],"extensive":[141],"study":[142],"spanning":[143],"nine":[144],"years":[145],"architecture":[151],"object-relational":[154],"mapping":[155],"framework":[156],"Hibernate.":[157]},"counts_by_year":[{"year":2023,"cited_by_count":1},{"year":2021,"cited_by_count":1},{"year":2017,"cited_by_count":1},{"year":2016,"cited_by_count":2},{"year":2014,"cited_by_count":5}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}