{"id":"https://openalex.org/W2085238843","doi":"https://doi.org/10.1016/j.scico.2013.08.013","title":"Consistency of model transformation contracts","display_name":"Consistency of model transformation contracts","publication_year":2013,"publication_date":"2013-09-05","ids":{"openalex":"https://openalex.org/W2085238843","doi":"https://doi.org/10.1016/j.scico.2013.08.013","mag":"2085238843"},"language":"en","primary_location":{"id":"doi:10.1016/j.scico.2013.08.013","is_oa":false,"landing_page_url":"https://doi.org/10.1016/j.scico.2013.08.013","pdf_url":null,"source":{"id":"https://openalex.org/S21029587","display_name":"Science of Computer Programming","issn_l":"0167-6423","issn":["0167-6423","1872-7964"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310320990","host_organization_name":"Elsevier BV","host_organization_lineage":["https://openalex.org/P4310320990"],"host_organization_lineage_names":["Elsevier BV"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Science of Computer Programming","raw_type":"journal-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/A5015839427","display_name":"Christiano Braga","orcid":"https://orcid.org/0000-0003-1296-2007"},"institutions":[{"id":"https://openalex.org/I161127581","display_name":"Universidade Federal Fluminense","ror":"https://ror.org/02rjhbb08","country_code":"BR","type":"education","lineage":["https://openalex.org/I161127581"]}],"countries":["BR"],"is_corresponding":true,"raw_author_name":"Christiano Braga","raw_affiliation_strings":["ADDLabs, Universidade Federal Fluminense, Brazil","Instituto de Computa\u00e7\u00e3o, Universidade Federal Fluminense, Brazil"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"ADDLabs, Universidade Federal Fluminense, Brazil","institution_ids":["https://openalex.org/I161127581"]},{"raw_affiliation_string":"Instituto de Computa\u00e7\u00e3o, Universidade Federal Fluminense, Brazil","institution_ids":["https://openalex.org/I161127581"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5046872436","display_name":"C\u00e1ssio Souza dos Santos","orcid":null},"institutions":[{"id":"https://openalex.org/I161127581","display_name":"Universidade Federal Fluminense","ror":"https://ror.org/02rjhbb08","country_code":"BR","type":"education","lineage":["https://openalex.org/I161127581"]}],"countries":["BR"],"is_corresponding":false,"raw_author_name":"C\u00e1ssio Santos","raw_affiliation_strings":["ADDLabs, Universidade Federal Fluminense, Brazil","Instituto de Computa\u00e7\u00e3o, Universidade Federal Fluminense, Brazil"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"ADDLabs, Universidade Federal Fluminense, Brazil","institution_ids":["https://openalex.org/I161127581"]},{"raw_affiliation_string":"Instituto de Computa\u00e7\u00e3o, Universidade Federal Fluminense, Brazil","institution_ids":["https://openalex.org/I161127581"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5028591703","display_name":"Viviane Torres da Silva","orcid":"https://orcid.org/0000-0003-4669-7299"},"institutions":[{"id":"https://openalex.org/I161127581","display_name":"Universidade Federal Fluminense","ror":"https://ror.org/02rjhbb08","country_code":"BR","type":"education","lineage":["https://openalex.org/I161127581"]}],"countries":["BR"],"is_corresponding":false,"raw_author_name":"Viviane Torres da Silva","raw_affiliation_strings":["Instituto de Computa\u00e7\u00e3o, Universidade Federal Fluminense, Brazil"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Instituto de Computa\u00e7\u00e3o, Universidade Federal Fluminense, Brazil","institution_ids":["https://openalex.org/I161127581"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":["https://openalex.org/A5015839427"],"corresponding_institution_ids":["https://openalex.org/I161127581"],"apc_list":{"value":2460,"currency":"USD","value_usd":2460},"apc_paid":null,"fwci":0.6495,"has_fulltext":false,"cited_by_count":4,"citation_normalized_percentile":{"value":0.77956856,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":97},"biblio":{"volume":"92","issue":null,"first_page":"86","last_page":"104"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11450","display_name":"Model-Driven Software Engineering Techniques","score":0.9994999766349792,"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"}},"topics":[{"id":"https://openalex.org/T11450","display_name":"Model-Driven Software Engineering Techniques","score":0.9994999766349792,"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"}},{"id":"https://openalex.org/T10679","display_name":"Service-Oriented Architecture and Web Services","score":0.9987999796867371,"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/T10703","display_name":"Business Process Modeling and Analysis","score":0.9959999918937683,"subfield":{"id":"https://openalex.org/subfields/1404","display_name":"Management Information Systems"},"field":{"id":"https://openalex.org/fields/14","display_name":"Business, Management and Accounting"},"domain":{"id":"https://openalex.org/domains/2","display_name":"Social Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.8622400760650635},{"id":"https://openalex.org/keywords/model-transformation","display_name":"Model transformation","score":0.7844080924987793},{"id":"https://openalex.org/keywords/consistency","display_name":"Consistency (knowledge bases)","score":0.6585556268692017},{"id":"https://openalex.org/keywords/transformation","display_name":"Transformation (genetics)","score":0.6553142070770264},{"id":"https://openalex.org/keywords/software-engineering","display_name":"Software engineering","score":0.5040249228477478},{"id":"https://openalex.org/keywords/program-transformation","display_name":"Program transformation","score":0.4925163686275482},{"id":"https://openalex.org/keywords/process","display_name":"Process (computing)","score":0.4888731837272644},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.47637030482292175},{"id":"https://openalex.org/keywords/relation","display_name":"Relation (database)","score":0.4381556808948517},{"id":"https://openalex.org/keywords/generative-grammar","display_name":"Generative grammar","score":0.41860339045524597},{"id":"https://openalex.org/keywords/data-mining","display_name":"Data mining","score":0.24226760864257812},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.2268797755241394}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8622400760650635},{"id":"https://openalex.org/C2779791154","wikidata":"https://www.wikidata.org/wiki/Q258040","display_name":"Model transformation","level":3,"score":0.7844080924987793},{"id":"https://openalex.org/C2776436953","wikidata":"https://www.wikidata.org/wiki/Q5163215","display_name":"Consistency (knowledge bases)","level":2,"score":0.6585556268692017},{"id":"https://openalex.org/C204241405","wikidata":"https://www.wikidata.org/wiki/Q461499","display_name":"Transformation (genetics)","level":3,"score":0.6553142070770264},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.5040249228477478},{"id":"https://openalex.org/C2778361913","wikidata":"https://www.wikidata.org/wiki/Q7248437","display_name":"Program transformation","level":2,"score":0.4925163686275482},{"id":"https://openalex.org/C98045186","wikidata":"https://www.wikidata.org/wiki/Q205663","display_name":"Process (computing)","level":2,"score":0.4888731837272644},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.47637030482292175},{"id":"https://openalex.org/C25343380","wikidata":"https://www.wikidata.org/wiki/Q277521","display_name":"Relation (database)","level":2,"score":0.4381556808948517},{"id":"https://openalex.org/C39890363","wikidata":"https://www.wikidata.org/wiki/Q36108","display_name":"Generative grammar","level":2,"score":0.41860339045524597},{"id":"https://openalex.org/C124101348","wikidata":"https://www.wikidata.org/wiki/Q172491","display_name":"Data mining","level":1,"score":0.24226760864257812},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.2268797755241394},{"id":"https://openalex.org/C185592680","wikidata":"https://www.wikidata.org/wiki/Q2329","display_name":"Chemistry","level":0,"score":0.0},{"id":"https://openalex.org/C104317684","wikidata":"https://www.wikidata.org/wiki/Q7187","display_name":"Gene","level":2,"score":0.0},{"id":"https://openalex.org/C55493867","wikidata":"https://www.wikidata.org/wiki/Q7094","display_name":"Biochemistry","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1016/j.scico.2013.08.013","is_oa":false,"landing_page_url":"https://doi.org/10.1016/j.scico.2013.08.013","pdf_url":null,"source":{"id":"https://openalex.org/S21029587","display_name":"Science of Computer Programming","issn_l":"0167-6423","issn":["0167-6423","1872-7964"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310320990","host_organization_name":"Elsevier BV","host_organization_lineage":["https://openalex.org/P4310320990"],"host_organization_lineage_names":["Elsevier BV"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Science of Computer Programming","raw_type":"journal-article"}],"best_oa_location":null,"sustainable_development_goals":[{"display_name":"Industry, innovation and infrastructure","id":"https://metadata.un.org/sdg/9","score":0.5400000214576721}],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":39,"referenced_works":["https://openalex.org/W34866348","https://openalex.org/W145421520","https://openalex.org/W146458024","https://openalex.org/W162163593","https://openalex.org/W1487851792","https://openalex.org/W1511832825","https://openalex.org/W1519151404","https://openalex.org/W1527115930","https://openalex.org/W1542417898","https://openalex.org/W1555563750","https://openalex.org/W1639950690","https://openalex.org/W1850641574","https://openalex.org/W1955456485","https://openalex.org/W1963887709","https://openalex.org/W2010173096","https://openalex.org/W2025802968","https://openalex.org/W2028884783","https://openalex.org/W2041837218","https://openalex.org/W2055287943","https://openalex.org/W2076990838","https://openalex.org/W2119284483","https://openalex.org/W2122531989","https://openalex.org/W2122693579","https://openalex.org/W2130943191","https://openalex.org/W2131566236","https://openalex.org/W2506766447","https://openalex.org/W3183224878","https://openalex.org/W4285719527","https://openalex.org/W6601431869","https://openalex.org/W6605979307","https://openalex.org/W6606556436","https://openalex.org/W6628930740","https://openalex.org/W6631125290","https://openalex.org/W6631663534","https://openalex.org/W6636817875","https://openalex.org/W6638969040","https://openalex.org/W6640746436","https://openalex.org/W6657923995","https://openalex.org/W6725351625"],"related_works":["https://openalex.org/W2364400229","https://openalex.org/W1988613072","https://openalex.org/W2157133118","https://openalex.org/W2159183434","https://openalex.org/W2083001816","https://openalex.org/W2381039361","https://openalex.org/W2367221173","https://openalex.org/W2178641308","https://openalex.org/W2351484374","https://openalex.org/W2168204328"],"abstract_inverted_index":null,"counts_by_year":[{"year":2026,"cited_by_count":1},{"year":2025,"cited_by_count":1},{"year":2021,"cited_by_count":1},{"year":2015,"cited_by_count":1}],"updated_date":"2026-07-19T07:52:34.831488","created_date":"2025-10-10T00:00:00"}
