{"id":"https://openalex.org/W3097934831","doi":"https://doi.org/10.1145/3425898.3426958","title":"eFLINT: a domain-specific language for executable norm specifications","display_name":"eFLINT: a domain-specific language for executable norm specifications","publication_year":2020,"publication_date":"2020-11-16","ids":{"openalex":"https://openalex.org/W3097934831","doi":"https://doi.org/10.1145/3425898.3426958","mag":"3097934831"},"language":"en","primary_location":{"id":"doi:10.1145/3425898.3426958","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3425898.3426958","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 19th ACM SIGPLAN International Conference on Generative Programming: Concepts and Experiences","raw_type":"proceedings-article"},"type":"conference-paper","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://ir.cwi.nl/pub/29922/29922.pdf","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5062351836","display_name":"L. Thomas van Binsbergen","orcid":"https://orcid.org/0000-0001-8113-2221"},"institutions":[{"id":"https://openalex.org/I1341640284","display_name":"Centrum Wiskunde & Informatica","ror":"https://ror.org/00x7ekv49","country_code":"NL","type":"facility","lineage":["https://openalex.org/I1341640284","https://openalex.org/I2800991832","https://openalex.org/I4405262988"]}],"countries":["NL"],"is_corresponding":false,"raw_author_name":"L. Thomas van Binsbergen","raw_affiliation_strings":["CWI, Netherlands"],"raw_orcid":"https://orcid.org/0000-0001-8113-2221","affiliations":[{"raw_affiliation_string":"CWI, Netherlands","institution_ids":["https://openalex.org/I1341640284"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5055716130","display_name":"Lu-Chi Liu","orcid":null},"institutions":[{"id":"https://openalex.org/I887064364","display_name":"University of Amsterdam","ror":"https://ror.org/04dkp9463","country_code":"NL","type":"education","lineage":["https://openalex.org/I887064364"]}],"countries":["NL"],"is_corresponding":false,"raw_author_name":"Lu-Chi Liu","raw_affiliation_strings":["University of Amsterdam, Netherlands"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"University of Amsterdam, Netherlands","institution_ids":["https://openalex.org/I887064364"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5064619111","display_name":"Robert van Doesburg","orcid":"https://orcid.org/0000-0002-5367-4645"},"institutions":[{"id":"https://openalex.org/I887064364","display_name":"University of Amsterdam","ror":"https://ror.org/04dkp9463","country_code":"NL","type":"education","lineage":["https://openalex.org/I887064364"]}],"countries":["NL"],"is_corresponding":false,"raw_author_name":"Robert van Doesburg","raw_affiliation_strings":["Leibniz Institute, Netherlands / University of Amsterdam, Netherlands / TNO, Netherlands"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Leibniz Institute, Netherlands / University of Amsterdam, Netherlands / TNO, Netherlands","institution_ids":["https://openalex.org/I887064364"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5111494554","display_name":"Tom van Engers","orcid":null},"institutions":[{"id":"https://openalex.org/I887064364","display_name":"University of Amsterdam","ror":"https://ror.org/04dkp9463","country_code":"NL","type":"education","lineage":["https://openalex.org/I887064364"]}],"countries":["NL"],"is_corresponding":false,"raw_author_name":"Tom van Engers","raw_affiliation_strings":["Leibniz Institute, Netherlands / University of Amsterdam, Netherlands / TNO, Netherlands"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Leibniz Institute, Netherlands / University of Amsterdam, Netherlands / TNO, Netherlands","institution_ids":["https://openalex.org/I887064364"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":2,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":null,"has_fulltext":false,"cited_by_count":40,"citation_normalized_percentile":null,"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":"124","last_page":"136"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10703","display_name":"Business Process Modeling and Analysis","score":0.9951000213623047,"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"}},"topics":[{"id":"https://openalex.org/T10703","display_name":"Business Process Modeling and Analysis","score":0.9951000213623047,"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/T10639","display_name":"Advanced Software Engineering Methodologies","score":0.9937999844551086,"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/T10927","display_name":"Access Control and Trust","score":0.9914000034332275,"subfield":{"id":"https://openalex.org/subfields/3312","display_name":"Sociology and Political Science"},"field":{"id":"https://openalex.org/fields/33","display_name":"Social Sciences"},"domain":{"id":"https://openalex.org/domains/2","display_name":"Social Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/executable","display_name":"Executable","score":0.889134407043457},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.6989777684211731},{"id":"https://openalex.org/keywords/enforcement","display_name":"Enforcement","score":0.6800960302352905},{"id":"https://openalex.org/keywords/software-engineering","display_name":"Software engineering","score":0.5597652792930603},{"id":"https://openalex.org/keywords/embedding","display_name":"Embedding","score":0.5416352152824402},{"id":"https://openalex.org/keywords/software","display_name":"Software","score":0.5148762464523315},{"id":"https://openalex.org/keywords/norm","display_name":"Norm (philosophy)","score":0.48320090770721436},{"id":"https://openalex.org/keywords/domain","display_name":"Domain (mathematical analysis)","score":0.4576011002063751},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.44823122024536133},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.08505386114120483},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.0820549726486206}],"concepts":[{"id":"https://openalex.org/C160145156","wikidata":"https://www.wikidata.org/wiki/Q778586","display_name":"Executable","level":2,"score":0.889134407043457},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6989777684211731},{"id":"https://openalex.org/C2779777834","wikidata":"https://www.wikidata.org/wiki/Q4202277","display_name":"Enforcement","level":2,"score":0.6800960302352905},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.5597652792930603},{"id":"https://openalex.org/C41608201","wikidata":"https://www.wikidata.org/wiki/Q980509","display_name":"Embedding","level":2,"score":0.5416352152824402},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.5148762464523315},{"id":"https://openalex.org/C191795146","wikidata":"https://www.wikidata.org/wiki/Q3878446","display_name":"Norm (philosophy)","level":2,"score":0.48320090770721436},{"id":"https://openalex.org/C36503486","wikidata":"https://www.wikidata.org/wiki/Q11235244","display_name":"Domain (mathematical analysis)","level":2,"score":0.4576011002063751},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.44823122024536133},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.08505386114120483},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.0820549726486206},{"id":"https://openalex.org/C17744445","wikidata":"https://www.wikidata.org/wiki/Q36442","display_name":"Political science","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/C199539241","wikidata":"https://www.wikidata.org/wiki/Q7748","display_name":"Law","level":1,"score":0.0}],"mesh":[],"locations_count":5,"locations":[{"id":"doi:10.1145/3425898.3426958","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3425898.3426958","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 19th ACM SIGPLAN International Conference on Generative Programming: Concepts and Experiences","raw_type":"proceedings-article"},{"id":"pmh:oai:cwi.nl:29922","is_oa":true,"landing_page_url":"https://ir.cwi.nl/pub/29922","pdf_url":"https://ir.cwi.nl/pub/29922/29922.pdf","source":{"id":"https://openalex.org/S7407055335","display_name":"Centrum Wiskunde & Informatica (CWI), the national research institute for mathematics and computer science in the Netherlands","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"info:eu-repo/semantics/conferenceObject"},{"id":"pmh:oai:dare.uva.nl:openaire_cris_publications/bb19cb35-c43e-4d70-81c9-8b6d3bdaa091","is_oa":false,"landing_page_url":"https://handle.uba.uva.nl/personal/pure/en/publications/eflint-a-domainspecific-language-for-executable-norm-specifications(bb19cb35-c43e-4d70-81c9-8b6d3bdaa091).html","pdf_url":null,"source":{"id":"https://openalex.org/S4306400088","display_name":"UvA-DARE (University of Amsterdam)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I887064364","host_organization_name":"University of Amsterdam","host_organization_lineage":["https://openalex.org/I887064364"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"info:eu-repo/semantics/conferenceObject"},{"id":"pmh:oai:dare.uva.nl:publications/bb19cb35-c43e-4d70-81c9-8b6d3bdaa091","is_oa":false,"landing_page_url":"http://hdl.handle.net/11245.1/bb19cb35-c43e-4d70-81c9-8b6d3bdaa091","pdf_url":null,"source":{"id":"https://openalex.org/S4306400088","display_name":"UvA-DARE (University of Amsterdam)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I887064364","host_organization_name":"University of Amsterdam","host_organization_lineage":["https://openalex.org/I887064364"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"info:eu-repo/semantics/conferenceObject"},{"id":"pmh:uvapub:oai:dare.uva.nl:publications/bb19cb35-c43e-4d70-81c9-8b6d3bdaa091","is_oa":false,"landing_page_url":"https://dare.uva.nl/personal/pure/en/publications/eflint-a-domainspecific-language-for-executable-norm-specifications(bb19cb35-c43e-4d70-81c9-8b6d3bdaa091).html","pdf_url":null,"source":{"id":"https://openalex.org/S4306401843","display_name":"Data Archiving and Networked Services (DANS)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I1322597698","host_organization_name":"Royal Netherlands Academy of Arts and Sciences","host_organization_lineage":["https://openalex.org/I1322597698"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"GPCE '20: proceedings of the 19th ACM SIGPLAN International Conference on Generative Programming: Concepts and Experiences : November 16-17, 2020, Virtual, USA, 124 - 136","raw_type":"info:eu-repo/semantics/conferencepaper"}],"best_oa_location":{"id":"pmh:oai:cwi.nl:29922","is_oa":true,"landing_page_url":"https://ir.cwi.nl/pub/29922","pdf_url":"https://ir.cwi.nl/pub/29922/29922.pdf","source":{"id":"https://openalex.org/S7407055335","display_name":"Centrum Wiskunde & Informatica (CWI), the national research institute for mathematics and computer science in the Netherlands","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"info:eu-repo/semantics/conferenceObject"},"sustainable_development_goals":[],"awards":[{"id":"https://openalex.org/G4803683618","display_name":"Secure scalable policy-enforced distributed data processing","funder_award_id":"628.009.014","funder_id":"https://openalex.org/F4320321800","funder_display_name":"Nederlandse Organisatie voor Wetenschappelijk Onderzoek"}],"funders":[{"id":"https://openalex.org/F4320321800","display_name":"Nederlandse Organisatie voor Wetenschappelijk Onderzoek","ror":"https://ror.org/04jsz6e67"}],"has_content":{"pdf":true,"grobid_xml":false},"content_urls":{"pdf":"https://content.openalex.org/works/W3097934831.pdf"},"referenced_works_count":30,"referenced_works":["https://openalex.org/W127959065","https://openalex.org/W1969344535","https://openalex.org/W2012280568","https://openalex.org/W2038180015","https://openalex.org/W2046973337","https://openalex.org/W2056478193","https://openalex.org/W2099789029","https://openalex.org/W2131999424","https://openalex.org/W2142953387","https://openalex.org/W2146356111","https://openalex.org/W2151792486","https://openalex.org/W2518587964","https://openalex.org/W2624424081","https://openalex.org/W2734854252","https://openalex.org/W2779545291","https://openalex.org/W2794161035","https://openalex.org/W2888778171","https://openalex.org/W2899987233","https://openalex.org/W2914304911","https://openalex.org/W2936179637","https://openalex.org/W2971827371","https://openalex.org/W3013897070","https://openalex.org/W3040098638","https://openalex.org/W3048021292","https://openalex.org/W3096400672","https://openalex.org/W3129696931","https://openalex.org/W3143775862","https://openalex.org/W3151748982","https://openalex.org/W4248175462","https://openalex.org/W4250371488"],"related_works":["https://openalex.org/W2350278424","https://openalex.org/W2071432835","https://openalex.org/W4299534542","https://openalex.org/W1628824497","https://openalex.org/W4239401009","https://openalex.org/W2053441600","https://openalex.org/W1990401748","https://openalex.org/W2141018266","https://openalex.org/W2143252774","https://openalex.org/W1520634300"],"abstract_inverted_index":{"Software":[0],"systems":[1,24],"that":[2],"share":[3],"potentially":[4],"sensitive":[5],"data":[6],"are":[7,25],"subjected":[8],"to":[9,22,27,48,59],"laws,":[10],"regulations,":[11],"policies":[12],"and/or":[13],"contracts.":[14],"The":[15],"monitoring,":[16],"control":[17],"and":[18,42,51],"enforcement":[19],"processes":[20,39],"applied":[21],"these":[23],"currently":[26],"a":[28,64],"large":[29],"extent":[30],"manual,":[31],"which":[32],"we":[33],"rather":[34],"automate":[35],"by":[36],"embedding":[37],"the":[38,68],"as":[40],"dedicated":[41],"adaptable":[43],"software":[44],"services":[45,58],"in":[46],"order":[47],"improve":[49],"efficiency":[50],"effectiveness.":[52],"This":[53],"approach":[54],"requires":[55],"such":[56],"regulatory":[57],"be":[60],"closely":[61],"aligned":[62],"with":[63],"formal":[65],"description":[66],"of":[67],"relevant":[69],"norms.":[70]},"counts_by_year":[{"year":2026,"cited_by_count":2},{"year":2025,"cited_by_count":11},{"year":2024,"cited_by_count":6},{"year":2023,"cited_by_count":6},{"year":2022,"cited_by_count":9},{"year":2021,"cited_by_count":3},{"year":2020,"cited_by_count":3}],"updated_date":"2026-07-19T07:52:34.831488","created_date":"2020-11-09T00:00:00"}