{"id":"https://openalex.org/W1987704972","doi":"https://doi.org/10.1145/2631675.2631678","title":"Towards Constraint-Based Model Types","display_name":"Towards Constraint-Based Model Types","publication_year":2014,"publication_date":"2014-07-11","ids":{"openalex":"https://openalex.org/W1987704972","doi":"https://doi.org/10.1145/2631675.2631678","mag":"1987704972"},"language":"en","primary_location":{"id":"doi:10.1145/2631675.2631678","is_oa":false,"landing_page_url":"https://doi.org/10.1145/2631675.2631678","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 2nd Workshop on View-Based, Aspect-Oriented and Orthographic Software Modelling","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/A5090213114","display_name":"Steffen Zschaler","orcid":"https://orcid.org/0000-0001-9062-6637"},"institutions":[{"id":"https://openalex.org/I183935753","display_name":"King's College London","ror":"https://ror.org/0220mzb33","country_code":"GB","type":"education","lineage":["https://openalex.org/I124357947","https://openalex.org/I183935753"]}],"countries":["GB"],"is_corresponding":true,"raw_author_name":"Steffen Zschaler","raw_affiliation_strings":["King's College London, Department of Informatics, London, UK","King's College London, Department of informatics, London, UK#TAB#"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"King's College London, Department of Informatics, London, UK","institution_ids":["https://openalex.org/I183935753"]},{"raw_affiliation_string":"King's College London, Department of informatics, London, UK#TAB#","institution_ids":["https://openalex.org/I183935753"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":["https://openalex.org/A5090213114"],"corresponding_institution_ids":["https://openalex.org/I183935753"],"apc_list":null,"apc_paid":null,"fwci":null,"has_fulltext":false,"cited_by_count":16,"citation_normalized_percentile":null,"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":"11","last_page":"18"},"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.9998999834060669,"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.9998999834060669,"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/T10703","display_name":"Business Process Modeling and Analysis","score":0.9962999820709229,"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"}},{"id":"https://openalex.org/T10679","display_name":"Service-Oriented Architecture and Web Services","score":0.9951000213623047,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/reusability","display_name":"Reusability","score":0.7864071130752563},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.7857375144958496},{"id":"https://openalex.org/keywords/principle-of-compositionality","display_name":"Principle of compositionality","score":0.6764184832572937},{"id":"https://openalex.org/keywords/constraint","display_name":"Constraint (computer-aided design)","score":0.6377618908882141},{"id":"https://openalex.org/keywords/software-engineering","display_name":"Software engineering","score":0.535767138004303},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.5074328780174255},{"id":"https://openalex.org/keywords/popularity","display_name":"Popularity","score":0.47433653473854065},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.42672866582870483},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.294808030128479},{"id":"https://openalex.org/keywords/engineering","display_name":"Engineering","score":0.11095243692398071},{"id":"https://openalex.org/keywords/software","display_name":"Software","score":0.08216521143913269}],"concepts":[{"id":"https://openalex.org/C137981799","wikidata":"https://www.wikidata.org/wiki/Q1369184","display_name":"Reusability","level":3,"score":0.7864071130752563},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7857375144958496},{"id":"https://openalex.org/C121375916","wikidata":"https://www.wikidata.org/wiki/Q936559","display_name":"Principle of compositionality","level":2,"score":0.6764184832572937},{"id":"https://openalex.org/C2776036281","wikidata":"https://www.wikidata.org/wiki/Q48769818","display_name":"Constraint (computer-aided design)","level":2,"score":0.6377618908882141},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.535767138004303},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.5074328780174255},{"id":"https://openalex.org/C2780586970","wikidata":"https://www.wikidata.org/wiki/Q1357284","display_name":"Popularity","level":2,"score":0.47433653473854065},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.42672866582870483},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.294808030128479},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.11095243692398071},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.08216521143913269},{"id":"https://openalex.org/C15744967","wikidata":"https://www.wikidata.org/wiki/Q9418","display_name":"Psychology","level":0,"score":0.0},{"id":"https://openalex.org/C77805123","wikidata":"https://www.wikidata.org/wiki/Q161272","display_name":"Social psychology","level":1,"score":0.0},{"id":"https://openalex.org/C78519656","wikidata":"https://www.wikidata.org/wiki/Q101333","display_name":"Mechanical engineering","level":1,"score":0.0}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1145/2631675.2631678","is_oa":false,"landing_page_url":"https://doi.org/10.1145/2631675.2631678","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 2nd Workshop on View-Based, Aspect-Oriented and Orthographic Software Modelling","raw_type":"proceedings-article"},{"id":"pmh:oai:kclpure.kcl.ac.uk:publications/555e25a7-01c8-43af-bed7-e0a3187a47ff","is_oa":false,"landing_page_url":"https://kclpure.kcl.ac.uk/portal/en/publications/555e25a7-01c8-43af-bed7-e0a3187a47ff","pdf_url":null,"source":{"id":"https://openalex.org/S4306400216","display_name":"Research Portal (King's College London)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I183935753","host_organization_name":"King's College London","host_organization_lineage":["https://openalex.org/I183935753"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Zschaler, S 2014, Towards Constraint-Based Model Types : A Generalised Formal Foundation for Model Genericity. in Proceedings of the 2nd Workshop on View-Based, Aspect-Oriented and Orthographic Software Modelling. New York, 2nd Workshop on View-Based, Aspect-Oriented and Orthographic Software Modelling, L'Aquila, Italy, 21/07/2015. https://doi.org/10.1145/2631675.2631678","raw_type":"info:eu-repo/semantics/publishedVersion"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":21,"referenced_works":["https://openalex.org/W58278156","https://openalex.org/W113986140","https://openalex.org/W1482171176","https://openalex.org/W1510777893","https://openalex.org/W1547552450","https://openalex.org/W1570783276","https://openalex.org/W1573769547","https://openalex.org/W1978229553","https://openalex.org/W1993524967","https://openalex.org/W1998527284","https://openalex.org/W2007710937","https://openalex.org/W2021113245","https://openalex.org/W2035761218","https://openalex.org/W2040711135","https://openalex.org/W2096104128","https://openalex.org/W2134573148","https://openalex.org/W2147154474","https://openalex.org/W2149925406","https://openalex.org/W2211096929","https://openalex.org/W2464798432","https://openalex.org/W2986585221"],"related_works":["https://openalex.org/W2368605798","https://openalex.org/W3095531775","https://openalex.org/W4282938614","https://openalex.org/W1526190050","https://openalex.org/W4251923961","https://openalex.org/W2477397717","https://openalex.org/W2518037665","https://openalex.org/W2010490241","https://openalex.org/W2500457737","https://openalex.org/W4287025733"],"abstract_inverted_index":{"With":[0],"the":[1,31,52],"increasing":[2],"popularity":[3],"of":[4,10,21,35],"model-driven":[5],"engineering,":[6],"reusability":[7],"and":[8,33],"compositionality":[9],"model-management":[11],"operations,":[12],"including":[13],"model":[14],"transformations,":[15],"becomes":[16],"more":[17],"important.":[18],"One":[19],"way":[20],"addressing":[22],"this":[23],"problem":[24],"is":[25,56],"through":[26],"generic":[27],"typing":[28],"mechanisms":[29,49],"for":[30,46],"parameters":[32],"outputs":[34],"such":[36,47],"operations---essentially,":[37],"introducing":[38],"operation-specific":[39],"views.":[40],"There":[41],"are":[42,64,69],"two":[43],"competing":[44],"proposals":[45],"type":[48],"available":[50],"in":[51],"literature.":[53],"However,":[54],"it":[55],"not":[57],"clear":[58],"how":[59],"they":[60,63,68],"compare,":[61],"whether":[62],"complete":[65],"or":[66],"if":[67],"indeed":[70],"correct.":[71]},"counts_by_year":[{"year":2022,"cited_by_count":1},{"year":2019,"cited_by_count":3},{"year":2018,"cited_by_count":2},{"year":2017,"cited_by_count":4},{"year":2016,"cited_by_count":2},{"year":2015,"cited_by_count":4}],"updated_date":"2026-07-14T23:27:15.235271","created_date":"2025-10-10T00:00:00"}