Zobrazeno 1 - 10
of 29
pro vyhledávání: '"Mohamed Bettaz"'
Publikováno v:
International Journal of Software Engineering & Applications. 8:01-12
Object-Z is an object-oriented specification language which extends the Z language with classes, objects, inheritance and polymorphism that can be used to represent the specification of a complex system as collections of objects. There are a number o
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::528efec84195b857138752e45c39cf7e
https://doi.org/10.5121/ijsea.2017.8401
https://doi.org/10.5121/ijsea.2017.8401
Publikováno v:
International Journal of Embedded and Real-Time Communication Systems. 8:1-23
One of the ways to specify dynamic behavior in UML is to model interactions between objects with sequence diagrams, and model the behavior of each object with state machines. In this context, the problem of ensuring consistency between the sequence d
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::f9c608354c436558f25f295c04e9d672
https://doi.org/10.4018/ijertcs.2017070101
https://doi.org/10.4018/ijertcs.2017070101
Autor:
Karim Djemame, Mohamed Bettaz
Publikováno v:
International Journal of Parallel, Emergent and Distributed Systems. 36:51-52
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::c8c1895e6956054979c098661fd99dab
https://doi.org/10.1080/17445760.2020.1762885
https://doi.org/10.1080/17445760.2020.1762885
Autor:
Mourad Maouche, Mohamed Bettaz
Publikováno v:
International Journal of Software Engineering and Its Applications. 10:205-218
In this work we propose a development methodology aiming to bridge the gap between approaches used by (e)-science communities to develop their modeling frameworks, and model driven engineering approaches used to develop modeling frameworks with simil
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::74daeebac5c61631f4055fd6ff21362a
https://doi.org/10.14257/ijseia.2016.10.11.18
https://doi.org/10.14257/ijseia.2016.10.11.18
Publikováno v:
ANT/SEIT
This paper describes a way based on operational semantics of π-calculus and uses TGG tool to formalize sequence diagrams to establish formal verification through model transformations. Our transformation uses basic interactions and combined fragment
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::5c6abe02456275b7410815b676c4d4e4
Autor:
Mohamed Bettaz, Mourad Maouche
Publikováno v:
2018 7th International Conference on Reliability, Infocom Technologies and Optimization (Trends and Future Directions) (ICRITO).
In this work we propose an heterogeneous approach for the specification and design of Ambient Assisted Living (AAL) Systems based on UML-MARTE and TCOZ. The proposed mapping between MARTE models and TCOZ specifications relies mainly on Timed Automata
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::483d9475bd9a51f10f26ae6120c03f49
https://doi.org/10.1109/icrito.2018.8748552
https://doi.org/10.1109/icrito.2018.8748552
Autor:
Mohamed Bettaz, Mourad Maouche
Publikováno v:
2017 International Conference on Infocom Technologies and Unmanned Systems (Trends and Future Directions) (ICTUS).
UML/OCL and Object-Z are two technologies complementing each other. They show a “converging” syntax for their basic features, and are distinguished by a “diverging” syntax for their more advanced features. The objective of this paper is twofo
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::5b97b291d26728f997fb43d6e0292c72
https://doi.org/10.1109/ictus.2017.8285980
https://doi.org/10.1109/ictus.2017.8285980
Autor:
Mourad Maouche, Mohamed Bettaz
Publikováno v:
2017 6th International Conference on Reliability, Infocom Technologies and Optimization (Trends and Future Directions) (ICRITO).
Institution theory is a categorical approach to abstract model theory free of commitment to any particular logical system. As regards to modeling, the concept of institution contributed to a better understanding of various modeling concepts such as h
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::dc59f1cbae8a130d9a47217caafa9d60
https://doi.org/10.1109/icrito.2017.8342405
https://doi.org/10.1109/icrito.2017.8342405
Publikováno v:
International Journal of Computational Vision and Robotics. 9:172
Several approaches have been proposed in the literature to transform UML models to formal methods for verification reason. However, few of these approaches take into account the validation of such transformations. This paper is a proposal in this con
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::365534a20df7122b89308df37770edc2
https://doi.org/10.1504/ijcvr.2019.098799
https://doi.org/10.1504/ijcvr.2019.098799
Publikováno v:
Software, Services, and Systems ISBN: 9783319155449
Software, Services, and Systems
Software, Services, and Systems
Large software systems are best specified using a multi-paradigm approach. Depending on which aspects of a system one wants to model, some logic formalisms are better suited than others. The theory of institutions and (co)morphisms between institutio
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::827a253cd910e76a2e0daf1e8c105f23
https://doi.org/10.1007/978-3-319-15545-6_11
https://doi.org/10.1007/978-3-319-15545-6_11
