SimSync: A Table-Based Constraint Processing Language For Synchronization Control

This paper introduces a constraint processing language called: SimSync to facilitate synchronization control in concurrent systems modeling. We define the primitive elements of the language to specify both qualitative and quantitative constraints in synchronization control. A table template is designed to organize those elements as a user-friendly definition interface. We also construct a language parser to generate agent instances which execute a parallelizable pattern matching algorithm to determine satisfiability of synchronization constraints in runtimes of concurrent systems. By applying the concept of staged event-driven architecture (SEDA), we make the implementation of the constraint processing scalable by designing the algorithm into a data-driven and distributed fashion. In this paper a SimSync module incorporated into a variance of Petri-net, Object-Process Network (OPN) is provided. An application of large-scale transportation management problem is also shown as a concrete example to illustrate the extensibility of SimSync.