Conclusions

	Home
	Team
	Motivation
	Requirements
	Design
	Implementation
	Experiments
	Conclusions
	References
	Presentation
	Appendix

Conclusions

There is still a lot of further work that can be done, in particular automating this process is very important. In the current work we also only address a subset of statecharts and sequence diagrams. We still have to address history, broadcast and guards and for sequence diagrams alt, opt, ref and loop constructions need to be handled. The need for better analysis or more detailed analysis might also be necessary.