Show simple item record

dc.contributor.authorPlanas Hortal, Elena
dc.contributor.authorCabot Sagrera, Jordi
dc.contributor.authorGómez Seoane, Cristina
dc.contributor.otherUniversitat Politècnica de Catalunya. Departament d'Enginyeria de Serveis i Sistemes d'Informació
dc.date.accessioned2010-04-14T10:30:45Z
dc.date.available2010-04-14T10:30:45Z
dc.date.issued2009
dc.identifier.citationPlanas, E.; Cabot, J.; Gómez, C. Verifying action semantics specifications in UML behavioral models. A: International Conference on Advanced Information Systems Engineering. "21st International Conference on Advanced Information Systems Engineering". Amsterdam: Springer Verlag, 2009, p. 125-140.
dc.identifier.isbn978-3-642-02143-5
dc.identifier.urihttp://hdl.handle.net/2117/6926
dc.description.abstractMDD and MDA approaches require capturing the behavior of UML models in sufficient detail so that the models can be automatically implemented/executed in the production environment. With this purpose, Action Semantics (AS) were added to the UML specification as the fundamental unit of behavior specification. Actions are the basis for defining the fine-grained behavior of operations, activity diagrams, interaction diagrams and state machines. Unfortunately, current proposals devoted to the verification of behavioral schemas tend to skip the analysis of the actions they may include. The main goal of this paper is to cover this gap by presenting several techniques aimed at verifying AS specifications. Our techniques are based on the static analysis of the dependencies between the different actions included in the behavioral schema. For incorrect specifications, our method returns a meaningful feedback that helps repairing the inconsistency.
dc.format.extent16 p.
dc.language.isoeng
dc.publisherSpringer Verlag
dc.subjectÀrees temàtiques de la UPC::Informàtica::Enginyeria del software
dc.subject.lcshSoftware engineering
dc.subject.lcshUML (Computer science)
dc.subject.lcshComputer software -- Verification
dc.subject.otherFormal specification
dc.subject.otherFormal verification
dc.titleVerifying action semantics specifications in UML behavioral models
dc.typeConference report
dc.subject.lemacProgramari -- Verificació
dc.subject.lemacUML (Informàtica)
dc.contributor.groupUniversitat Politècnica de Catalunya. MPI - Modelització i Processament de la Informació
dc.identifier.doi10.1007/978-3-642-02144-2_14
dc.description.peerreviewedPeer Reviewed
dc.relation.publisherversionhttp://www.springerlink.com/content/47501277p0466w27/
dc.rights.accessRestricted access - publisher's policy
drac.iddocument2358893
dc.description.versionPostprint (published version)
upcommons.citation.authorPlanas, E.; Cabot, J.; Gómez, C.
upcommons.citation.contributorInternational Conference on Advanced Information Systems Engineering
upcommons.citation.pubplaceAmsterdam
upcommons.citation.publishedtrue
upcommons.citation.publicationName21st International Conference on Advanced Information Systems Engineering
upcommons.citation.startingPage125
upcommons.citation.endingPage140


Files in this item

Thumbnail

This item appears in the following Collection(s)

Show simple item record

All rights reserved. This work is protected by the corresponding intellectual and industrial property rights. Without prejudice to any existing legal exemptions, reproduction, distribution, public communication or transformation of this work are prohibited without permission of the copyright holder