Results 1 - 10
of
6,568
Integrating and Refining UML Models
- 314, MARCH 2005 UNU-IIST, P.O. BOX 3058, MACAU 32 UML2004 WORKSHOP ON CONSISTENCY PROBLEMS IN UML-BASED SOFTWARE DEVELOPMENT, OCTOBER 10-15, 2004
, 2004
"... We use a formal object-oriented specification language (OOL) to formalize and combine some UML models. With the formalization, we develop a set of refinement laws of UML models that captures the essential nature, principles, nature and patterns of object-oriented design. With the support of the incr ..."
Abstract
-
Cited by 1 (0 self)
- Add to MetaCart
We use a formal object-oriented specification language (OOL) to formalize and combine some UML models. With the formalization, we develop a set of refinement laws of UML models that captures the essential nature, principles, nature and patterns of object-oriented design. With the support
Visualizing Requirements in UML Models
"... As the Unified Modeling Language (UML) and modeldriven development (MDD) become increasingly common in industry, many developers are faced with the difficult task of understanding how an existing UML model realizes system requirements. Essentially, developers are required to understand the structure ..."
Abstract
-
Cited by 4 (3 self)
- Add to MetaCart
As the Unified Modeling Language (UML) and modeldriven development (MDD) become increasingly common in industry, many developers are faced with the difficult task of understanding how an existing UML model realizes system requirements. Essentially, developers are required to understand
Verification and Correction of UML Models
, 2006
"... Modeling is a complex process which is quite hard to do in a structured and controlled way. Many companies provide a set of guidelines for model structure, naming conventions and other modeling rules. Using meta-models to describe these guidelines makes it possible to check whether an UML model foll ..."
Abstract
- Add to MetaCart
Modeling is a complex process which is quite hard to do in a structured and controlled way. Many companies provide a set of guidelines for model structure, naming conventions and other modeling rules. Using meta-models to describe these guidelines makes it possible to check whether an UML model
vUML: a Tool for Verifying UML Models
, 1999
"... The Unified Modelling Language (UML) is a standardised notation for describing object-oriented software designs. We present vUML, a tool that automatically verifies UML models. vUML verifies models where the behaviour of the objects is described using UML Statecharts diagrams. It supports concurrent ..."
Abstract
-
Cited by 105 (3 self)
- Add to MetaCart
The Unified Modelling Language (UML) is a standardised notation for describing object-oriented software designs. We present vUML, a tool that automatically verifies UML models. vUML verifies models where the behaviour of the objects is described using UML Statecharts diagrams. It supports
Running and Debugging UML Models
"... 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 ..."
Abstract
- Add to MetaCart
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
Slicing of UML Models
"... Abstract. This paper defines techniques for the slicing of UML models, that is, for the restriction of models to those parts which specify the properties of a subset of the elements within them. The purpose of this restriction is to produce a smaller model which permits more effective analysis and c ..."
Abstract
-
Cited by 1 (0 self)
- Add to MetaCart
Abstract. This paper defines techniques for the slicing of UML models, that is, for the restriction of models to those parts which specify the properties of a subset of the elements within them. The purpose of this restriction is to produce a smaller model which permits more effective analysis
Validating UML Models and OCL Constraints
, 2000
"... . The UML has been widely accepted as a standard for modeling software systems and is supported by a great number of CASE tools. However, UML tools often provide only little support for validating models early during the design stage. Also, there is generally no substantial support for constrain ..."
Abstract
-
Cited by 67 (9 self)
- Add to MetaCart
. The UML has been widely accepted as a standard for modeling software systems and is supported by a great number of CASE tools. However, UML tools often provide only little support for validating models early during the design stage. Also, there is generally no substantial support
Quantitative Analysis of UML Models
"... Abstract: When developing a safety-critical system it is essential to obtain an assessment of different design alternatives. In particular, an early safety assessment of the architectural design of a system is desirable. In spite of the plethora of available formal quantitative analysis methods it i ..."
Abstract
-
Cited by 1 (1 self)
- Add to MetaCart
it is still difficult for software and system architects to integrate these techniques into their every day work. This is mainly due to the lack of methods that can be directly applied to architecture level models, for instance given as UML diagrams. Our approach bridges this gap and improves the integration
On transforming UML models into performance models
- Workshop on Transformations in the Unified Modeling Language
"... this paper we present and compare some recently proposed approaches on the transformation of UML models of SAs into performance evaluation models. We aim at pointing out how the model transformation techniques make use of the UML diagrams ..."
Abstract
-
Cited by 15 (0 self)
- Add to MetaCart
this paper we present and compare some recently proposed approaches on the transformation of UML models of SAs into performance evaluation models. We aim at pointing out how the model transformation techniques make use of the UML diagrams
J.M.: Refactoring UML Models
- In: UML’01. LNCS
, 2001
"... Abstract. Software developers spend most of their time modifying and maintaining existing products. This is because systems, and consequently their design, are in perpetual evolution before they die. Nevertheless, dealing with this evolution is a complex task. Before evolving a system, structural mo ..."
Abstract
-
Cited by 71 (0 self)
- Add to MetaCart
. In this paper we present a set of refactorings and explain how they can be designed so as to preserve the behavior of a UML model. Some of these refactorings are illustrated with examples. 1
Results 1 - 10
of
6,568