2021/05/25 by Abdurrahman Alshareef, Alshareef, Abdurrahman, Hessam S. Sarjoughian +1
Business, Management and Accounting · Computer Science · Decision Sciences · #Business Process Modeling and Analysis #FOS: Computer and information sciences #Petri Nets in System Modeling #Simulation Techniques and Applications #Software Engineering (cs.SE) #cs.SE
paper · pdf · doi:10.48550/arxiv.2105.11851
arxiv created 2021/05/25 · openalex publication_date 2021/05/25 · arxiv updated 2021/05/26 · openalex created_date 2025/10/10 · openalex updated_date 2026/07/28
This paper presents our findings for using activity modeling for simulation (validation), model checking (verification), and execution purposes. Each is needed to tackle system complexity and further research into behavioral modeling. We argue different models implicate different understandings and expectations. We emphasize some distinctions with demonstrations using the Discrete Event System Specification with an exemplary model. In particular, the continuous-time base in models helps observe some inherent limitations and strengths in acquiring each capability. The temporal characterization of input, output, and state, or the lack thereof, is at the core of developing behavioral specifications. We use DEVS to arrive at the capability of validating simulations for activity models. We use Constrained-DEVS for the verification of activity models. We show how some executions can be derived, whether from the specification itself or with considerations for simulation and model checking.