Automatic Generation of Valid Behavioral Scripts from UML Sequence Diagrams

Simple item page
dc.centroE.T.S.I. Informáticaen_US
dc.contributor.authorMuñoz Ariza, Paula
dc.contributor.authorBurgueño-Caballero, Lola
dc.contributor.authorVallecillo-Moreno, Antonio Jesús
dc.contributor.authorGogolla, Martin
dc.date.accessioned2019-09-20T08:42:54Z
dc.date.available2019-09-20T08:42:54Z
dc.date.created2019
dc.date.issued2019-09-20
dc.departamentoLenguajes y Ciencias de la Computación
dc.description.abstractThis 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.sponsorshipUniversidad de Málaga. Campus de Excelencia Internacional Andalucía Tech. Proyecto PGC2018-094905-B-I00en_US
dc.identifier.urihttps://hdl.handle.net/10630/18417
dc.language.isoengen_US
dc.relation.eventdateseptiembre 2019en_US
dc.relation.eventplaceMunichen_US
dc.relation.eventtitleOCL Workshop at MODELS 2019en_US
dc.rights.accessRightsopen accessen_US
dc.subjectUML (Informática)en_US
dc.subject.otherModel-based software engineeringen_US
dc.subject.otherUML Sequence Diagramsen_US
dc.subject.otherMessage Sequence Chartsen_US
dc.titleAutomatic Generation of Valid Behavioral Scripts from UML Sequence Diagramsen_US
dc.typejournal articlees_ES
dspace.entity.typePublication
relation.isAuthorOfPublication31808e70-d2ec-4318-8ead-dded38954d40
relation.isAuthorOfPublication7ab91778-b814-4352-aa54-17a4f298ee66
relation.isAuthorOfPublication.latestForDiscovery31808e70-d2ec-4318-8ead-dded38954d40

Files

Original bundle

Now showing 1 - 1 of 1
Thumbnail Image
Name:
OCL2019_paper_4 (2).pdf
Size:
959.78 KB
Format:
Adobe Portable Document Format
Description:
Articulo
Download

Description: Articulo

Collections

Artículos