Statechart based formal modeling of workflow processes

This paper describes a formal methods approach to process engineering. The approach involves statechart based formal process modeling as well as the use of embedded assertion statecharts to ensure the modeled process adheres to stated requirements. This approach can help the process engineer develop and maintain a process. The formal nature of our approach can also help the process engineer to reason about the process. We apply this approach to the Unified Cross Domain Management Office's cross domain solution workflow process. This is a key process in the development, implementation, and certification and accreditation of cross domain solutions.