Zobrazeno 1 - 10
of 136
pro vyhledávání: '"Allaoua Chaoui"'
Publikováno v:
Jordanian Journal of Computers and Information Technology, Vol 6, Iss 4, Pp 326-344 (2020)
This paper deals with modeling and verification of software systems by combining UML diagrams and Pi-calculus. UML 2.0 Activity diagrams are used for modeling the behavior of software systems, while Pi-calculus is used for semantic and verification p
Externí odkaz:
https://doaj.org/article/77a4f7ad4f754e4db74bbbf08ba43871
A Graphical Modelling Editor for STARSoC Design Flow Tool Based on Model Driven Engineering Approach
Publikováno v:
e-Informatica Software Engineering Journal, Vol 12, Iss 1, Pp 9-26 (2018)
Background: Due to the increasing complexity of embedded systems, system designers use higher levels of abstraction in order to model and analyse system performances. STARSoC (Synthesis Tool for Adaptive and Reconfigurable System-on-Chip) is a tool f
Externí odkaz:
https://doaj.org/article/8eaf2967d2d7448c8cb41e67e10f8792
Publikováno v:
Applied Sciences, Vol 11, Iss 20, p 9743 (2021)
Models@runtime (models at runtime) are based on computation reflection. Runtime models can be regarded as a reflexive layer causally connected with the underlying system. Hence, every change in the runtime model involves a change in the reflected sys
Externí odkaz:
https://doaj.org/article/ffb4e20d270743398c98a6d3136fbf08
Publikováno v:
Journal of Computing and Information Technology, Vol 24, Iss 2, Pp 149-163 (2016)
Mobile agent-based applications are special type of software systems which take the advantages of mobile agents in order to provide a new beneficial paradigm to solve multiple complex problems in several fields and areas such as network management, e
Externí odkaz:
https://doaj.org/article/28219c171f9241f08cbf9b18d2711674
Reducing the number of migrated instances during business process change: A graph rewriting approach
Publikováno v:
Journal of King Saud University - Computer and Information Sciences. 34:7720-7734
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::f34729f0f20280468e9d002c7149fd35
https://doi.org/10.1016/j.jksuci.2022.06.013
https://doi.org/10.1016/j.jksuci.2022.06.013
Publikováno v:
International Journal of Software Innovation. 10:1-22
The organization of free, democratic, and transparent elections requires on the one hand an independent national electoral authority that manages all the stages of the electoral process and on the other hand the use of new information and communicati
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::b8346410316e1a8f42de6b1b57d8dbb2
https://doi.org/10.4018/ijsi.309731
https://doi.org/10.4018/ijsi.309731
Publikováno v:
International Journal of Organizational and Collective Intelligence. 12:1-23
This work addresses one of the core issues in modern enterprises applications: Business Process (BP), by proposing a new comprehensive model-driven approach for automated and formal verification of BP models. This allows BP specialists to formally an
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::c689373702127e998e70737e4a47b8fc
https://doi.org/10.4018/ijoci.304887
https://doi.org/10.4018/ijoci.304887
Publikováno v:
Quantum Information Processing. 22
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::6540ac70e5f20183712bdc4483420395
https://doi.org/10.1007/s11128-022-03803-3
https://doi.org/10.1007/s11128-022-03803-3
Publikováno v:
COMPUTING AND INFORMATICS; Vol. 41 No. 5 (2022): Computing and Informatics; 1284–1309
Unified Modeling Language (UML) 2.0 Sequence Diagrams (UML 2.0 SD) are used to describe interactions in software systems. These diagrams must be verified in the early stages of software development process to guarantee the production of a reliable sy
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::923d8a5c4bdece652824e0049e459333
https://www.cai.sk/ojs/index.php/cai/article/view/2022_5_1284
https://www.cai.sk/ojs/index.php/cai/article/view/2022_5_1284
The service computing paradigm has been widely adopted in various domains, such as in Web applications, Cloud computing and Internet of Things (IoT). Service providers offer services to their clients depending on their functional and non-functional r
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::e210f8fd3fa6ccfd8f1df3e387e25a11
https://doi.org/10.21203/rs.3.rs-2302388/v1
https://doi.org/10.21203/rs.3.rs-2302388/v1
