Simulation, Model Checking, and Execution of Activity Models

Abdurrahman Alshareef, Hessam S. Sarjoughian

This paper presents our findings for using activity modeling for simulation (validation), model checking (verification), and execution purposes. Each is needed to tackle system com…