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… 
2012
2012
Towards xMOF: executable DSMLs based on fUML
When defining a domain-specific modeling language (DSML), the two key components that have to be specified are its syntax and… 
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… 
Review
2010
Review
2010
UML Model Refactoring: Support for Maintenance of Executable UML Models
One of the inevitable negative effects of software evolution is design erosion. Refactoring is a technique that aims at… 
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
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… 
2007
2007
Using OCL in Executable UML
Executable UML allows precisely describing the software system at a higher level of abstraction. The executable models can be… 
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)