{"id":"https://openalex.org/W2149200211","doi":"https://doi.org/10.1145/1176887.1176896","title":"Towards a formal foundation for domain specific modeling languages","display_name":"Towards a formal foundation for domain specific modeling languages","publication_year":2006,"publication_date":"2006-01-01","ids":{"openalex":"https://openalex.org/W2149200211","doi":"https://doi.org/10.1145/1176887.1176896","mag":"2149200211"},"language":"en","primary_location":{"id":"doi:10.1145/1176887.1176896","is_oa":false,"landing_page_url":"https://doi.org/10.1145/1176887.1176896","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 6th ACM & IEEE International conference on Embedded software  - EMSOFT '06","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/A5111897571","display_name":"Ethan K. Jackson","orcid":null},"institutions":[{"id":"https://openalex.org/I200719446","display_name":"Vanderbilt University","ror":"https://ror.org/02vm5rt34","country_code":"US","type":"education","lineage":["https://openalex.org/I200719446"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Ethan K. Jackson","raw_affiliation_strings":["Vanderbilt University, Nashville, TN"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Vanderbilt University, Nashville, TN","institution_ids":["https://openalex.org/I200719446"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5013237840","display_name":"J\u00e1nos Sztipanovits","orcid":"https://orcid.org/0000-0002-8360-6299"},"institutions":[{"id":"https://openalex.org/I200719446","display_name":"Vanderbilt University","ror":"https://ror.org/02vm5rt34","country_code":"US","type":"education","lineage":["https://openalex.org/I200719446"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Janos Sztipanovits","raw_affiliation_strings":["Vanderbilt University, Nashville, TN"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Vanderbilt University, Nashville, TN","institution_ids":["https://openalex.org/I200719446"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":[],"corresponding_institution_ids":["https://openalex.org/I200719446"],"apc_list":null,"apc_paid":null,"fwci":null,"has_fulltext":false,"cited_by_count":41,"citation_normalized_percentile":null,"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":"53","last_page":"53"},"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.9998000264167786,"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.9998000264167786,"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/T10904","display_name":"Embedded Systems Design Techniques","score":0.9986000061035156,"subfield":{"id":"https://openalex.org/subfields/1708","display_name":"Hardware and Architecture"},"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/T10639","display_name":"Advanced Software Engineering Methodologies","score":0.9965000152587891,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/metamodeling","display_name":"Metamodeling","score":0.8405699729919434},{"id":"https://openalex.org/keywords/modeling-language","display_name":"Modeling language","score":0.7543277740478516},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.7195320129394531},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.5411580801010132},{"id":"https://openalex.org/keywords/reuse","display_name":"Reuse","score":0.519038736820221},{"id":"https://openalex.org/keywords/semantics","display_name":"Semantics (computer science)","score":0.514579713344574},{"id":"https://openalex.org/keywords/domain","display_name":"Domain (mathematical analysis)","score":0.4798252582550049},{"id":"https://openalex.org/keywords/software-engineering","display_name":"Software engineering","score":0.43932589888572693},{"id":"https://openalex.org/keywords/engineering","display_name":"Engineering","score":0.11823773384094238}],"concepts":[{"id":"https://openalex.org/C86610423","wikidata":"https://www.wikidata.org/wiki/Q1925081","display_name":"Metamodeling","level":2,"score":0.8405699729919434},{"id":"https://openalex.org/C179603123","wikidata":"https://www.wikidata.org/wiki/Q1941921","display_name":"Modeling language","level":3,"score":0.7543277740478516},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7195320129394531},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.5411580801010132},{"id":"https://openalex.org/C206588197","wikidata":"https://www.wikidata.org/wiki/Q846574","display_name":"Reuse","level":2,"score":0.519038736820221},{"id":"https://openalex.org/C184337299","wikidata":"https://www.wikidata.org/wiki/Q1437428","display_name":"Semantics (computer science)","level":2,"score":0.514579713344574},{"id":"https://openalex.org/C36503486","wikidata":"https://www.wikidata.org/wiki/Q11235244","display_name":"Domain (mathematical analysis)","level":2,"score":0.4798252582550049},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.43932589888572693},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.11823773384094238},{"id":"https://openalex.org/C134306372","wikidata":"https://www.wikidata.org/wiki/Q7754","display_name":"Mathematical analysis","level":1,"score":0.0},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.0},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.0},{"id":"https://openalex.org/C548081761","wikidata":"https://www.wikidata.org/wiki/Q180388","display_name":"Waste management","level":1,"score":0.0}],"mesh":[],"locations_count":3,"locations":[{"id":"doi:10.1145/1176887.1176896","is_oa":false,"landing_page_url":"https://doi.org/10.1145/1176887.1176896","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 6th ACM & IEEE International conference on Embedded software  - EMSOFT '06","raw_type":"proceedings-article"},{"id":"pmh:oai:CiteSeerX.psu:10.1.1.415.9626","is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.415.9626","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"http://www.cs.york.ac.uk/rts/docs/CODES-EMSOFT-CASES-2006/emsoft/p53.pdf","raw_type":"text"},{"id":"pmh:oai:CiteSeerX.psu:10.1.1.93.4010","is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.93.4010","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"http://research.microsoft.com/~ejackson/publications/emsoft06.pdf","raw_type":"text"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":15,"referenced_works":["https://openalex.org/W165540643","https://openalex.org/W170857486","https://openalex.org/W1516977875","https://openalex.org/W1557045817","https://openalex.org/W1559402073","https://openalex.org/W2072953737","https://openalex.org/W2087588854","https://openalex.org/W2098009157","https://openalex.org/W2119355229","https://openalex.org/W2130613334","https://openalex.org/W2134345746","https://openalex.org/W2150408604","https://openalex.org/W2153725539","https://openalex.org/W2574677321","https://openalex.org/W2886993400"],"related_works":["https://openalex.org/W84800322","https://openalex.org/W2896264134","https://openalex.org/W2904392730","https://openalex.org/W2043413206","https://openalex.org/W2129683845","https://openalex.org/W4367301008","https://openalex.org/W2803025100","https://openalex.org/W1515682169","https://openalex.org/W2020299477","https://openalex.org/W51745671"],"abstract_inverted_index":{"Embedded":[0],"system":[1,86],"design":[2,14,73],"is":[3],"inherently":[4],"domain":[5,30],"specific":[6,31],"and":[7,22,60,81,106,132],"typically":[8],"model":[9,18,23,50,128],"driven.":[10],"As":[11],"a":[12,71,101],"result,":[13],"methodologies":[15],"like":[16],"OMG\u2019s":[17],"driven":[19],"architecture":[20],"(MDA)":[21],"integrated":[24],"computing":[25],"(MIC)":[26],"evolved":[27],"to":[28,69,117,142],"support":[29],"modeling":[32],"languages":[33],"(DSMLs).":[34],"The":[35],"success":[36],"of":[37,48,55,62,84],"the":[38,45,67,79],"DSML":[39,63],"approach":[40,74],"has":[41],"encouraged":[42],"work":[43],"on":[44],"heterogeneous":[46],"composition":[47],"DSMLs,":[49,53,59],"transformations":[51,129],"between":[52],"approximations":[54],"formal":[56,102],"properties":[57],"within":[58,110],"reuse":[61],"semantics.":[64],"However,":[65],"in":[66],"effort":[68],"produce":[70],"mature":[72],"that":[75],"can":[76],"handle":[77],"both":[78],"structural":[80],"behavioral":[82],"semantics":[83],"embedded":[85,145],"design,":[87],"many":[88],"foundational":[89],"issues":[90],"concerning":[91],"DSMLs":[92,105,122],"have":[93,136],"been":[94],"overlooked.":[95],"In":[96],"this":[97],"paper":[98],"we":[99],"present":[100],"foundation":[103,114],"for":[104,107],"their":[108],"construction":[109],"metamodeling":[111,134],"frameworks.":[112],"This":[113],"allows":[115],"us":[116],"algorithmically":[118],"decide":[119],"if":[120,127,133],"two":[121],"or":[123],"metamodels":[124],"are":[125,140],"equivalent,":[126],"preserve":[130],"properties,":[131],"frameworks":[135],"meta-metamodels.":[137],"These":[138],"results":[139],"key":[141],"building":[143],"correct":[144],"systems":[146],"with":[147],"DSMLs.":[148]},"counts_by_year":[{"year":2024,"cited_by_count":1},{"year":2022,"cited_by_count":1},{"year":2021,"cited_by_count":4},{"year":2020,"cited_by_count":4},{"year":2019,"cited_by_count":2},{"year":2017,"cited_by_count":1},{"year":2016,"cited_by_count":1},{"year":2015,"cited_by_count":4},{"year":2014,"cited_by_count":1},{"year":2013,"cited_by_count":1},{"year":2012,"cited_by_count":4}],"updated_date":"2026-07-14T23:27:15.235271","created_date":"2025-10-10T00:00:00"}