Skip to search formSkip to main contentSkip to account menu

Executable UML

Known as: FUML, XtUML, Xuml 
Executable UML (xtUML or xUML) is both a software development method and a highly abstract software language. The language "combines a subset of the… 
Wikipedia (opens in a new tab)

Related topics

Related topics

45 relations
Action (UML)Aspect-oriented programmingAuthenticationAutomata-based programming (Shalyto's approach)

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
Review
2014
Review
2014
Textual, Executable, Translatable UML
This paper advocates the application of language embedding for executable UML modeling. In particular, txtUML is presented, a… 
2014
2014
Design and Validation for DoDAF Executable Architecture Based on xUML
The validity and rationality of the Architecture can be validated by imitating and executing on Executable Architecture. In this… 
2012
2012
Moliz: a model execution framework for UML models
In model-driven development models are the primary artifacts in the software development process. Consequently, the quality of… 
2010
2010
Automated Verification of Executable UML Models
We present a fully automated approach to verifying safety properties of Executable UML models (xUML). Our tool chain consists of… 
2009
2009
A framework for executable UML models
One approach to support the creation of executable UML models is to utilize an existing DEVS simulation environment. The Discrete… 
2008
2008
Data Flow Analysis of UML Action Semantics for Executable Models
Executable modeling allows the models to be executed and treated as prototype to determine the behavior of a system. These models… 
2008
2008
A novel method for auto configuration of Realtime Ethernet Networks
This paper describes a novel method for layer-2 auto-configuration of realtime Ethernet networks. Our approach is able to roll… 
2005
2005
Mapping DEVS Models onto UML Models
Discrete event simulation specification (DEVS) is a formalism designed to describe both discrete state and continuous state… 
2003
2003
A Framework for Aspect-Oriented Modeling
Domains are semantically autonomous and they stand alone. For example, an Elevator model should be built without a button class… 
2001
2001
Model checking for an executable subset of UML
The paper presents an approach to model checking software system designs specified in xUML (http://www.kc.com/html/xuml.html), an… 
By clicking accept or continuing to use the site, you agree to the terms outlined in our Privacy Policy (opens in a new tab), Terms of Service (opens in a new tab), and Dataset License (opens in a new tab)