{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,2,21]],"date-time":"2025-02-21T10:32:24Z","timestamp":1740133944359,"version":"3.37.3"},"reference-count":53,"publisher":"World Scientific Pub Co Pte Ltd","issue":"06","funder":[{"DOI":"10.13039\/501100013209","name":"Hellenic Foundation for Research and Innovation","doi-asserted-by":"publisher","award":["1471"],"award-info":[{"award-number":["1471"]}],"id":[{"id":"10.13039\/501100013209","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Int. J. Found. Comput. Sci."],"published-print":{"date-parts":[[2023,9]]},"abstract":"<jats:p> In this paper, we propose a logic-based characterization of uncertainty in architectures of parametric component-based systems, where the parameter is the number of instances of each component type. For this, we firstly introduce an extended propositional interaction logic over De Morgan algebras and we show that its formulas can encode the uncertainty of several architectures applied in systems with a finite number of components. In turn, we introduce a first-order extended interaction logic over De Morgan algebras which is applied for modelling uncertainty in the interactions of well-known parametric architectures. Moreover, we prove that the equivalence problem for a large class of formulas of that logic is decidable in doubly exponential time by providing an effective translation to fuzzy recognizable series. For any such formula over a totally ordered De Morgan algebra, we further prove that we can compute in exponential time the set of sequences of parametric fuzzy interactions which ensure the trustworthiness of the formula according to a particular threshold. <\/jats:p>","DOI":"10.1142\/s0129054123450028","type":"journal-article","created":{"date-parts":[[2023,5,23]],"date-time":"2023-05-23T07:51:26Z","timestamp":1684828286000},"page":"559-601","source":"Crossref","is-referenced-by-count":0,"title":["Modelling Uncertainty in Architectures of Parametric Component-Based Systems"],"prefix":"10.1142","volume":"34","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-4208-5386","authenticated-orcid":false,"given":"Maria","family":"Pittou","sequence":"first","affiliation":[{"name":"Department of Mathematics, Aristotle University of Thessaloniki, Thessaloniki, 54124, Greece"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"George","family":"Rahonis","sequence":"additional","affiliation":[{"name":"Department of Mathematics, Aristotle University of Thessaloniki, Thessaloniki, 54124, Greece"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"219","published-online":{"date-parts":[[2023,5,22]]},"reference":[{"volume-title":"The Design and Analysis of Computer Algorithms","year":"1974","author":"Aho A. V.","key":"S0129054123450028BIB001"},{"key":"S0129054123450028BIB002","doi-asserted-by":"crossref","unstructured":"V. S. Alagar and  K. Periyasamy ,  The B-Method, In:  Specification of Software Systems. Texts in Computer Science, Vol.  19  (Springer, 2011),  pp. 577\u2013633.","DOI":"10.1007\/978-0-85729-277-3_19"},{"key":"S0129054123450028BIB003","doi-asserted-by":"crossref","first-page":"3","DOI":"10.1016\/j.entcs.2006.05.012","volume":"160","author":"Amaro S.","year":"2006","journal-title":"Electron. Notes Theor. Comput. Sci."},{"issue":"3","key":"S0129054123450028BIB004","doi-asserted-by":"crossref","first-page":"187","DOI":"10.1007\/s00446-017-0302-6","volume":"31","author":"Aminof B.","year":"2018","journal-title":"Distrib. Comput."},{"volume-title":"Distributive Lattices","year":"1974","author":"Bables R.","key":"S0129054123450028BIB005"},{"issue":"10","key":"S0129054123450028BIB006","doi-asserted-by":"crossref","first-page":"1315","DOI":"10.1109\/TC.2008.26","volume":"57","author":"Bliudze S.","year":"2008","journal-title":"IEEE Trans. Computers"},{"issue":"2","key":"S0129054123450028BIB007","doi-asserted-by":"crossref","first-page":"53","DOI":"10.1145\/2951860.2951873","volume":"47","author":"Bloem R.","year":"2016","journal-title":"SIGACT News"},{"key":"S0129054123450028BIB008","series-title":"LNCS","first-page":"3","volume-title":"Proceedings of TACAS 2019, Part II","volume":"11428","author":"Bozga M.","year":"2019"},{"key":"S0129054123450028BIB010","doi-asserted-by":"crossref","first-page":"100","DOI":"10.1016\/j.scico.2015.10.006","volume":"115","author":"Charalambides M.","year":"2016","journal-title":"Science of Computer Programming"},{"key":"S0129054123450028BIB011","first-page":"1","volume-title":"Proceedings of IPDPS 2007","author":"Cheung L.","year":"2007"},{"volume-title":"Documenting Software Architectures: Views and Beyond","year":"2010","author":"Clements P.","key":"S0129054123450028BIB012"},{"issue":"9","key":"S0129054123450028BIB013","first-page":"40","volume":"6","author":"Corkill D. D.","year":"1991","journal-title":"AI Expert"},{"volume-title":"Service Design Patterns: Fundamental Design Solutions for SOAP\/WSDL and RESTful web services","year":"2012","author":"Daigneau R.","key":"S0129054123450028BIB014"},{"key":"S0129054123450028BIB015","doi-asserted-by":"crossref","first-page":"608","DOI":"10.1007\/s00224-007-9064-z","volume":"42","author":"Droste M.","year":"2008","journal-title":"Theory Comput. Syst."},{"key":"S0129054123450028BIB016","first-page":"305","volume":"84","author":"Droste M.","year":"2008","journal-title":"Fund. Inform."},{"volume-title":"Handbook of Weighted Automata","series-title":"EATCS Monographs in Theoretical Computer Science","author":"Droste M.","key":"S0129054123450028BIB017"},{"key":"S0129054123450028BIB018","doi-asserted-by":"crossref","first-page":"14","DOI":"10.1016\/j.tcs.2011.11.008","volume":"418","author":"Droste M.","year":"2012","journal-title":"Theor. Comput. Sci."},{"key":"S0129054123450028BIB019","first-page":"1","volume-title":"Proceedings of IPDPS 2008","author":"Fiondella L.","year":"2008"},{"key":"S0129054123450028BIB020","first-page":"125","volume-title":"Proceedings of FoSER 2010 at ACM SIGSOFT","author":"Garlan D.","year":"2010"},{"key":"S0129054123450028BIB021","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1142\/9789812798039_0001","volume-title":"Advances in Software Engineering and Knowledge Engineering","volume":"2","author":"Garlan D.","year":"1993"},{"key":"S0129054123450028BIB022","first-page":"653","volume-title":"Proceedings of CompSysTech 2011","author":"Georgieva O.","year":"2011"},{"key":"S0129054123450028BIB023","series-title":"LNCS","first-page":"16","volume-title":"Proceedings of COORDINATION 2011","volume":"6721","author":"Giusto C. Di.","year":"2011"},{"key":"S0129054123450028BIB024","first-page":"49","volume-title":"Proceedings of RISE\/EFTS Joint International Workshop on SERENE 2008","author":"Gorbenko A.","year":"2008"},{"volume-title":"Introduction to Automata Theory, Languages and Computation, Second Edition","year":"2000","author":"Hopcroft J. E.","key":"S0129054123450028BIB025"},{"issue":"1","key":"S0129054123450028BIB026","first-page":"3:1","volume":"49","author":"H\u00fcttel H.","year":"2016","journal-title":"ACM Computing Surveys"},{"key":"S0129054123450028BIB027","series-title":"LNCS","first-page":"301","volume-title":"Proceedings of COORDINATION 2020","volume":"12134","author":"Karyoti V.","year":"2020"},{"key":"S0129054123450028BIB028","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4612-0171-7","volume-title":"Automata Theory and its Applications","author":"Khoussainov B.","year":"2001"},{"key":"S0129054123450028BIB029","series-title":"ACM","first-page":"70","volume-title":"Proceedings of ROSATEA 2006","author":"Kim J. S.","year":"2016"},{"key":"S0129054123450028BIB030","series-title":"LIPIcs","first-page":"30:1","volume-title":"Proceedings of CONCUR 2016","volume":"59","author":"Konnov I.","year":"2016"},{"issue":"4","key":"S0129054123450028BIB031","doi-asserted-by":"crossref","first-page":"421","DOI":"10.1016\/0020-0255(69)90025-5","volume":"1","author":"Lee L.","year":"1969","journal-title":"Information Sciences"},{"key":"S0129054123450028BIB032","series-title":"ACM","first-page":"31","volume-title":"Proceedings of ICSE-CEIP 2020","author":"Malavolta I.","year":"2020"},{"key":"S0129054123450028BIB033","series-title":"LNCS","first-page":"235","volume-title":"Proceedings of ICTAC 2016","volume":"59","author":"Marmsoler D.","year":"2016"},{"key":"S0129054123450028BIB034","series-title":"EPTCS","first-page":"83","volume-title":"Proceedings of ICE 2016","volume":"223","author":"Mavridou A.","year":"2016"},{"key":"S0129054123450028BIB035","doi-asserted-by":"crossref","first-page":"2","DOI":"10.1016\/j.jlamp.2016.05.002","volume":"86","author":"Mavridou A.","year":"2016","journal-title":"J. Log. Algebr. Methods Program."},{"issue":"12","key":"S0129054123450028BIB036","doi-asserted-by":"crossref","first-page":"4569","DOI":"10.1007\/s10115-020-01496-7","volume":"62","author":"Moaven S.","year":"2020","journal-title":"Knowl. Inf. Syst."},{"key":"S0129054123450028BIB037","doi-asserted-by":"crossref","DOI":"10.1201\/9781420035643","volume-title":"Fuzzy Automata and Languages: Theory and Applications","author":"Mordeson J.","year":"2002"},{"key":"S0129054123450028BIB039","first-page":"644","volume-title":"Proceedings of AINA 2015","author":"Olivieri A.","year":"2015"},{"key":"S0129054123450028BIB040","series-title":"LNCS","first-page":"770","volume-title":"Proceedings of ICCSA 2019","volume":"11619","author":"Oquendo F.","year":"2019"},{"key":"S0129054123450028BIB042","series-title":"LNCS","first-page":"98","volume-title":"Proceedings of FACS 2017","volume":"10487","author":"Paraponiari P.","year":"2017"},{"key":"S0129054123450028BIB043","volume":"282","author":"Paraponiari P.","year":"2020","journal-title":"Inform. Comput."},{"key":"S0129054123450028BIB044","series-title":"AISC","first-page":"287","volume-title":"Proceedings of ComNet 2016","volume":"508","author":"Patel S.","year":"2017"},{"issue":"4","key":"S0129054123450028BIB045","volume":"17","author":"Pittou M.","year":"2021","journal-title":"Log. Methods Comput. Sci"},{"key":"S0129054123450028BIB047","first-page":"69","volume-title":"Proceedings of ICSE 2004","author":"Roshandel R.","year":"2004"},{"key":"S0129054123450028BIB048","first-page":"853","volume-title":"Proceedings of ICSE 2006","author":"Roshandel R.","year":"2006"},{"key":"S0129054123450028BIB049","doi-asserted-by":"crossref","DOI":"10.1017\/CBO9781139195218","volume-title":"Elements of Automata Theory","author":"Sakarovitch J.","year":"2009"},{"key":"S0129054123450028BIB050","volume":"70","author":"Sharma A.","year":"2015","journal-title":"Procedia Computer Science"},{"issue":"1","key":"S0129054123450028BIB051","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1145\/2693208.2693237","volume":"40","author":"Singh N.","year":"2015","journal-title":"ACM SIGSOFT Softw. Eng. Notes"},{"key":"S0129054123450028BIB052","first-page":"514","volume-title":"Proceedings of ITNG 2014","author":"Straub J.","year":"2014"},{"issue":"4","key":"S0129054123450028BIB053","doi-asserted-by":"crossref","first-page":"1183","DOI":"10.1007\/s10270-020-00842-1","volume":"20","author":"Troya J.","year":"2021","journal-title":"Software and Systems Modeling"},{"key":"S0129054123450028BIB054","doi-asserted-by":"crossref","first-page":"116","DOI":"10.1016\/j.ins.2016.09.020","volume":"387","author":"Yang K.","year":"2017","journal-title":"Inform. Sci."},{"key":"S0129054123450028BIB055","doi-asserted-by":"crossref","first-page":"338","DOI":"10.1016\/S0019-9958(65)90241-X","volume":"8","author":"Zadeh L. A.","year":"1965","journal-title":"Information and Control"},{"key":"S0129054123450028BIB056","first-page":"335","volume-title":"Proceedings of ICDCS 2012","author":"Zhang K.","year":"2012"},{"key":"S0129054123450028BIB057","series-title":"LNCS","doi-asserted-by":"crossref","first-page":"57","DOI":"10.1007\/978-3-030-31514-6_5","volume-title":"From Reactive Systems to Cyber-Physical Systems, Essays Dedicated to Scott A. Smolka on the Occasion of his 65th Birthday","volume":"11500","author":"Zuck L. D.","year":"2019"}],"container-title":["International Journal of Foundations of Computer Science"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/www.worldscientific.com\/doi\/pdf\/10.1142\/S0129054123450028","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,9,23]],"date-time":"2023-09-23T08:12:14Z","timestamp":1695456734000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.worldscientific.com\/doi\/10.1142\/S0129054123450028"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2023,5,22]]},"references-count":53,"journal-issue":{"issue":"06","published-print":{"date-parts":[[2023,9]]}},"alternative-id":["10.1142\/S0129054123450028"],"URL":"https:\/\/doi.org\/10.1142\/s0129054123450028","relation":{},"ISSN":["0129-0541","1793-6373"],"issn-type":[{"type":"print","value":"0129-0541"},{"type":"electronic","value":"1793-6373"}],"subject":[],"published":{"date-parts":[[2023,5,22]]}}}