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
2017
Review
2017
Translating the Air Traffic Control Model
We took a tour of the key decisions made during translation of an xUML model in the previous chapter. A pycca model script is… 
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
Embedded system design based on aspect-oriented executable UML
System-level design methodology is one of the design paradigm for embedded systems. As embedded systems are getting much larger… 
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… 
2008
2008
Aspect-Oriented Executable UML Models for Context-Aware Pervasive Applications
Pervasive applications must be aware of the contexts where they are executed. These contexts may vary greatly from each other and… 
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)