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. We also explore the model debugging capabilities as a premature means of conceptual fail discovery. In this paper is presented a new xUML tool called XIS-xModels that gives Microsoft Visio new capabilities of running ...
We describe a translation of a subset of executable UML (xUML) into the process algebraic specificat...
Model Driven Architecture (MDA) essential goal is to derive value from models. One of the values is ...
Abstract. CSP ‖ B is a formal approach to specification that combines CSP and B. In this paper we pr...
Abstract. Software development evolution is a history of permanent seeks for raising the abstraction...
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 fast growth in complexity coupled with requests for shorter development periods for embedded sys...
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)...
Today almost every IT specialist uses models of some form or another. Models help raise the abstract...
Executable models play a key role in many development methods (such as MDD and MDA) by facilitating ...
Several research efforts from different areas have focused on the execution of UML models, resulting...
htmlabstractWe describe a translation of a subset of executable UML (xUML) into the process algebrai...
One of the inevitable negative effects of software evolution is design erosion. Refactoring is a tec...
This thesis examines an OMG proposal for a tool-chain for working with Executable UML. The proposal ...
We describe a translation of a subset of executable UML (xUML) into the process algebraic specificat...
Model Driven Architecture (MDA) essential goal is to derive value from models. One of the values is ...
Abstract. CSP ‖ B is a formal approach to specification that combines CSP and B. In this paper we pr...
Abstract. Software development evolution is a history of permanent seeks for raising the abstraction...
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 fast growth in complexity coupled with requests for shorter development periods for embedded sys...
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)...
Today almost every IT specialist uses models of some form or another. Models help raise the abstract...
Executable models play a key role in many development methods (such as MDD and MDA) by facilitating ...
Several research efforts from different areas have focused on the execution of UML models, resulting...
htmlabstractWe describe a translation of a subset of executable UML (xUML) into the process algebrai...
One of the inevitable negative effects of software evolution is design erosion. Refactoring is a tec...
This thesis examines an OMG proposal for a tool-chain for working with Executable UML. The proposal ...
We describe a translation of a subset of executable UML (xUML) into the process algebraic specificat...
Model Driven Architecture (MDA) essential goal is to derive value from models. One of the values is ...
Abstract. CSP ‖ B is a formal approach to specification that combines CSP and B. In this paper we pr...