Rights accessRestricted access - publisher's policy
MDD 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.
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.
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. If you wish to make any use of the work not provided for in the law, please contact: firstname.lastname@example.org