{"id":"https://openalex.org/W2758825011","doi":"https://doi.org/10.1504/ijcnds.2017.10007996","title":"Compiling, verifying and simulating dynamic software architectures using ANTLR and coloured-ADL","display_name":"Compiling, verifying and simulating dynamic software architectures using ANTLR and coloured-ADL","publication_year":2017,"publication_date":"2017-01-01","ids":{"openalex":"https://openalex.org/W2758825011","doi":"https://doi.org/10.1504/ijcnds.2017.10007996","mag":"2758825011"},"language":"en","primary_location":{"id":"doi:10.1504/ijcnds.2017.10007996","is_oa":false,"landing_page_url":"https://doi.org/10.1504/ijcnds.2017.10007996","pdf_url":null,"source":{"id":"https://openalex.org/S156554173","display_name":"International Journal of Communication Networks and Distributed Systems","issn_l":"1754-3916","issn":["1754-3916","1754-3924"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310317825","host_organization_name":"Inderscience Publishers","host_organization_lineage":["https://openalex.org/P4310317825"],"host_organization_lineage_names":["Inderscience Publishers"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"International Journal of Communication Networks and Distributed Systems","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/A5085205283","display_name":"Rabah Mokhtari","orcid":null},"institutions":[{"id":"https://openalex.org/I4210145508","display_name":"Universit\u00e9 de M'Sila","ror":"https://ror.org/055rz8d64","country_code":"DZ","type":"education","lineage":["https://openalex.org/I4210145508"]},{"id":"https://openalex.org/I4210160465","display_name":"Universit\u00e9 Constantine 2","ror":"https://ror.org/056mctw68","country_code":"DZ","type":"education","lineage":["https://openalex.org/I4210160465"]},{"id":"https://openalex.org/I125485651","display_name":"Constantine 1 University","ror":"https://ror.org/017wv6808","country_code":"DZ","type":"education","lineage":["https://openalex.org/I125485651"]}],"countries":["DZ"],"is_corresponding":true,"raw_author_name":"Rabah Mokhtari","raw_affiliation_strings":["Department of Computer Science, Faculty of Mathematics and Computer Science, University of M'sila, M'sila, Algeria; MISC Laboratory, Department of Computer Science and its Applications, Faculty of NTIC, University Constantine 2-Abdelhamid Mehri, Constantine, Algeria","Department of Computer Science, Faculty of Mathematics and Computer Science, University of M'sila, M'sila, Algeria","MISC Laboratory, Department of Computer Science and its Applications, Faculty of NTIC, University Constantine 2-Abdelhamid Mehri, Constantine, Algeria"],"affiliations":[{"raw_affiliation_string":"Department of Computer Science, Faculty of Mathematics and Computer Science, University of M'sila, M'sila, Algeria; MISC Laboratory, Department of Computer Science and its Applications, Faculty of NTIC, University Constantine 2-Abdelhamid Mehri, Constantine, Algeria","institution_ids":["https://openalex.org/I4210160465","https://openalex.org/I125485651"]},{"raw_affiliation_string":"Department of Computer Science, Faculty of Mathematics and Computer Science, University of M'sila, M'sila, Algeria","institution_ids":["https://openalex.org/I4210145508"]},{"raw_affiliation_string":"MISC Laboratory, Department of Computer Science and its Applications, Faculty of NTIC, University Constantine 2-Abdelhamid Mehri, Constantine, Algeria","institution_ids":["https://openalex.org/I4210160465"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5082473579","display_name":"Allaoua Chaoui","orcid":"https://orcid.org/0000-0003-3751-8084"},"institutions":[{"id":"https://openalex.org/I4210160465","display_name":"Universit\u00e9 Constantine 2","ror":"https://ror.org/056mctw68","country_code":"DZ","type":"education","lineage":["https://openalex.org/I4210160465"]}],"countries":["DZ"],"is_corresponding":false,"raw_author_name":"Allaoua Chaoui","raw_affiliation_strings":["MISC Laboratory, Department of Computer Science and its Applications, Faculty of NTIC, University Constantine 2-Abdelhamid Mehri, Constantine, Algeria"],"affiliations":[{"raw_affiliation_string":"MISC Laboratory, Department of Computer Science and its Applications, Faculty of NTIC, University Constantine 2-Abdelhamid Mehri, Constantine, Algeria","institution_ids":["https://openalex.org/I4210160465"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":2,"corresponding_author_ids":["https://openalex.org/A5085205283"],"corresponding_institution_ids":["https://openalex.org/I125485651","https://openalex.org/I4210145508","https://openalex.org/I4210160465"],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":1,"citation_normalized_percentile":{"value":0.12894686,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":90,"max":94},"biblio":{"volume":"19","issue":"4","first_page":"406","last_page":"406"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10639","display_name":"Advanced Software Engineering Methodologies","score":0.9998000264167786,"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.9998000264167786,"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/T12423","display_name":"Software Reliability and Analysis Research","score":0.998199999332428,"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/T10679","display_name":"Service-Oriented Architecture and Web Services","score":0.9961000084877014,"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/computer-science","display_name":"Computer science","score":0.8610843420028687},{"id":"https://openalex.org/keywords/property","display_name":"Property (philosophy)","score":0.5452027320861816},{"id":"https://openalex.org/keywords/architecture","display_name":"Architecture","score":0.5204234719276428},{"id":"https://openalex.org/keywords/abstraction","display_name":"Abstraction","score":0.5102231502532959},{"id":"https://openalex.org/keywords/model-checking","display_name":"Model checking","score":0.49575456976890564},{"id":"https://openalex.org/keywords/software","display_name":"Software","score":0.483978271484375},{"id":"https://openalex.org/keywords/architecture-description-language","display_name":"Architecture description language","score":0.47495555877685547},{"id":"https://openalex.org/keywords/formal-verification","display_name":"Formal verification","score":0.4697962999343872},{"id":"https://openalex.org/keywords/state","display_name":"State (computer science)","score":0.4683707654476166},{"id":"https://openalex.org/keywords/embedded-system","display_name":"Embedded system","score":0.45356297492980957},{"id":"https://openalex.org/keywords/software-architecture-description","display_name":"Software architecture description","score":0.45118600130081177},{"id":"https://openalex.org/keywords/transition-system","display_name":"Transition system","score":0.4305489957332611},{"id":"https://openalex.org/keywords/software-architecture","display_name":"Software architecture","score":0.41999849677085876},{"id":"https://openalex.org/keywords/software-engineering","display_name":"Software engineering","score":0.41616740822792053},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.4154835343360901},{"id":"https://openalex.org/keywords/reference-architecture","display_name":"Reference architecture","score":0.23129495978355408}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8610843420028687},{"id":"https://openalex.org/C189950617","wikidata":"https://www.wikidata.org/wiki/Q937228","display_name":"Property (philosophy)","level":2,"score":0.5452027320861816},{"id":"https://openalex.org/C123657996","wikidata":"https://www.wikidata.org/wiki/Q12271","display_name":"Architecture","level":2,"score":0.5204234719276428},{"id":"https://openalex.org/C124304363","wikidata":"https://www.wikidata.org/wiki/Q673661","display_name":"Abstraction","level":2,"score":0.5102231502532959},{"id":"https://openalex.org/C110251889","wikidata":"https://www.wikidata.org/wiki/Q1569697","display_name":"Model checking","level":2,"score":0.49575456976890564},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.483978271484375},{"id":"https://openalex.org/C185245429","wikidata":"https://www.wikidata.org/wiki/Q362356","display_name":"Architecture description language","level":5,"score":0.47495555877685547},{"id":"https://openalex.org/C111498074","wikidata":"https://www.wikidata.org/wiki/Q173326","display_name":"Formal verification","level":2,"score":0.4697962999343872},{"id":"https://openalex.org/C48103436","wikidata":"https://www.wikidata.org/wiki/Q599031","display_name":"State (computer science)","level":2,"score":0.4683707654476166},{"id":"https://openalex.org/C149635348","wikidata":"https://www.wikidata.org/wiki/Q193040","display_name":"Embedded system","level":1,"score":0.45356297492980957},{"id":"https://openalex.org/C73219336","wikidata":"https://www.wikidata.org/wiki/Q7554254","display_name":"Software architecture description","level":5,"score":0.45118600130081177},{"id":"https://openalex.org/C2779167558","wikidata":"https://www.wikidata.org/wiki/Q176468","display_name":"Transition system","level":2,"score":0.4305489957332611},{"id":"https://openalex.org/C35869016","wikidata":"https://www.wikidata.org/wiki/Q846636","display_name":"Software architecture","level":3,"score":0.41999849677085876},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.41616740822792053},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.4154835343360901},{"id":"https://openalex.org/C55356503","wikidata":"https://www.wikidata.org/wiki/Q2136675","display_name":"Reference architecture","level":4,"score":0.23129495978355408},{"id":"https://openalex.org/C138885662","wikidata":"https://www.wikidata.org/wiki/Q5891","display_name":"Philosophy","level":0,"score":0.0},{"id":"https://openalex.org/C111472728","wikidata":"https://www.wikidata.org/wiki/Q9471","display_name":"Epistemology","level":1,"score":0.0},{"id":"https://openalex.org/C153349607","wikidata":"https://www.wikidata.org/wiki/Q36649","display_name":"Visual arts","level":1,"score":0.0},{"id":"https://openalex.org/C142362112","wikidata":"https://www.wikidata.org/wiki/Q735","display_name":"Art","level":0,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1504/ijcnds.2017.10007996","is_oa":false,"landing_page_url":"https://doi.org/10.1504/ijcnds.2017.10007996","pdf_url":null,"source":{"id":"https://openalex.org/S156554173","display_name":"International Journal of Communication Networks and Distributed Systems","issn_l":"1754-3916","issn":["1754-3916","1754-3924"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310317825","host_organization_name":"Inderscience Publishers","host_organization_lineage":["https://openalex.org/P4310317825"],"host_organization_lineage_names":["Inderscience Publishers"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"International Journal of Communication Networks and Distributed Systems","raw_type":"journal-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":0,"referenced_works":[],"related_works":["https://openalex.org/W2510690504","https://openalex.org/W1687508979","https://openalex.org/W2154429154","https://openalex.org/W2571369074","https://openalex.org/W217012190","https://openalex.org/W2184904402","https://openalex.org/W174255016","https://openalex.org/W1560937389","https://openalex.org/W1482168483","https://openalex.org/W2963375539"],"abstract_inverted_index":{"The":[0,103],"concept":[1],"of":[2,17,39,43,56,105,122,152,177],"reconfigurable":[3],"and":[4,27,81,92,97,118,168],"dynamic":[5],"software":[6,18,72],"architecture":[7,23,73],"(DSA)":[8],"occupies":[9],"today":[10],"an":[11,51],"important":[12],"place":[13],"in":[14,35],"the":[15,36,54,120,123,127,130,160,188],"field":[16],"engineering.":[19],"As":[20],"result,":[21],"several":[22],"description":[24],"languages":[25],"(ADLs)":[26],"approaches":[28],"have":[29],"been":[30],"proposed":[31],"for":[32],"describing":[33],"DSA":[34,69],"highest":[37],"level":[38],"abstraction.":[40],"However,":[41],"most":[42],"these":[44],"works":[45],"present":[46],"theoretical":[47],"solutions":[48],"without":[49],"giving":[50],"idea":[52],"on":[53,76,134],"execution":[55],"final":[57],"systems":[58],"at":[59],"run":[60],"time.":[61],"In":[62],"this":[63,175],"paper,":[64],"we":[65,85],"propose":[66,86],"a":[67,87,94,110,136,158],"new":[68,88,137],"called":[70,90,141],"coloured":[71,79,82],"(CSA)":[74],"based":[75],"two":[77,184],"concepts":[78],"operation":[80],"connector.":[83],"Then,":[84],"ADL":[89],"coloured-ADL":[91,117],"implement":[93],"compiling,":[95],"verification":[96,131,161],"simulation":[98,104],"tool":[99],"dedicated":[100],"to":[101,115,173],"CSA.":[102],"system":[106],"instances,":[107],"derived":[108],"from":[109,187],"CSA,":[111,159],"is":[112,132],"mainly":[113],"used":[114],"explain":[116],"evaluate":[119],"reliability":[121],"simulated":[124],"system.":[125],"On":[126],"other":[128],"hand,":[129],"focused":[133],"checking":[135],"defined":[138],"safety":[139],"property":[140],"architectural":[142],"stack":[143],"overflow":[144],"(ASO).":[145],"A":[146],"safe":[147],"CSA":[148],"should":[149],"be":[150],"free":[151],"ASO":[153],"violation":[154],"property.":[155,178],"To":[156],"check":[157],"uses":[162],"also":[163],"finite":[164],"state":[165,171],"processes":[166],"(FSP)":[167],"labelled":[169],"transition":[170],"(LTS)":[172],"expect":[174],"kind":[176],"We":[179],"illustrate":[180],"our":[181],"propositions":[182],"through":[183],"case":[185],"studies":[186],"literature.":[189]},"counts_by_year":[{"year":2024,"cited_by_count":1}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}