5525 search results - page 26 / 1105 » Verification of Model Transformations |
140
click to vote
JUCS
2010
14 years 9 months ago
2010
Abstract: Model-Driven Architecture (MDA) presents a set of layered models to separate design concerns from platform concerns. The model executability for each model element is sti...
125
click to vote
ENTCS
2006
15 years 2 months ago
2006
The approaches to automatic formal verification of UML models known up to now require a finite bound on the number of objects existing at each point in time. In [4] we have observ...
120
click to vote
BPM
2006
Springer
15 years 4 months ago
2006
Springer
Abstract. This paper addresses the problem of analyzing the interaction between BPEL processes. We present a technology chain that starts out with a BPEL process and transforms it ...
113
Voted
TSE
2002
15 years 2 months ago
2002
171
Voted
AOSD
2008
ACM
15 years 4 months ago
2008
ACM
e instantiation is the transformation of abstract test cases cutable test scripts. Abstract test cases are either created during model based test case generation or are manually d...