{"id":"https://openalex.org/W3193459240","doi":"https://doi.org/10.1145/3468264.3468587","title":"AlloyMax: bringing maximum satisfaction to relational specifications","display_name":"AlloyMax: bringing maximum satisfaction to relational specifications","publication_year":2021,"publication_date":"2021-08-18","ids":{"openalex":"https://openalex.org/W3193459240","doi":"https://doi.org/10.1145/3468264.3468587","mag":"3193459240"},"language":"en","primary_location":{"id":"doi:10.1145/3468264.3468587","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3468264.3468587","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3468264.3468587","source":null,"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 29th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering","raw_type":"proceedings-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"gold","oa_url":"https://dl.acm.org/doi/pdf/10.1145/3468264.3468587","any_repository_has_fulltext":null},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5085910950","display_name":"Changjian Zhang","orcid":"https://orcid.org/0000-0003-1689-6633"},"institutions":[{"id":"https://openalex.org/I74973139","display_name":"Carnegie Mellon University","ror":"https://ror.org/05x2bcf33","country_code":"US","type":"education","lineage":["https://openalex.org/I74973139"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Changjian Zhang","raw_affiliation_strings":["Carnegie Mellon University, USA"],"raw_orcid":"https://orcid.org/0000-0003-1689-6633","affiliations":[{"raw_affiliation_string":"Carnegie Mellon University, USA","institution_ids":["https://openalex.org/I74973139"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5050838288","display_name":"R. Harrison Wagner","orcid":"https://orcid.org/0000-0001-7823-2344"},"institutions":[{"id":"https://openalex.org/I74973139","display_name":"Carnegie Mellon University","ror":"https://ror.org/05x2bcf33","country_code":"US","type":"education","lineage":["https://openalex.org/I74973139"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Ryan Wagner","raw_affiliation_strings":["Carnegie Mellon University, USA"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Carnegie Mellon University, USA","institution_ids":["https://openalex.org/I74973139"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5082828525","display_name":"Pedro Orvalho","orcid":"https://orcid.org/0000-0002-7407-5967"},"institutions":[{"id":"https://openalex.org/I121345201","display_name":"Instituto de Engenharia de Sistemas e Computadores Investiga\u00e7\u00e3o e Desenvolvimento","ror":"https://ror.org/04mqy3p58","country_code":"PT","type":"nonprofit","lineage":["https://openalex.org/I121345201","https://openalex.org/I4210125590"]},{"id":"https://openalex.org/I141596103","display_name":"University of Lisbon","ror":"https://ror.org/01c27hj86","country_code":"PT","type":"education","lineage":["https://openalex.org/I141596103"]}],"countries":["PT"],"is_corresponding":false,"raw_author_name":"Pedro Orvalho","raw_affiliation_strings":["INESC-ID, Portugal / University of Lisbon, Portugal"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"INESC-ID, Portugal / University of Lisbon, Portugal","institution_ids":["https://openalex.org/I121345201","https://openalex.org/I141596103"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5045020317","display_name":"David Garlan","orcid":"https://orcid.org/0000-0002-6735-8301"},"institutions":[{"id":"https://openalex.org/I74973139","display_name":"Carnegie Mellon University","ror":"https://ror.org/05x2bcf33","country_code":"US","type":"education","lineage":["https://openalex.org/I74973139"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"David Garlan","raw_affiliation_strings":["Carnegie Mellon University, USA"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Carnegie Mellon University, USA","institution_ids":["https://openalex.org/I74973139"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5033377932","display_name":"Vasco Manquinho","orcid":"https://orcid.org/0000-0002-4205-2189"},"institutions":[{"id":"https://openalex.org/I121345201","display_name":"Instituto de Engenharia de Sistemas e Computadores Investiga\u00e7\u00e3o e Desenvolvimento","ror":"https://ror.org/04mqy3p58","country_code":"PT","type":"nonprofit","lineage":["https://openalex.org/I121345201","https://openalex.org/I4210125590"]},{"id":"https://openalex.org/I141596103","display_name":"University of Lisbon","ror":"https://ror.org/01c27hj86","country_code":"PT","type":"education","lineage":["https://openalex.org/I141596103"]}],"countries":["PT"],"is_corresponding":false,"raw_author_name":"Vasco Manquinho","raw_affiliation_strings":["INESC-ID, Portugal / University of Lisbon, Portugal"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"INESC-ID, Portugal / University of Lisbon, Portugal","institution_ids":["https://openalex.org/I121345201","https://openalex.org/I141596103"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5101995804","display_name":"Ruben Martins","orcid":"https://orcid.org/0000-0003-1525-1382"},"institutions":[{"id":"https://openalex.org/I74973139","display_name":"Carnegie Mellon University","ror":"https://ror.org/05x2bcf33","country_code":"US","type":"education","lineage":["https://openalex.org/I74973139"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Ruben Martins","raw_affiliation_strings":["Carnegie Mellon University, USA"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Carnegie Mellon University, USA","institution_ids":["https://openalex.org/I74973139"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5044511705","display_name":"Eunsuk Kang","orcid":"https://orcid.org/0000-0001-7891-6885"},"institutions":[{"id":"https://openalex.org/I74973139","display_name":"Carnegie Mellon University","ror":"https://ror.org/05x2bcf33","country_code":"US","type":"education","lineage":["https://openalex.org/I74973139"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Eunsuk Kang","raw_affiliation_strings":["Carnegie Mellon University, USA"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Carnegie Mellon University, USA","institution_ids":["https://openalex.org/I74973139"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":7,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":0.6995,"has_fulltext":true,"cited_by_count":10,"citation_normalized_percentile":{"value":0.76375368,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":90,"max":98},"biblio":{"volume":null,"issue":null,"first_page":"155","last_page":"167"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10639","display_name":"Advanced Software Engineering Methodologies","score":0.9997000098228455,"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"}},"topics":[{"id":"https://openalex.org/T10639","display_name":"Advanced Software Engineering Methodologies","score":0.9997000098228455,"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/T10679","display_name":"Service-Oriented Architecture and Web Services","score":0.9997000098228455,"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"}},{"id":"https://openalex.org/T10772","display_name":"Distributed systems and fault tolerance","score":0.9993000030517578,"subfield":{"id":"https://openalex.org/subfields/1705","display_name":"Computer Networks and Communications"},"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.7391738891601562},{"id":"https://openalex.org/keywords/constraint-satisfaction-problem","display_name":"Constraint satisfaction problem","score":0.6561293601989746},{"id":"https://openalex.org/keywords/constraint","display_name":"Constraint (computer-aided design)","score":0.47639504075050354},{"id":"https://openalex.org/keywords/relational-calculus","display_name":"Relational calculus","score":0.4665617048740387},{"id":"https://openalex.org/keywords/relational-database","display_name":"Relational database","score":0.45000624656677246},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.44828853011131287},{"id":"https://openalex.org/keywords/range","display_name":"Range (aeronautics)","score":0.43121084570884705},{"id":"https://openalex.org/keywords/constraint-satisfaction","display_name":"Constraint satisfaction","score":0.4198642075061798},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.3841375410556793},{"id":"https://openalex.org/keywords/relational-model","display_name":"Relational model","score":0.3717540502548218},{"id":"https://openalex.org/keywords/data-mining","display_name":"Data mining","score":0.1559431254863739},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.12182670831680298},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.11709645390510559},{"id":"https://openalex.org/keywords/engineering","display_name":"Engineering","score":0.10724174976348877}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7391738891601562},{"id":"https://openalex.org/C199622910","wikidata":"https://www.wikidata.org/wiki/Q1128326","display_name":"Constraint satisfaction problem","level":3,"score":0.6561293601989746},{"id":"https://openalex.org/C2776036281","wikidata":"https://www.wikidata.org/wiki/Q48769818","display_name":"Constraint (computer-aided design)","level":2,"score":0.47639504075050354},{"id":"https://openalex.org/C99436015","wikidata":"https://www.wikidata.org/wiki/Q1722436","display_name":"Relational calculus","level":4,"score":0.4665617048740387},{"id":"https://openalex.org/C5655090","wikidata":"https://www.wikidata.org/wiki/Q192588","display_name":"Relational database","level":2,"score":0.45000624656677246},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.44828853011131287},{"id":"https://openalex.org/C204323151","wikidata":"https://www.wikidata.org/wiki/Q905424","display_name":"Range (aeronautics)","level":2,"score":0.43121084570884705},{"id":"https://openalex.org/C44616089","wikidata":"https://www.wikidata.org/wiki/Q30158686","display_name":"Constraint satisfaction","level":3,"score":0.4198642075061798},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.3841375410556793},{"id":"https://openalex.org/C40207289","wikidata":"https://www.wikidata.org/wiki/Q755662","display_name":"Relational model","level":3,"score":0.3717540502548218},{"id":"https://openalex.org/C124101348","wikidata":"https://www.wikidata.org/wiki/Q172491","display_name":"Data mining","level":1,"score":0.1559431254863739},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.12182670831680298},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.11709645390510559},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.10724174976348877},{"id":"https://openalex.org/C49937458","wikidata":"https://www.wikidata.org/wiki/Q2599292","display_name":"Probabilistic logic","level":2,"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/C146978453","wikidata":"https://www.wikidata.org/wiki/Q3798668","display_name":"Aerospace engineering","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/3468264.3468587","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3468264.3468587","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3468264.3468587","source":null,"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 29th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering","raw_type":"proceedings-article"}],"best_oa_location":{"id":"doi:10.1145/3468264.3468587","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3468264.3468587","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3468264.3468587","source":null,"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 29th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering","raw_type":"proceedings-article"},"sustainable_development_goals":[],"awards":[{"id":"https://openalex.org/G1553699493","display_name":null,"funder_award_id":"H9823018D0008","funder_id":"https://openalex.org/F4320311089","funder_display_name":"National Security Agency"},{"id":"https://openalex.org/G2907595378","display_name":null,"funder_award_id":"N00014172889","funder_id":"https://openalex.org/F4320337345","funder_display_name":"Office of Naval Research"},{"id":"https://openalex.org/G4493428247","display_name":null,"funder_award_id":"CCF-1918140,CNS-1801546,1762363","funder_id":"https://openalex.org/F4320306076","funder_display_name":"National Science Foundation"},{"id":"https://openalex.org/G6596492623","display_name":null,"funder_award_id":"CNS-1801546","funder_id":"https://openalex.org/F4320306076","funder_display_name":"National Science Foundation"},{"id":"https://openalex.org/G6778668403","display_name":"SaTC: CORE: Medium: Collaborative: Bridging the Gap between Protocol Design and Implementation through Automated Mapping","funder_award_id":"1801546","funder_id":"https://openalex.org/F4320306076","funder_display_name":"National Science Foundation"},{"id":"https://openalex.org/G6822897412","display_name":null,"funder_award_id":"CCF-1918140","funder_id":"https://openalex.org/F4320306076","funder_display_name":"National Science Foundation"},{"id":"https://openalex.org/G6836455436","display_name":null,"funder_award_id":"N00014172899","funder_id":"https://openalex.org/F4320337345","funder_display_name":"Office of Naval Research"},{"id":"https://openalex.org/G7858740741","display_name":"SHF: Medium: Collaborative Research: Computer-Aided Programming for Data Science","funder_award_id":"1762363","funder_id":"https://openalex.org/F4320306076","funder_display_name":"National Science Foundation"},{"id":"https://openalex.org/G8465669674","display_name":"FMitF: Collaborative Research: Track I: Preventing Human Errors in Cyber-human Systems with Formal Approaches to Human Reliability Rating and Model Repair","funder_award_id":"1918140","funder_id":"https://openalex.org/F4320306076","funder_display_name":"National Science Foundation"}],"funders":[{"id":"https://openalex.org/F4320306076","display_name":"National Science Foundation","ror":"https://ror.org/021nxhr62"},{"id":"https://openalex.org/F4320311089","display_name":"National Security Agency","ror":"https://ror.org/0047bvr32"},{"id":"https://openalex.org/F4320337345","display_name":"Office of Naval Research","ror":"https://ror.org/00rk2pe57"}],"has_content":{"grobid_xml":true,"pdf":true},"content_urls":{"pdf":"https://content.openalex.org/works/W3193459240.pdf","grobid_xml":"https://content.openalex.org/works/W3193459240.grobid-xml"},"referenced_works_count":49,"referenced_works":["https://openalex.org/W5318176","https://openalex.org/W47957325","https://openalex.org/W152472178","https://openalex.org/W192406999","https://openalex.org/W367605388","https://openalex.org/W602497127","https://openalex.org/W1509428113","https://openalex.org/W1519503479","https://openalex.org/W1582996281","https://openalex.org/W1674952968","https://openalex.org/W1895387792","https://openalex.org/W1968283843","https://openalex.org/W1976371754","https://openalex.org/W2009689138","https://openalex.org/W2022578767","https://openalex.org/W2049542183","https://openalex.org/W2074845051","https://openalex.org/W2101153553","https://openalex.org/W2112447468","https://openalex.org/W2116411029","https://openalex.org/W2133527541","https://openalex.org/W2139553864","https://openalex.org/W2148560634","https://openalex.org/W2149236697","https://openalex.org/W2152472097","https://openalex.org/W2152949134","https://openalex.org/W2157056800","https://openalex.org/W2159875930","https://openalex.org/W2164392635","https://openalex.org/W2183567905","https://openalex.org/W2185680923","https://openalex.org/W2210398979","https://openalex.org/W2547471548","https://openalex.org/W2796386476","https://openalex.org/W2888390390","https://openalex.org/W2904129921","https://openalex.org/W2953315742","https://openalex.org/W2963311060","https://openalex.org/W2963954089","https://openalex.org/W2969538555","https://openalex.org/W3021334088","https://openalex.org/W3082448945","https://openalex.org/W3088268709","https://openalex.org/W3089899650","https://openalex.org/W3126605304","https://openalex.org/W4205142694","https://openalex.org/W4245822332","https://openalex.org/W4248218709","https://openalex.org/W4254790956"],"related_works":["https://openalex.org/W2085988990","https://openalex.org/W2005835473","https://openalex.org/W60748262","https://openalex.org/W2056340443","https://openalex.org/W2378275298","https://openalex.org/W1510134535","https://openalex.org/W1487241321","https://openalex.org/W2156787493","https://openalex.org/W1974998563","https://openalex.org/W2126493028"],"abstract_inverted_index":{"Alloy":[0,87],"is":[1,69],"a":[2,8,17,51,75],"declarative":[3],"modeling":[4],"language":[5],"based":[6],"on":[7,84],"first-order":[9],"relational":[10],"logic.":[11],"Its":[12],"constraint-based":[13],"analysis":[14,38],"has":[15],"enabled":[16],"wide":[18],"range":[19],"of":[20,37,56,78,97],"applications":[21],"in":[22,40,50],"software":[23],"engineering,":[24],"including":[25],"configuration":[26,53],"synthesis,":[27],"bug":[28],"finding,":[29],"test-case":[30],"generation,":[31],"and":[32,93],"security":[33],"analysis.":[34],"Certain":[35],"types":[36,96],"tasks":[39],"these":[41,95],"domains":[42],"involve":[43],"finding":[44,57],"an":[45],"optimal":[46],"solution.":[47],"For":[48],"example,":[49],"network":[52],"problem,":[54],"instead":[55],"any":[58],"valid":[59],"configuration,":[60],"it":[61,73],"may":[62],"be":[63,89],"desirable":[64],"to":[65,81,91],"find":[66],"one":[67],"that":[68],"most":[70],"permissive":[71],"(i.e.,":[72],"permits":[74],"maximum":[76],"number":[77],"packets).":[79],"Due":[80],"its":[82],"dependence":[83],"SAT,":[85],"however,":[86],"cannot":[88],"used":[90],"specify":[92],"analyze":[94],"problems.":[98]},"counts_by_year":[{"year":2026,"cited_by_count":1},{"year":2025,"cited_by_count":4},{"year":2024,"cited_by_count":2},{"year":2023,"cited_by_count":1},{"year":2022,"cited_by_count":2}],"updated_date":"2026-06-22T08:00:12.763002","created_date":"2025-10-10T00:00:00"}