2026-05-30T15:31:51Zhttps://riuma.uma.es/rest/oai/request

oai:riuma.uma.es:10630/184172026-02-03T11:27:32Zcom_10630_2254col_10630_37953

Muñoz Ariza, Paula Burgueño-Caballero, Lola Vallecillo-Moreno, Antonio Jesús Gogolla, Martin 2019-09-20T08:42:54Z 2019-09-20T08:42:54Z 2019-09-20 https://hdl.handle.net/10630/18417 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. eng open access UML (Informática) Automatic Generation of Valid Behavioral Scripts from UML Sequence Diagrams journal article