{"id":"https://openalex.org/W2912752727","doi":"https://doi.org/10.3384/ecp19157277","title":"Modelica language extensions for practical non-monotonic modelling: on the need for selective model extension","display_name":"Modelica language extensions for practical non-monotonic modelling: on the need for selective model extension","publication_year":2019,"publication_date":"2019-02-01","ids":{"openalex":"https://openalex.org/W2912752727","doi":"https://doi.org/10.3384/ecp19157277","mag":"2912752727"},"language":"en","primary_location":{"id":"doi:10.3384/ecp19157277","is_oa":true,"landing_page_url":"https://doi.org/10.3384/ecp19157277","pdf_url":"http://www.ep.liu.se/ecp/157/029/ecp19157029.pdf","source":{"id":"https://openalex.org/S4220651186","display_name":"Link\u00f6ping electronic conference proceedings","issn_l":"1650-3686","issn":["1650-3686","1650-3740"],"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/P4310317096","host_organization_name":"Link\u00f6ping University Electronic Press","host_organization_lineage":["https://openalex.org/P4310317096"],"host_organization_lineage_names":["Link\u00f6ping University Electronic Press"],"type":"conference"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Link\u00f6ping Electronic Conference Proceedings","raw_type":"proceedings-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"bronze","oa_url":"http://www.ep.liu.se/ecp/157/029/ecp19157029.pdf","any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5000900246","display_name":"Christoff B\u00fcrger","orcid":null},"institutions":[],"countries":[],"is_corresponding":true,"raw_author_name":"Christoff B\u00fcrger","raw_affiliation_strings":["Dassault Syst\u00e8mes AB, Sweden,"],"affiliations":[{"raw_affiliation_string":"Dassault Syst\u00e8mes AB, Sweden,","institution_ids":[]}]}],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":1,"corresponding_author_ids":["https://openalex.org/A5000900246"],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":true,"cited_by_count":0,"citation_normalized_percentile":{"value":0.0,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":"157","issue":null,"first_page":"277","last_page":"288"},"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.9987999796867371,"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.9987999796867371,"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.9986000061035156,"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/T13286","display_name":"Modeling and Simulation Systems","score":0.9937999844551086,"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/modelica","display_name":"Modelica","score":0.979854166507721},{"id":"https://openalex.org/keywords/extension","display_name":"Extension (predicate logic)","score":0.861613392829895},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.7393579483032227},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.6099832057952881},{"id":"https://openalex.org/keywords/monotonic-function","display_name":"Monotonic function","score":0.5283929705619812},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.397561252117157},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.14584136009216309}],"concepts":[{"id":"https://openalex.org/C37785467","wikidata":"https://www.wikidata.org/wiki/Q385325","display_name":"Modelica","level":2,"score":0.979854166507721},{"id":"https://openalex.org/C2778029271","wikidata":"https://www.wikidata.org/wiki/Q5421931","display_name":"Extension (predicate logic)","level":2,"score":0.861613392829895},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7393579483032227},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.6099832057952881},{"id":"https://openalex.org/C72169020","wikidata":"https://www.wikidata.org/wiki/Q194404","display_name":"Monotonic function","level":2,"score":0.5283929705619812},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.397561252117157},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.14584136009216309},{"id":"https://openalex.org/C134306372","wikidata":"https://www.wikidata.org/wiki/Q7754","display_name":"Mathematical analysis","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.3384/ecp19157277","is_oa":true,"landing_page_url":"https://doi.org/10.3384/ecp19157277","pdf_url":"http://www.ep.liu.se/ecp/157/029/ecp19157029.pdf","source":{"id":"https://openalex.org/S4220651186","display_name":"Link\u00f6ping electronic conference proceedings","issn_l":"1650-3686","issn":["1650-3686","1650-3740"],"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/P4310317096","host_organization_name":"Link\u00f6ping University Electronic Press","host_organization_lineage":["https://openalex.org/P4310317096"],"host_organization_lineage_names":["Link\u00f6ping University Electronic Press"],"type":"conference"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Link\u00f6ping Electronic Conference Proceedings","raw_type":"proceedings-article"}],"best_oa_location":{"id":"doi:10.3384/ecp19157277","is_oa":true,"landing_page_url":"https://doi.org/10.3384/ecp19157277","pdf_url":"http://www.ep.liu.se/ecp/157/029/ecp19157029.pdf","source":{"id":"https://openalex.org/S4220651186","display_name":"Link\u00f6ping electronic conference proceedings","issn_l":"1650-3686","issn":["1650-3686","1650-3740"],"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/P4310317096","host_organization_name":"Link\u00f6ping University Electronic Press","host_organization_lineage":["https://openalex.org/P4310317096"],"host_organization_lineage_names":["Link\u00f6ping University Electronic Press"],"type":"conference"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Link\u00f6ping Electronic Conference Proceedings","raw_type":"proceedings-article"},"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":true,"grobid_xml":true},"content_urls":{"pdf":"https://content.openalex.org/works/W2912752727.pdf","grobid_xml":"https://content.openalex.org/works/W2912752727.grobid-xml"},"referenced_works_count":5,"referenced_works":["https://openalex.org/W1965132535","https://openalex.org/W1991604845","https://openalex.org/W2107027541","https://openalex.org/W2138387375","https://openalex.org/W2499711114"],"related_works":["https://openalex.org/W2357836719","https://openalex.org/W2387860042","https://openalex.org/W2352924432","https://openalex.org/W281208081","https://openalex.org/W2331379850","https://openalex.org/W4309556325","https://openalex.org/W4309834090","https://openalex.org/W1577074301","https://openalex.org/W2377169542","https://openalex.org/W2295354872"],"abstract_inverted_index":{"A":[0],"Modelica":[1,46],"language":[2],"extension":[3,86],"for":[4,31,37,83],"structural":[5],"nonmonotonic":[6],"model":[7,14,67,85],"variation":[8],"is":[9,40,50,77],"presented.":[10],"It":[11],"enables":[12],"selective":[13,84],"extension:":[15],"the":[16,43],"well-defined":[17],"refinement":[18],"of":[19,27,45],"models":[20,62],"by":[21,42],"deselecting":[22],"components":[23],"and":[24],"connections":[25],"not":[26],"interest":[28],"or":[29],"inappropriate":[30],"a":[32],"new":[33],"design.":[34],"The":[35],"need":[36],"such":[38],"variations":[39],"explained":[41],"example":[44],"Synchronous,":[47],"whose":[48],"adaptation":[49],"suffering":[51],"from":[52],"crosscutting":[53],"synchronous":[54],"decompositions":[55],"that":[56],"cannot":[57],"be":[58,71],"anticipated":[59],"when":[60,73],"continuous":[61],"are":[63,87],"designed;":[64],"instead,":[65],"contradicting":[66],"structure":[68],"has":[69],"to":[70],"removed":[72],"an":[74],"actual":[75],"sampling":[76],"desired.":[78],"Besides":[79],"synchronous,":[80],"further":[81],"applications":[82],"investigated":[88],"using":[89],"our":[90],"prototype":[91],"implementation":[92],"in":[93],"Dymola.":[94]},"counts_by_year":[],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}