Title :
SimSync: A Table-Based Constraint Processing Language For Synchronization Control
Author :
Ke, Huang ; Zhihong, Li ; Koo, Benjamin ; Tianju, Wang
Author_Institution :
Dept. of Ind. Eng., Tsinghua Univ., Beijing, China
Abstract :
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.
Keywords :
Petri nets; concurrency control; grammars; Petri-net; SimSync; concurrent systems modeling; large-scale transportation management problem; object-process network; parallelizable pattern matching algorithm; staged event-driven architecture; synchronization constraints; synchronization control; table-based constraint processing language; user-friendly definition interface; Control system synthesis; Control systems; Distributed processing; Large-scale systems; Logic programming; Modeling; Pattern matching; Physics computing; Runtime; Transportation; concurrent system; synchronization control;
Conference_Titel :
Parallel and Distributed Processing with Applications, 2009 IEEE International Symposium on
Conference_Location :
Chengdu
Print_ISBN :
978-0-7695-3747-4
DOI :
10.1109/ISPA.2009.86