321 search results - page 4 / 65 » Specifying Executable Platform-Independent Models using OCL |
88
Voted
TEAA
2005
Springer
15 years 5 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...
100
click to vote
EDOC
2005
IEEE
15 years 5 months ago
2005
IEEE
In model driven development (MDD), specifying transformations between models at various levels of ion can be a complex task. Specifying transformations for pervasive system featur...
118
click to vote
EDOC
2011
IEEE
13 years 11 months ago
2011
IEEE
—In this paper, we present a UML metamodel-based approach for creating and executing workflow models. The modeling language is introduced through its abstract syntax, and an eval...
CAISE
2006
Springer
15 years 1 months ago
2006
Springer
: Integrity checking is aimed at determining whether an operation execution violates a given integrity constraint. To perform this computation efficiently, several incremental meth...
131
click to vote
APSEC
2007
IEEE
15 years 6 months ago
2007
IEEE
Executable UML allows precisely describing the softtem at a higher level of abstraction. It bridges the semantics gap between the UML design models and the implementation. The exe...