Zobrazeno 1 - 10
of 54
pro vyhledávání: '"UML Validation"'
Autor:
Bouabana-Tebibel, Thouraya
Publikováno v:
Journal of Computing & Information Technology; Jun2007, Vol. 15 Issue 2, p171-183, 13p
Publikováno v:
International Journal of Critical Computer-Based Systems; 2016, Vol. 6 Issue: 4 p302-321, 20p
Publikováno v:
International Journal of Critical Computer-Based Systems. 6:302
OCL has been integrated to UML as a modern and formal modelling language, which is easy to learn and efficient to use. UML is a semi-formal language that does not support validation tasks. Petri nets serve as a formalism defining a denotational seman
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::d1fe9b051d634b2b91d777ca633c2e1c
https://doi.org/10.1504/ijccbs.2016.081807
https://doi.org/10.1504/ijccbs.2016.081807
Autor:
Thouraya Bouabana-Tebibel
Publikováno v:
Journal of computing and information technology
Volume 15
Issue 2
Volume 15
Issue 2
Formal validation of UML models proves to be hardly realizable, due to the imprecise semantics of UML dynamic diagrams. To remedy that, we first present a technique for transforming UML statecharts into Petri nets. We develop afterwards, an approach
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::182625249ac9aef485a456f8b9beaf9e
https://hrcak.srce.hr/44630
https://hrcak.srce.hr/44630
Conference
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Conference
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Publikováno v:
Proceedings 16th Annual International Conference on Automated Software Engineering (ASE 2001); 2001, p315-318, 4p
Publikováno v:
Reliability Engineering & System Safety. 158:172-184
The released ISO 26262 standard for automotive systems requires to create a hazard analysis and risk assessment and to create safety goals, to break down these safety goals into functional safety requirements in the functional safety concept, to spec
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::6714bb2391899790ad459cafb2a25f9b
https://doi.org/10.1016/j.ress.2016.08.018
https://doi.org/10.1016/j.ress.2016.08.018
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:
Felani, Herman Oddyansyah1 oddiekun@gmail.com, Santosa, Wahyuningsih1 wahyuningsih@trisakti.ac.id, Idris, Panca Purakusuma1 panca051083@gmail.com
Publikováno v:
Eduvest: Journal Of Universal Studies. Sep2024, Vol. 4 Issue 9, p7941-7948. 8p.