{"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/I125485651","display_name":"University Fr\u00e8res Mentouri Constantine 1","ror":"https://ror.org/017wv6808","country_code":"DZ","type":"education","lineage":["https://openalex.org/I125485651"]},{"id":"https://openalex.org/I4210145508","display_name":"University Mohamed Boudiaf of 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"]}],"countries":["DZ"],"is_corresponding":false,"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","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"],"raw_orcid":null,"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":"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"]},{"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"]}]},{"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"],"raw_orcid":null,"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":3,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":1,"citation_normalized_percentile":{"value":0.15063507,"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":{"pdf":false,"grobid_xml":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"}