Implementation Issues Concerning the Action Systems Formalism

Formal methods have emerged as a rigorous framework for developing correct parallel and distributed software. However, implementation of these systems is often difficult to realize. This paper proposes a number of practical solutions to problems regarding implementation of parallel programs developed using formal methods. We focus on implementation using industry standard software and hardware. We propose a new approach to combine partitioning, scheduling and rollback into a convenient solution for implementing parallel systems. A proof-of-concept tool, ELSA, has been developed hand in hand with our research to demonstrate the applicability of our methods. We also provide a theoretical foundation as justification for our methods.