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
).