Using UML for automatic test generation (2002)
Ra Cavarra, Charles Crichton, Jim Davies, Alan Hartman, Laurent Mounier
Abstract. This paper presents an architecture for model-based verification and testing using a profile of the Unified Modeling Language (UML). Class, object, and state diagrams are used to define...
Modeling the Dynamics of UML State Machines (2000)
Egon Börger, Ra Cavarra, Elvinia Riccobene
Abstract. We define the dynamic semantics of UML State Machines which integrate statecharts with the UML object model. The use of ASMs allows us (a) to rigorously model the event driven run to...
An ASM Semantics for UML Activity Diagrams (2000)
Egon Börger, Ra Cavarra, Elvinia Riccobene
Abstract. We provide a rigorous semantics for one of the central diagram types which are used in UML for the description of dynamical system behavior, namely activity diagrams. We resolve for these...