Sciweavers

1148 search results - page 4 / 230
» WebML modelling in UML
Sort
View
UML
2001
Springer
13 years 12 months ago
A Formal Mapping between UML Static Models and Algebraic Specifications
: There are several reasons to specify UML models in a formal way The most important are to avoid inconsistencies and ambiguities and to do verification and forecasting of system p...
Liliana Favre
IJWET
2006
163views more  IJWET 2006»
13 years 7 months ago
A CASE tool for modelling and automatically generating web service-enabled applications
: This paper presents a CASE tool for the high-level specification of web applications integrated with web services. The CASE tool is based on WebML, a conceptual modelling languag...
Marco Brambilla, Stefano Ceri, Sara Comai, Piero F...
UML
2005
Springer
14 years 28 days ago
Model Transformations in Practice Workshop
Jean Bézivin, Bernhard Rumpe, Andy Schü...
UML
2005
Springer
14 years 28 days ago
Transformation-Based Structure Model Evolution
This paper summarizes an approach to support evolution of software models by means of a transformation catalogue. These transformations treat UML class diagram models, OCL constrai...
Fabian Büttner