Abstract. Software development evolution is a history of permanent seeks for raising the abstraction level to new limits overcoming new frontiers. Executable UML (xUML) comes this way as the expectation to achieve the next level in abstraction, offering the capability of deploying a xUML model in a variety of software environments and platforms without any changes. This paper comes as a first expedition inside xUML, exploring the main aspects of its specification including the action languages support and the fundamental MDA compliance. In this paper is presented a future new xUML tool called XIS-xModels that gives Microsoft Visio new capabilities of running and debugging xUML models. This paper is an outline of the capabilities and main fe...
The Action Semantics for UML provides a standard and platform independent way to describe the behavi...
We present a fully automated approach to verifying safety properties of Executable UML models (xUML)...
We present a fully automated approach to verifying safety properties of Executable UML models (xUML)...
Software development evolution is a history of permanent seeks for raising the abstraction level to ...
UML currently lacks a rigorously defined semantics for its models, which makes formally ana-lyzing a...
Today almost every IT specialist uses models of some form or another. Models help raise the abstract...
The fast growth in complexity coupled with requests for shorter development periods for embedded sys...
This thesis examines an OMG proposal for a tool-chain for working with Executable UML. The proposal ...
This paper presents an approach to model checking soft-ware system designs specied in an executable ...
Abstract. This paper is an attempt to focus on challenges for creating system executables from direc...
The Uni ed Modeling Language or UML, as a visual and general purpose modeling language, has been aro...
Abstract. Executable models allow precise description of software sys-tems at a higher level of abst...
Executable models play a key role in many development methods (such as MDD and MDA) by facilitating ...
Executable UML allows precisely describing the software system at a higher level of abstraction. The...
Several research efforts from different areas have focused on the execution of UML models, resulting...
The Action Semantics for UML provides a standard and platform independent way to describe the behavi...
We present a fully automated approach to verifying safety properties of Executable UML models (xUML)...
We present a fully automated approach to verifying safety properties of Executable UML models (xUML)...
Software development evolution is a history of permanent seeks for raising the abstraction level to ...
UML currently lacks a rigorously defined semantics for its models, which makes formally ana-lyzing a...
Today almost every IT specialist uses models of some form or another. Models help raise the abstract...
The fast growth in complexity coupled with requests for shorter development periods for embedded sys...
This thesis examines an OMG proposal for a tool-chain for working with Executable UML. The proposal ...
This paper presents an approach to model checking soft-ware system designs specied in an executable ...
Abstract. This paper is an attempt to focus on challenges for creating system executables from direc...
The Uni ed Modeling Language or UML, as a visual and general purpose modeling language, has been aro...
Abstract. Executable models allow precise description of software sys-tems at a higher level of abst...
Executable models play a key role in many development methods (such as MDD and MDA) by facilitating ...
Executable UML allows precisely describing the software system at a higher level of abstraction. The...
Several research efforts from different areas have focused on the execution of UML models, resulting...
The Action Semantics for UML provides a standard and platform independent way to describe the behavi...
We present a fully automated approach to verifying safety properties of Executable UML models (xUML)...
We present a fully automated approach to verifying safety properties of Executable UML models (xUML)...