14809 search results - page 327 / 2962 » Model transformation by demonstration |
175
click to vote
COMPSAC
2003
IEEE
16 years 1 days ago
2003
IEEE
RDT is a graphical formal modelling language in which the modeller works by constructing diagrams of the processes in their model which they then join together to form complete sy...
215
click to vote
MDAFA
2004
Springer
16 years 3 days ago
2004
Springer
MDA software development requires the interoperability of a wide range of modelling services (operations taking models as inputs and outputs), such as model edition, model transfor...
180
click to vote
BPM
2009
Springer
15 years 7 months ago
2009
Springer
Abstract. The IBM Pattern-based Process Model Accelerators add a set of patterns, transformations, refactoring operations, and a control-flow analysis feature to IBM WebSphere Busi...
167
click to vote
FMOODS
2007
15 years 8 months ago
2007
We present the first tool that offers dynamic verification of extended traints on UML models. It translates a UML model into an Abstract State (ASM) which is transformed by an AS...
176
click to vote
SEKE
2009
Springer
16 years 1 months ago
2009
Springer
Abstract—Business modeling for service engineering aims at flexible transformation of business logic into software code. The ISE framework is an interdisciplinary approach which...