{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,2,21]],"date-time":"2025-02-21T14:27:54Z","timestamp":1740148074243,"version":"3.37.3"},"reference-count":50,"publisher":"Institute of Electrical and Electronics Engineers (IEEE)","issue":"2","license":[{"start":{"date-parts":[[2020,6,1]],"date-time":"2020-06-01T00:00:00Z","timestamp":1590969600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"},{"start":{"date-parts":[[2020,6,1]],"date-time":"2020-06-01T00:00:00Z","timestamp":1590969600000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2020,6,1]],"date-time":"2020-06-01T00:00:00Z","timestamp":1590969600000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["IEEE Systems Journal"],"published-print":{"date-parts":[[2020,6]]},"DOI":"10.1109\/jsyst.2019.2960501","type":"journal-article","created":{"date-parts":[[2020,1,8]],"date-time":"2020-01-08T20:57:47Z","timestamp":1578517067000},"page":"1647-1657","source":"Crossref","is-referenced-by-count":1,"title":["An MDE-Based Tool for Early Analysis of UML2.0\/PSM Atomic and Composite Components"],"prefix":"10.1109","volume":"14","author":[{"ORCID":"https:\/\/orcid.org\/0000-0003-3950-4380","authenticated-orcid":false,"given":"Taoufik Sakka","family":"Rouis","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Mohamed Tahar","family":"Bhiri","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Layth","family":"Sliman","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Mourad","family":"Kmimech","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref39","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-92432-8_7"},{"year":"2018","key":"ref38","article-title":"OMG UML profile for MARTE: Modeling and analysis of real-time embedded systems"},{"key":"ref33","first-page":"15","article-title":"Modelling and analysis of data flow graphs using the digraph real-time task model","author":"mohaqeqi","year":"2016","journal-title":"Proc 21st Ada-Europe Int Conf Reliable Softw Technol"},{"key":"ref32","doi-asserted-by":"publisher","DOI":"10.1109\/IRI.2017.63"},{"key":"ref31","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2009.51"},{"key":"ref30","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-92432-8_3"},{"year":"2019","key":"ref37","article-title":"Information technology - Object management group unified modelling language (OMG UML), infrastructure"},{"year":"2019","key":"ref36"},{"key":"ref35","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-63531-9_8"},{"key":"ref34","first-page":"245","article-title":"Mapping UML components diagrams to XML using graph transformation","author":"mokhtari","year":"2010","journal-title":"Proc ISCA 23rd Int Conf Comput Appl Industry Eng"},{"key":"ref28","first-page":"1","article-title":"Papyrus UML: An open source toolset for MDA","author":"lanusse","year":"2009","journal-title":"Proc ECMDA-FA"},{"article-title":"Vérification d'assemblages de composants logiciels: Application aux modèles de composants UML2.0 et Ugatze (Verification of software component assemblies: Application to UML2.0 and Ugatze component models)","year":"2010","author":"kmimech","key":"ref27"},{"key":"ref29","first-page":"1","article-title":"Papyrus UML: An open source toolset for MDA","author":"lanusse","year":"2009","journal-title":"Proc 5th Eur Conf Model Driven Archit -Found Appl"},{"year":"2019","key":"ref2"},{"article-title":"Quality of service support in development in development of distributedsystems","year":"2001","author":"aagedal","key":"ref1"},{"key":"ref20","first-page":"87","article-title":"Towards checking protocol conformance of active components","volume":"5","author":"hammal","year":"2011","journal-title":"Int J Softw Eng Appl"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.4204\/EPTCS.245.5"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1007\/s10009-014-0322-5"},{"key":"ref24","first-page":"71","article-title":"On a process algebraic representation of sequence diagrams","author":"jacobs","year":"2014","journal-title":"Proc Int'l Conf Software Eng and Formal Methods"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-67531-2_23"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.1016\/j.scico.2007.08.002"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.12720\/jcm.12.8.482-488"},{"key":"ref50","doi-asserted-by":"publisher","DOI":"10.1109\/ACCESS.2018.2829549"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1109\/HICSS.2005.242"},{"key":"ref11","first-page":"138","article-title":"A new approach for generating LOTOS specifications from UML dynamic models","author":"djaaboub","year":"2015","journal-title":"Proc Eighth Int C* Conf Comput Sci Softw Eng"},{"key":"ref40","doi-asserted-by":"publisher","DOI":"10.1145\/2591062.2591067"},{"key":"ref12","first-page":"450","article-title":"Towards formalizing UML activity diagrams in CSP","author":"dong","year":"2008","journal-title":"Proc IEEE Int Symp Comput Sci Comput Technol"},{"journal-title":"Translating ADA programs for model checking A tutorial","year":"1998","author":"dwyer","key":"ref13"},{"key":"ref14","volume":"26","author":"eriksson","year":"2003","journal-title":"UML 2 Toolkit"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-30729-4_22"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-47884-1_1"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1109\/EMRTS.2001.934015"},{"article-title":"Contribution à une démarche de vérification formelle d'architectures logicielles. (Contribution to a process for formal verification of software architectures)","year":"2007","author":"graiet","key":"ref18"},{"journal-title":"Introduction to Open Architecture Ware 4 1 2 Model-Driven Development Tool Implementers Forum","year":"2007","author":"haase","key":"ref19"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1145\/606612.606614"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9781139696616"},{"year":"2018","key":"ref6"},{"key":"ref5","first-page":"278","article-title":"Checking Non-functional properties of UML2.0 components assembly","author":"bhiri","year":"2013","journal-title":"Proc 7th Workshop Enabling Technol Infrastructure Collab Enterprises"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1145\/1096601.1096653"},{"article-title":"The fractal component model","year":"2004","author":"bruneton","key":"ref7"},{"key":"ref49","first-page":"2132","article-title":"A comparative study of BNF and DNN multilingual training on cross-lingual low-resource speech recognition","author":"xu","year":"2015","journal-title":"Proc Annu Conf Int Speech Commun Assoc"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1147\/sj.411.0140"},{"key":"ref46","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-36981-0_72"},{"key":"ref45","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-38601-5_9"},{"key":"ref48","doi-asserted-by":"publisher","DOI":"10.1016\/j.jss.2017.06.018"},{"journal-title":"Software Architecture Foundations Theory and Practice","year":"2009","author":"taylor","key":"ref47"},{"key":"ref42","first-page":"10","article-title":"UML2ADA for early verification of concurrency inside the UML2.0 atomic components","author":"sakka rouis","year":"2017","journal-title":"Proc 6th Int Conf Intell Syst Des Appl"},{"key":"ref41","doi-asserted-by":"publisher","DOI":"10.1504\/IJCAT.2018.090030"},{"key":"ref44","first-page":"425","article-title":"Wr2Fdr tool maintenance for models checking","author":"sakka rouis","year":"2017","journal-title":"Proc 16th Int Conf Intell Softw Methodol Tools Techn (was Int Conf Softw Methods Tools)"},{"key":"ref43","first-page":"381","article-title":"A generic approach for the verification of static and dynamic behavioral properties of SCDL\/WS-BPEL service-component architectures","author":"sakka rouis","year":"2018","journal-title":"Proc Int Conf Parallel and Distrib Comput Appl Technol"}],"container-title":["IEEE Systems Journal"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/4267003\/9107507\/08952652.pdf?arnumber=8952652","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,4,27]],"date-time":"2022-04-27T17:02:09Z","timestamp":1651078929000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/8952652\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2020,6]]},"references-count":50,"journal-issue":{"issue":"2"},"URL":"https:\/\/doi.org\/10.1109\/jsyst.2019.2960501","relation":{},"ISSN":["1932-8184","1937-9234","2373-7816"],"issn-type":[{"type":"print","value":"1932-8184"},{"type":"electronic","value":"1937-9234"},{"type":"electronic","value":"2373-7816"}],"subject":[],"published":{"date-parts":[[2020,6]]}}}