{"id":"https://openalex.org/W4285591463","doi":"https://doi.org/10.1142/s0218194022500450","title":"ATLDesigner: ATL Model Checking Using An Attribute Grammar","display_name":"ATLDesigner: ATL Model Checking Using An Attribute Grammar","publication_year":2022,"publication_date":"2022-07-16","ids":{"openalex":"https://openalex.org/W4285591463","doi":"https://doi.org/10.1142/s0218194022500450"},"language":"en","primary_location":{"id":"doi:10.1142/s0218194022500450","is_oa":false,"landing_page_url":"https://doi.org/10.1142/s0218194022500450","pdf_url":null,"source":{"id":"https://openalex.org/S131442419","display_name":"International Journal of Software Engineering and Knowledge Engineering","issn_l":"0218-1940","issn":["0218-1940","1793-6403"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319815","host_organization_name":"World Scientific","host_organization_lineage":["https://openalex.org/P4310319815"],"host_organization_lineage_names":["World Scientific"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"International Journal of Software Engineering and Knowledge Engineering","raw_type":"journal-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/A5053411099","display_name":"Laura Florentina Stoica","orcid":"https://orcid.org/0000-0002-4758-6606"},"institutions":[{"id":"https://openalex.org/I124121301","display_name":"Lucian Blaga University of Sibiu","ror":"https://ror.org/026gdz537","country_code":"RO","type":"education","lineage":["https://openalex.org/I124121301"]}],"countries":["RO"],"is_corresponding":false,"raw_author_name":"Laura F. Stoica","raw_affiliation_strings":["Department of Mathematics and Informatics, Faculty of Sciences, \u201cLucian Blaga\u201d University of Sibiu, Str. Dr. Ion Ratiu, 5-7, Sibiu, 550012, Romania"],"raw_orcid":"https://orcid.org/0000-0002-4758-6606","affiliations":[{"raw_affiliation_string":"Department of Mathematics and Informatics, Faculty of Sciences, \u201cLucian Blaga\u201d University of Sibiu, Str. Dr. Ion Ratiu, 5-7, Sibiu, 550012, Romania","institution_ids":["https://openalex.org/I124121301"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5029014477","display_name":"Florin Stoica","orcid":"https://orcid.org/0000-0002-9073-0781"},"institutions":[{"id":"https://openalex.org/I124121301","display_name":"Lucian Blaga University of Sibiu","ror":"https://ror.org/026gdz537","country_code":"RO","type":"education","lineage":["https://openalex.org/I124121301"]}],"countries":["RO"],"is_corresponding":false,"raw_author_name":"Florin Stoica","raw_affiliation_strings":["Department of Mathematics and Informatics, Faculty of Sciences, \u201cLucian Blaga\u201d University of Sibiu, Str. Dr. Ion Ratiu, 5-7, Sibiu, 550012, Romania"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Mathematics and Informatics, Faculty of Sciences, \u201cLucian Blaga\u201d University of Sibiu, Str. Dr. Ion Ratiu, 5-7, Sibiu, 550012, Romania","institution_ids":["https://openalex.org/I124121301"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":[],"corresponding_institution_ids":["https://openalex.org/I124121301"],"apc_list":null,"apc_paid":null,"fwci":0.4567,"has_fulltext":false,"cited_by_count":3,"citation_normalized_percentile":{"value":0.65574069,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":90,"max":96},"biblio":{"volume":"32","issue":"08","first_page":"1125","last_page":"1154"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.9995999932289124,"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"}},"topics":[{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.9995999932289124,"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"}},{"id":"https://openalex.org/T11010","display_name":"Logic, Reasoning, and Knowledge","score":0.9966999888420105,"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/T10126","display_name":"Logic, programming, and type systems","score":0.9962999820709229,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.8469299077987671},{"id":"https://openalex.org/keywords/grammar-systems-theory","display_name":"Grammar systems theory","score":0.7042312622070312},{"id":"https://openalex.org/keywords/grammar","display_name":"Grammar","score":0.6162795424461365},{"id":"https://openalex.org/keywords/attribute-grammar","display_name":"Attribute grammar","score":0.5869659185409546},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.5759085416793823},{"id":"https://openalex.org/keywords/natural-language-processing","display_name":"Natural language processing","score":0.5538502931594849},{"id":"https://openalex.org/keywords/rule-based-machine-translation","display_name":"Rule-based machine translation","score":0.5227918028831482},{"id":"https://openalex.org/keywords/formal-grammar","display_name":"Formal grammar","score":0.5193389654159546},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.4570465683937073},{"id":"https://openalex.org/keywords/context","display_name":"Context (archaeology)","score":0.4546530544757843},{"id":"https://openalex.org/keywords/model-checking","display_name":"Model checking","score":0.4531557559967041},{"id":"https://openalex.org/keywords/adaptive-grammar","display_name":"Adaptive grammar","score":0.4115281403064728},{"id":"https://openalex.org/keywords/context-free-grammar","display_name":"Context-free grammar","score":0.41110509634017944},{"id":"https://openalex.org/keywords/regular-grammar","display_name":"Regular grammar","score":0.349806010723114},{"id":"https://openalex.org/keywords/emergent-grammar","display_name":"Emergent grammar","score":0.2553609013557434},{"id":"https://openalex.org/keywords/generative-grammar","display_name":"Generative grammar","score":0.12870553135871887},{"id":"https://openalex.org/keywords/linguistics","display_name":"Linguistics","score":0.12391453981399536}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8469299077987671},{"id":"https://openalex.org/C500879282","wikidata":"https://www.wikidata.org/wiki/Q5593671","display_name":"Grammar systems theory","level":4,"score":0.7042312622070312},{"id":"https://openalex.org/C26022165","wikidata":"https://www.wikidata.org/wiki/Q8091","display_name":"Grammar","level":2,"score":0.6162795424461365},{"id":"https://openalex.org/C164041254","wikidata":"https://www.wikidata.org/wiki/Q597455","display_name":"Attribute grammar","level":3,"score":0.5869659185409546},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.5759085416793823},{"id":"https://openalex.org/C204321447","wikidata":"https://www.wikidata.org/wiki/Q30642","display_name":"Natural language processing","level":1,"score":0.5538502931594849},{"id":"https://openalex.org/C53893814","wikidata":"https://www.wikidata.org/wiki/Q7378909","display_name":"Rule-based machine translation","level":2,"score":0.5227918028831482},{"id":"https://openalex.org/C171553443","wikidata":"https://www.wikidata.org/wiki/Q373045","display_name":"Formal grammar","level":3,"score":0.5193389654159546},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.4570465683937073},{"id":"https://openalex.org/C2779343474","wikidata":"https://www.wikidata.org/wiki/Q3109175","display_name":"Context (archaeology)","level":2,"score":0.4546530544757843},{"id":"https://openalex.org/C110251889","wikidata":"https://www.wikidata.org/wiki/Q1569697","display_name":"Model checking","level":2,"score":0.4531557559967041},{"id":"https://openalex.org/C121017423","wikidata":"https://www.wikidata.org/wiki/Q4680743","display_name":"Adaptive grammar","level":5,"score":0.4115281403064728},{"id":"https://openalex.org/C97212296","wikidata":"https://www.wikidata.org/wiki/Q338047","display_name":"Context-free grammar","level":3,"score":0.41110509634017944},{"id":"https://openalex.org/C80191660","wikidata":"https://www.wikidata.org/wiki/Q645527","display_name":"Regular grammar","level":4,"score":0.349806010723114},{"id":"https://openalex.org/C69298649","wikidata":"https://www.wikidata.org/wiki/Q6045214","display_name":"Emergent grammar","level":3,"score":0.2553609013557434},{"id":"https://openalex.org/C39890363","wikidata":"https://www.wikidata.org/wiki/Q36108","display_name":"Generative grammar","level":2,"score":0.12870553135871887},{"id":"https://openalex.org/C41895202","wikidata":"https://www.wikidata.org/wiki/Q8162","display_name":"Linguistics","level":1,"score":0.12391453981399536},{"id":"https://openalex.org/C138885662","wikidata":"https://www.wikidata.org/wiki/Q5891","display_name":"Philosophy","level":0,"score":0.0},{"id":"https://openalex.org/C86803240","wikidata":"https://www.wikidata.org/wiki/Q420","display_name":"Biology","level":0,"score":0.0},{"id":"https://openalex.org/C151730666","wikidata":"https://www.wikidata.org/wiki/Q7205","display_name":"Paleontology","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1142/s0218194022500450","is_oa":false,"landing_page_url":"https://doi.org/10.1142/s0218194022500450","pdf_url":null,"source":{"id":"https://openalex.org/S131442419","display_name":"International Journal of Software Engineering and Knowledge Engineering","issn_l":"0218-1940","issn":["0218-1940","1793-6403"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319815","host_organization_name":"World Scientific","host_organization_lineage":["https://openalex.org/P4310319815"],"host_organization_lineage_names":["World Scientific"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"International Journal of Software Engineering and Knowledge Engineering","raw_type":"journal-article"}],"best_oa_location":null,"sustainable_development_goals":[{"score":0.75,"display_name":"Quality Education","id":"https://metadata.un.org/sdg/4"}],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":19,"referenced_works":["https://openalex.org/W1489095339","https://openalex.org/W1544331224","https://openalex.org/W1568375553","https://openalex.org/W1596365597","https://openalex.org/W1794274623","https://openalex.org/W1965024948","https://openalex.org/W1973954352","https://openalex.org/W1981713530","https://openalex.org/W2024664992","https://openalex.org/W2031522732","https://openalex.org/W2048905609","https://openalex.org/W2080267935","https://openalex.org/W2108213427","https://openalex.org/W2115309705","https://openalex.org/W2126015313","https://openalex.org/W2892907892","https://openalex.org/W3022037727","https://openalex.org/W3080370200","https://openalex.org/W3129429435"],"related_works":["https://openalex.org/W1552852114","https://openalex.org/W2015056322","https://openalex.org/W2114340842","https://openalex.org/W2119143327","https://openalex.org/W1525687837","https://openalex.org/W2037724360","https://openalex.org/W2940776972","https://openalex.org/W2134685785","https://openalex.org/W2170694481","https://openalex.org/W4285591463"],"abstract_inverted_index":{"In":[0],"this":[1],"paper,":[2],"we":[3],"use":[4],"attribute":[5,40,71],"grammars":[6],"as":[7,46,74],"a":[8,28,47,54,59,66],"formal":[9,67],"approach":[10],"for":[11,69,76,79,113],"model":[12,25,87],"checkers":[13],"development.":[14],"Our":[15],"aim":[16],"is":[17,51,96],"to":[18,83],"design":[19],"an":[20,70,85],"Alternating-Time":[21],"Temporal":[22],"Logic":[23],"(ATL)":[24],"checker":[26],"from":[27],"context-free":[29,48],"grammar":[30,41,49,72],"which":[31,50],"generates":[32],"the":[33,36,93,115],"language":[34],"of":[35,56,61,92,120],"ATL":[37,86,122],"formulae.":[38],"An":[39],"may":[42],"be":[43],"informally":[44],"defined":[45],"extended":[52],"with":[53],"set":[55],"attributes":[57],"and":[58,101,107],"collection":[60],"semantic":[62],"rules.":[63],"We":[64],"provide":[65],"definition":[68],"used":[73,112],"input":[75],"Another":[77],"Tool":[78],"Language":[80],"Recognition":[81],"(ANTLR)":[82],"generate":[84],"checker.":[88],"The":[89],"original":[90],"implementation":[91],"model-checking":[94],"algorithm":[95],"based":[97],"on":[98],"Relational":[99],"Databases":[100],"Web":[102,108],"Services.":[103],"Several":[104],"database":[105],"systems":[106],"Services":[109],"technologies":[110],"were":[111],"evaluating":[114],"system":[116],"performance":[117],"in":[118],"verification":[119],"large":[121],"models.":[123]},"counts_by_year":[{"year":2024,"cited_by_count":2},{"year":2023,"cited_by_count":1}],"updated_date":"2026-06-26T08:34:08.712188","created_date":"2025-10-10T00:00:00"}