{"id":"https://openalex.org/W2001893337","doi":"https://doi.org/10.1145/2541928.2541936","title":"Towards domain-specific property languages","display_name":"Towards domain-specific property languages","publication_year":2013,"publication_date":"2013-10-27","ids":{"openalex":"https://openalex.org/W2001893337","doi":"https://doi.org/10.1145/2541928.2541936","mag":"2001893337"},"language":"en","primary_location":{"id":"doi:10.1145/2541928.2541936","is_oa":false,"landing_page_url":"https://doi.org/10.1145/2541928.2541936","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 2013 ACM workshop on Domain-specific modeling","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/A5061961968","display_name":"Bart Meyers","orcid":"https://orcid.org/0000-0001-9566-8297"},"institutions":[{"id":"https://openalex.org/I149213910","display_name":"University of Antwerp","ror":"https://ror.org/008x57b05","country_code":"BE","type":"education","lineage":["https://openalex.org/I149213910"]}],"countries":["BE"],"is_corresponding":true,"raw_author_name":"Bart Meyers","raw_affiliation_strings":["University of Antwerp, Antwerpen, Belgium"],"affiliations":[{"raw_affiliation_string":"University of Antwerp, Antwerpen, Belgium","institution_ids":["https://openalex.org/I149213910"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5023093639","display_name":"Manuel Wimmer","orcid":"https://orcid.org/0000-0002-1124-7098"},"institutions":[{"id":"https://openalex.org/I145847075","display_name":"TU Wien","ror":"https://ror.org/04d836q62","country_code":"AT","type":"education","lineage":["https://openalex.org/I145847075"]}],"countries":["AT"],"is_corresponding":false,"raw_author_name":"Manuel Wimmer","raw_affiliation_strings":["Technische Universit\u00e4t Wien, Wien, Austria"],"affiliations":[{"raw_affiliation_string":"Technische Universit\u00e4t Wien, Wien, Austria","institution_ids":["https://openalex.org/I145847075"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5007007501","display_name":"Hans Vangheluwe","orcid":"https://orcid.org/0000-0003-2079-6643"},"institutions":[{"id":"https://openalex.org/I149213910","display_name":"University of Antwerp","ror":"https://ror.org/008x57b05","country_code":"BE","type":"education","lineage":["https://openalex.org/I149213910"]}],"countries":["BE"],"is_corresponding":false,"raw_author_name":"Hans Vangheluwe","raw_affiliation_strings":["University of Antwerp, Antwerpen, Belgium"],"affiliations":[{"raw_affiliation_string":"University of Antwerp, Antwerpen, Belgium","institution_ids":["https://openalex.org/I149213910"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5025706354","display_name":"Joachim Denil","orcid":"https://orcid.org/0000-0002-4926-6737"},"institutions":[{"id":"https://openalex.org/I5023651","display_name":"McGill University","ror":"https://ror.org/01pxwe438","country_code":"CA","type":"education","lineage":["https://openalex.org/I5023651"]}],"countries":["CA"],"is_corresponding":false,"raw_author_name":"Joachim Denil","raw_affiliation_strings":["McGill University, Montreal, PQ, Canada"],"affiliations":[{"raw_affiliation_string":"McGill University, Montreal, PQ, Canada","institution_ids":["https://openalex.org/I5023651"]}]}],"institutions":[],"countries_distinct_count":3,"institutions_distinct_count":4,"corresponding_author_ids":["https://openalex.org/A5061961968"],"corresponding_institution_ids":["https://openalex.org/I149213910"],"apc_list":null,"apc_paid":null,"fwci":2.9163,"has_fulltext":false,"cited_by_count":10,"citation_normalized_percentile":{"value":0.90268336,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":90,"max":98},"biblio":{"volume":null,"issue":null,"first_page":"39","last_page":"44"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11450","display_name":"Model-Driven Software Engineering Techniques","score":1.0,"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":1.0,"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/T10639","display_name":"Advanced Software Engineering Methodologies","score":0.996399998664856,"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.995199978351593,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.7013682126998901},{"id":"https://openalex.org/keywords/domain","display_name":"Domain (mathematical analysis)","score":0.6181530356407166},{"id":"https://openalex.org/keywords/property","display_name":"Property (philosophy)","score":0.6014581918716431},{"id":"https://openalex.org/keywords/space","display_name":"Space (punctuation)","score":0.5517673492431641},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.4914780855178833},{"id":"https://openalex.org/keywords/block","display_name":"Block (permutation group theory)","score":0.47995761036872864},{"id":"https://openalex.org/keywords/contradiction","display_name":"Contradiction","score":0.4258934259414673},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.3729611933231354},{"id":"https://openalex.org/keywords/systems-engineering","display_name":"Systems engineering","score":0.3707454204559326},{"id":"https://openalex.org/keywords/software-engineering","display_name":"Software engineering","score":0.337008535861969},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.17144060134887695},{"id":"https://openalex.org/keywords/engineering","display_name":"Engineering","score":0.11984574794769287}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7013682126998901},{"id":"https://openalex.org/C36503486","wikidata":"https://www.wikidata.org/wiki/Q11235244","display_name":"Domain (mathematical analysis)","level":2,"score":0.6181530356407166},{"id":"https://openalex.org/C189950617","wikidata":"https://www.wikidata.org/wiki/Q937228","display_name":"Property (philosophy)","level":2,"score":0.6014581918716431},{"id":"https://openalex.org/C2778572836","wikidata":"https://www.wikidata.org/wiki/Q380933","display_name":"Space (punctuation)","level":2,"score":0.5517673492431641},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.4914780855178833},{"id":"https://openalex.org/C2777210771","wikidata":"https://www.wikidata.org/wiki/Q4927124","display_name":"Block (permutation group theory)","level":2,"score":0.47995761036872864},{"id":"https://openalex.org/C2776728590","wikidata":"https://www.wikidata.org/wiki/Q363948","display_name":"Contradiction","level":2,"score":0.4258934259414673},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.3729611933231354},{"id":"https://openalex.org/C201995342","wikidata":"https://www.wikidata.org/wiki/Q682496","display_name":"Systems engineering","level":1,"score":0.3707454204559326},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.337008535861969},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.17144060134887695},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.11984574794769287},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.0},{"id":"https://openalex.org/C2524010","wikidata":"https://www.wikidata.org/wiki/Q8087","display_name":"Geometry","level":1,"score":0.0},{"id":"https://openalex.org/C138885662","wikidata":"https://www.wikidata.org/wiki/Q5891","display_name":"Philosophy","level":0,"score":0.0},{"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/C111472728","wikidata":"https://www.wikidata.org/wiki/Q9471","display_name":"Epistemology","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/2541928.2541936","is_oa":false,"landing_page_url":"https://doi.org/10.1145/2541928.2541936","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 2013 ACM workshop on Domain-specific modeling","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[{"score":0.4399999976158142,"id":"https://metadata.un.org/sdg/11","display_name":"Sustainable cities and communities"}],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":27,"referenced_works":["https://openalex.org/W10718265","https://openalex.org/W213389411","https://openalex.org/W1501121595","https://openalex.org/W1506818785","https://openalex.org/W1515217935","https://openalex.org/W1560224784","https://openalex.org/W1562948410","https://openalex.org/W1600045926","https://openalex.org/W1884819149","https://openalex.org/W1976080895","https://openalex.org/W1977237988","https://openalex.org/W1980702991","https://openalex.org/W1988613072","https://openalex.org/W1996832037","https://openalex.org/W2020034474","https://openalex.org/W2047213321","https://openalex.org/W2077793982","https://openalex.org/W2086358842","https://openalex.org/W2115309705","https://openalex.org/W2120735680","https://openalex.org/W2159720139","https://openalex.org/W2159958244","https://openalex.org/W2165203881","https://openalex.org/W2165548621","https://openalex.org/W2292915613","https://openalex.org/W2399834472","https://openalex.org/W2794251186"],"related_works":["https://openalex.org/W2381825231","https://openalex.org/W2377933838","https://openalex.org/W2348916262","https://openalex.org/W4210310594","https://openalex.org/W2330422317","https://openalex.org/W2354224618","https://openalex.org/W2354172502","https://openalex.org/W2391836570","https://openalex.org/W2361796009","https://openalex.org/W2392027916"],"abstract_inverted_index":{"Domain-specific":[0],"modeling":[1],"(DSM)":[2],"is":[3,64,95],"one":[4],"major":[5],"building":[6],"block":[7],"of":[8,29,37,43,46,53],"model-driven":[9],"engineering.":[10],"By":[11],"moving":[12],"from":[13],"the":[14,18,35,39,47,51,56,92],"solution":[15,93],"space":[16,94],"to":[17,34,77,91],"problem":[19],"space,":[20],"systems":[21,49],"are":[22,31,84],"designed":[23,48],"by":[24,50,67,73],"domain":[25],"experts.":[26],"The":[27],"benefits":[28],"DSM":[30,54,68],"not":[32],"unique":[33],"design":[36,75],"systems,":[38],"specification":[40],"and":[41,86],"verification":[42],"desired":[44],"properties":[45,83],"help":[52],"seems":[55],"next":[57],"logical":[58],"step.":[59],"However,":[60],"this":[61,89],"latter":[62],"aspect":[63],"often":[65],"neglected":[66],"approaches":[69],"or":[70],"only":[71],"supported":[72],"translating":[74],"models":[76],"formal":[78],"representations":[79],"on":[80],"which":[81],"temporal":[82],"defined":[85],"evaluated.":[87],"Obviously,":[88],"transition":[90],"in":[96],"contradiction":[97],"with":[98],"DSM.":[99]},"counts_by_year":[{"year":2019,"cited_by_count":1},{"year":2018,"cited_by_count":2},{"year":2017,"cited_by_count":1},{"year":2016,"cited_by_count":2},{"year":2014,"cited_by_count":4}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}