UmpleRun: A dynamic analysis tool for textually modeled state machines using umple

Hamoud Aljamaan; Timothy Lethbridge; Miguel Garzón; Andrew Forward

UmpleRun: A dynamic analysis tool for textually modeled state machines using umple

Hamoud Aljamaan, Timothy Lethbridge, Miguel Garzón, Andrew Forward

Research output: Contribution to journal › Conference article › peer-review

4 Scopus citations

Abstract

In this paper, we present a tool named UmpleRun that allows modelers to run the textually specified state machines under analysis with an execution scenario to validate the model's dynamic behavior. In addition, trace specification will output execution traces that contain model construct links. This will permit analysis of behavior at the model level.

Original language	English
Pages (from-to)	16-20
Number of pages	5
Journal	CEUR Workshop Proceedings
Volume	1560
State	Published - 2015
Externally published	Yes

Keywords

Analysis
Execution trace
MOTL
State machine
UML
Umple
UmpleRun

ASJC Scopus subject areas

General Computer Science

Cite this

@article{6d69f53e13bd4c51949e4f6b3f94ef01,

title = "UmpleRun: A dynamic analysis tool for textually modeled state machines using umple",

abstract = "In this paper, we present a tool named UmpleRun that allows modelers to run the textually specified state machines under analysis with an execution scenario to validate the model's dynamic behavior. In addition, trace specification will output execution traces that contain model construct links. This will permit analysis of behavior at the model level.",

keywords = "Analysis, Execution trace, MOTL, State machine, UML, Umple, UmpleRun",

author = "Hamoud Aljamaan and Timothy Lethbridge and Miguel Garz{\'o}n and Andrew Forward",

year = "2015",

language = "English",

volume = "1560",

pages = "16--20",

journal = "CEUR Workshop Proceedings",

issn = "1613-0073",

publisher = "CEUR-WS",

}

TY - JOUR

T1 - UmpleRun

T2 - A dynamic analysis tool for textually modeled state machines using umple

AU - Aljamaan, Hamoud

AU - Lethbridge, Timothy

AU - Garzón, Miguel

AU - Forward, Andrew

PY - 2015

Y1 - 2015

N2 - In this paper, we present a tool named UmpleRun that allows modelers to run the textually specified state machines under analysis with an execution scenario to validate the model's dynamic behavior. In addition, trace specification will output execution traces that contain model construct links. This will permit analysis of behavior at the model level.

AB - In this paper, we present a tool named UmpleRun that allows modelers to run the textually specified state machines under analysis with an execution scenario to validate the model's dynamic behavior. In addition, trace specification will output execution traces that contain model construct links. This will permit analysis of behavior at the model level.

KW - Analysis

KW - Execution trace

KW - MOTL

KW - State machine

KW - UML

KW - Umple

KW - UmpleRun

UR - https://www.scopus.com/pages/publications/84964461706

M3 - Conference article

AN - SCOPUS:84964461706

SN - 1613-0073

VL - 1560

SP - 16

EP - 20

JO - CEUR Workshop Proceedings

JF - CEUR Workshop Proceedings

ER -

UmpleRun: A dynamic analysis tool for textually modeled state machines using umple

Abstract

Keywords

ASJC Scopus subject areas

Fingerprint

Cite this