3885 search results - page 186 / 777 » Transformations for Write-All-with-Collision Model |
141
click to vote
BPM
2009
Springer
15 years 6 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...
130
Voted
FMOODS
2007
15 years 6 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...
145
click to vote
SEKE
2009
Springer
15 years 11 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...
118
click to vote
HICSS
2008
IEEE
15 years 11 months ago
2008
IEEE
Merging and integrating different conceptual models which have been developed by domain experts and analysts with dissimilar perspectives on the same issue has been the subject of...
151
click to vote
UML
2005
Springer
15 years 10 months ago
2005
Springer
This paper overviews the Modeling Turnpike (mTurnpike) project, which investigates a generic model-driven development framework that supports various domain-specific solutions (i.e...