RT Journal Article
T1 Automatic Generation of Valid Behavioral Scripts from UML Sequence Diagrams
A1 Muñoz Ariza, Paula
A1 Burgueño-Caballero, Lola
A1 Vallecillo-Moreno, Antonio Jesús
A1 Gogolla, Martin
K1 UML (Informática)
AB This paper presents the extension of a UML and OCL tool that enables the textual specification of UML sequence diagrams, and the automated generation of all valid behaviors according to these sequence diagrams. Message Sequence Charts (MSC) are used as the textual notation to specify the UML sequence diagrams, and the USE high-level action language SOIL is used to specify behavior.
YR 2019
FD 2019-09-20
LK https://hdl.handle.net/10630/18417
UL https://hdl.handle.net/10630/18417
LA eng
NO Universidad de Málaga. Campus de Excelencia Internacional Andalucía Tech. Proyecto PGC2018-094905-B-I00
DS RIUMA. Repositorio Institucional de la Universidad de Málaga
RD 24 ene 2026