Information Technology Reference
In-Depth Information
Fig. 3. The deployed components of the example system
vided, and a converter tool producing an ATC from a trace using the UML-
UPPAAL mapping information. For all the three tools framework connectors
are provided.
Let's assume that the railway company -who wants to generate test cases-
stores their models in an SVN repository deployed on Host A (where the UML
model is located and to where the intermediate models and results shall be
uploaded), and has a test server ( Host B ) with a Jackrabbit JCR based test
repository on it (to where the ATC shall be uploaded). To use our framework,
we need a process server (the jBPM workflow engine), which is worth to be
deployed in a separate machine ( Host C ). In our example, we chose to deploy
the transformation and the converter tools also to Host C as these are quite
lightweight tools, but the UPPAAL model checker is deployed to a separate,
strong machine ( Host D ) as in case of large models it needs more resources
(Fig. 3).
To allow the process server to access the tools and data repositories, the
SDE Tool Manager component shall be deployed to all hosts with the appro-
priate tool or repository connectors. In addition, the General Data Repository
Component shall be deployed to the host where the process execution engine
is located ( Host C ), and the File System Connector to the hosts where tools
operating on local files are deployed ( Host C, D ).
Search WWH ::




Custom Search