Zobrazeno 1 - 10
of 13
pro vyhledávání: '"Raida Elmansouri"'
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
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
This work is licensed under a Creative Commons Attribution 4.0 International License. This paper proposes an approach integrating UML 2.0 Activity Diagrams (UML2-AD) and Communicating Sequential Process (CSP) for modeling and verication of software s
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::ae419007ec6c924b944e920184970de9
Publikováno v:
International Journal of Information Technology and Computer Science. 5:15-27
In this work we present an approach and a tool for transforming business patterns to labelled Petri nets. This transformation is justified by the fact that Petri nets have efficient analysis techniques. We specify first, business patterns and labelle
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::e9f15b344e338c6c9385b2551f9d7864
https://doi.org/10.5815/ijitcs.2013.02.02
https://doi.org/10.5815/ijitcs.2013.02.02
Publikováno v:
Lecture Notes on Software Engineering. :39-43
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::4e8d3b5f7047d36d6809def4887a242b
https://doi.org/10.7763/lnse.2013.v1.9
https://doi.org/10.7763/lnse.2013.v1.9
Publikováno v:
2013 The International Conference on Technological Advances in Electrical, Electronics and Computer Engineering (TAEECE).
UML is a standard language for object-oriented paradigm with an open notation and several concepts to be widely used in software modeling. However, the poorness of modeling languages to deal with simulation and verification has actuated researchers t
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::ffcb6820bb17034777c793da737e6380
https://doi.org/10.1109/taeece.2013.6557318
https://doi.org/10.1109/taeece.2013.6557318
UML is considered as the standard for object-oriented modelling language adopted by the Object Management Group. However, UML has been criticized due to the lack of formal semantics and the ambiguity of its models. In other hands, UML models can be m
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::405fc9cdf58c3b4dafde208c70661df6
http://dspace.univ-constantine2.dz/handle/123456789/271
http://dspace.univ-constantine2.dz/handle/123456789/271
Publikováno v:
Networked Digital Technologies ISBN: 9783642305665
NDT (2)
NDT (2)
The poorness of modelling languages to deal with code mobility at requirement phase has incited the researchers to suggest new formalisms. Among these, we find Labelled Reconfigurable Net (LRN). It allows, in a simple and intuitive way, modelling mob
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::1a457ca42d6c3b8667c3315260ca1c2e
https://doi.org/10.1007/978-3-642-30567-2_34
https://doi.org/10.1007/978-3-642-30567-2_34
Publikováno v:
International Symposium on Innovations in Information and Communications Technology.
This paper presents an approach for transforming UML Statecharts to General Stochastics Petri Nets. Unified Modelling Language (UML) is considered to be the standarditized language for modelling and describing systems behaviours for analysis. In othe
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::34ebf823d1a647239fc3274470872661
https://doi.org/10.1109/isiict.2011.6149602
https://doi.org/10.1109/isiict.2011.6149602