Add to ORKGAbstract. Formal modeling notations and visual modeling notations can com-plement each other when developing software models. The most frequently adopted approach is to define transformations between the visual and formal models. However, a significant problem with the currently suggested ap-proaches is that the transformation itself is often described imprecisely, with the result that the overall transformation task may be imprecise, incomplete and in-consistent. This paper presents a formal metamodeling approach to transform between UML and Object-Z. In the paper, the two languages are defined in terms of their formal metamodels, and a systematic transformation between the models is provided at the meta-level in terms of formal mapping fu...
National audienceOur project is combining UML with the B formal method for the domain of data intens...
National audienceOur project is combining UML with the B formal method for the domain of data intens...
The usage of UML in specific contexts (like real-time systems or process modelling) is specially app...
Formal modeling notations and visual modeling notations can complement each other when developing so...
A significant problem with currently suggested approaches for transforming between models in differe...
Abstract. A significant problem with currently suggested approaches for trans-forming between models...
Formal modeling notations and visual modeling notations can complement each other when developing so...
Abstract. As UML 2.0 is evolving into a family of languages with in-dividually specified semantics, ...
In this paper we present an approach for the definition of object-oriented modeling languages using ...
This paper presents a formal Object-Z model of the UML State Machine. We encapsulate the abstract sy...
Abstract UML is defined through metamodelling in a four-layer metamodel hierarchy, where metamodels ...
This thesis presents how evolving software models expressed in different formalisms can be kept cons...
The usage of UML in specific contexts (like real-time systems or process modelling) is specially app...
The usage of UML in specific contexts (like real-time systems or process modelling) is specially app...
Metamodelling is becoming a standard way of defining languages such as the UML. A language definitio...
National audienceOur project is combining UML with the B formal method for the domain of data intens...
National audienceOur project is combining UML with the B formal method for the domain of data intens...
The usage of UML in specific contexts (like real-time systems or process modelling) is specially app...
Formal modeling notations and visual modeling notations can complement each other when developing so...
A significant problem with currently suggested approaches for transforming between models in differe...
Abstract. A significant problem with currently suggested approaches for trans-forming between models...
Formal modeling notations and visual modeling notations can complement each other when developing so...
Abstract. As UML 2.0 is evolving into a family of languages with in-dividually specified semantics, ...
In this paper we present an approach for the definition of object-oriented modeling languages using ...
This paper presents a formal Object-Z model of the UML State Machine. We encapsulate the abstract sy...
Abstract UML is defined through metamodelling in a four-layer metamodel hierarchy, where metamodels ...
This thesis presents how evolving software models expressed in different formalisms can be kept cons...
The usage of UML in specific contexts (like real-time systems or process modelling) is specially app...
The usage of UML in specific contexts (like real-time systems or process modelling) is specially app...
Metamodelling is becoming a standard way of defining languages such as the UML. A language definitio...
National audienceOur project is combining UML with the B formal method for the domain of data intens...
National audienceOur project is combining UML with the B formal method for the domain of data intens...
The usage of UML in specific contexts (like real-time systems or process modelling) is specially app...