53 search results - page 2 / 11 » Secrecy UML Method for Model Transformations |
SAC
2006
ACM
13 years 5 months ago
2006
ACM
We propose a rule-based approach for transforming B abstract machines into UML diagrams. We believe that important insight into the structure underlying a B model can be gained by...
MODELS
2007
Springer
13 years 11 months ago
2007
Springer
This paper describes MATA (Modeling Aspects Using a Transformation Approach), a UML aspect-oriented modeling tool that uses graph transformations to specify and compose aspects. Gr...
DKE
2011
13 years 8 days ago
2011
One of the more tedious and complex tasks during the specification of conceptual schemas (CSs) is modeling the operations that define the system behavior. This paper aims to simpl...
WOSP
2005
ACM
13 years 11 months ago
2005
ACM
The change of focus from code to models promoted by OMG's Model Driven Development raises the need for verification of nonfunctional characteristics of UML models, such as pe...
ECMDAFA
2005
Springer
13 years 10 months ago
2005
Springer
The application of MDA to Web services has recently received considerable attention. Similar to UML diagrams, Web services are specialised languages each one targeting a specific a...