66
Chapter 8. Future Work
8.1. Integration
Compositional analysis is sensitive to the architecture of a system. Hence if the
input CCS files that represent behaviors of system modules have been refactored,
the efficiency of compositional analysis would be better. In the future, our tool is
looking forward to combine with the refactoring tool that implement by Cheng [28].
Our tool is implemented by Dev-C++ and is executed in Linux environment in
text mode. We may implement a GUI interface for users to make our tool easier to
use in a visualized way.
Most part of a compositional analysis can be done automatically by our
programs. But the composition hierarchy is still obtained by trial and error,
sometimes human wisdom is required. If this part can be automated in the future,
the whole tool suite can be more friendly to ordinary users.
8.2. Check Safety Properties
In our tool, we only check if there are deadlocks in a system. In the future, we
may add the capability of checking safety properties. The safety properties could be
also transformed as a LTS, the finite-state machine form of our tool. By composing a
system with its safety properties to check if a system violates the safety properties,
PDF created with FinePrint pdfFactory Pro trial version http://www.fineprint.com
67
