hrcak mascot   Srce   HID

Journal of computing and information technology, Vol. 15 No. 2, 2007.

Izvorni znanstveni članak
https://doi.org/10.2498/cit.1000882

Roles at the Basis of UML Validation

Thouraya Bouabana-Tebibel

Puni tekst: engleski, pdf (496 KB) str. 171-183 preuzimanja: 456* citiraj
APA 6th Edition
Bouabana-Tebibel, T. (2007). Roles at the Basis of UML Validation. Journal of computing and information technology, 15 (2), 171-183. https://doi.org/10.2498/cit.1000882
MLA 8th Edition
Bouabana-Tebibel, Thouraya. "Roles at the Basis of UML Validation." Journal of computing and information technology, vol. 15, br. 2, 2007, str. 171-183. https://doi.org/10.2498/cit.1000882. Citirano 27.02.2021.
Chicago 17th Edition
Bouabana-Tebibel, Thouraya. "Roles at the Basis of UML Validation." Journal of computing and information technology 15, br. 2 (2007): 171-183. https://doi.org/10.2498/cit.1000882
Harvard
Bouabana-Tebibel, T. (2007). 'Roles at the Basis of UML Validation', Journal of computing and information technology, 15(2), str. 171-183. https://doi.org/10.2498/cit.1000882
Vancouver
Bouabana-Tebibel T. Roles at the Basis of UML Validation. Journal of computing and information technology [Internet]. 2007 [pristupljeno 27.02.2021.];15(2):171-183. https://doi.org/10.2498/cit.1000882
IEEE
T. Bouabana-Tebibel, "Roles at the Basis of UML Validation", Journal of computing and information technology, vol.15, br. 2, str. 171-183, 2007. [Online]. https://doi.org/10.2498/cit.1000882

Sažetak
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 based on the movement of the objects throughout the roles they play. This approach allows validation of the temporal logic properties translated from the OCL invariants, on the Petri nets derived from the UML models. System property validation is realized thanks to a prior initialization of the objects and exchanged messages between the communicating objects. A case study is given to illustrate the methodology.

Hrčak ID: 44630

URI
https://hrcak.srce.hr/44630

Posjeta: 663 *