Automatic Generation of Valid Behavioral Scripts from UML Sequence Diagrams

dc.contributor.author	Muñoz Ariza, Paula
dc.contributor.author	Burgueño-Caballero, Lola
dc.contributor.author	Vallecillo-Moreno, Antonio Jesús
dc.contributor.author	Gogolla, Martin
dc.date.accessioned	2019-09-20T08:42:54Z
dc.date.available	2019-09-20T08:42:54Z
dc.date.created	2019
dc.date.issued	2019-09-20
dc.identifier.uri	https://hdl.handle.net/10630/18417
dc.description.abstract	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.	en_US
dc.description.sponsorship	Universidad de Málaga. Campus de Excelencia Internacional Andalucía Tech. Proyecto PGC2018-094905-B-I00	en_US
dc.language.iso	eng	en_US
dc.rights	info:eu-repo/semantics/openAccess	en_US
dc.subject	UML (Informática)	en_US
dc.subject.other	Model-based software engineering	en_US
dc.subject.other	UML Sequence Diagrams	en_US
dc.subject.other	Message Sequence Charts	en_US
dc.title	Automatic Generation of Valid Behavioral Scripts from UML Sequence Diagrams	en_US
dc.type	info:eu-repo/semantics/article	en_US
dc.centro	E.T.S.I. Informática	en_US
dc.relation.eventtitle	OCL Workshop at MODELS 2019	en_US
dc.relation.eventplace	Munich	en_US
dc.relation.eventdate	septiembre 2019	en_US