203 search results - page 17 / 41 » Using OCL in Executable UML |
UML
2005
Springer
14 years 1 months ago
2005
Springer
In the context of Model Driven Development, models play a central role. Since models can nowadays be executed, they are used not only for description but also for production [32][3...
SIGSOFT
2009
ACM
14 years 8 months ago
2009
ACM
Modern development environments often involve models with complex consistency relations. Some of the relations can be automatically established through "fixing procedures&quo...
VL
2000
IEEE
13 years 12 months ago
2000
IEEE
The formal approach to visual language definition is to use graph grammars and/or graph transformation techniques. These techniques focus on specifying the syntax and manipulation...
AIME
2009
Springer
13 years 8 months ago
2009
Springer
: Clinical Pathways can be viewed as workflows, comprising an ordering of activities with associated execution constraints. Workflow models allow formal representation, analysis an...
TEAA
2005
Springer
14 years 1 months ago
2005
Springer
Enterprise systems are mission critical. As a result, ensuring their correctness is of primary concern. This paper aids to the analysis of Web Applications, focusing on the aspects...