一种结构并发系统的工具

BPStruct is a tool for transforming unstructured processes/programs/service compositions (models of concurrency) into (well-)structured ones. A model is (well-)structured, if for every node with multiple outgoing arcs (a split) there is a corresponding node with multiple incoming arcs (a join), and vice versa, such that the fragment of the model between the split and the join forms a single-entry-single-exit (SESE) process component; otherwise the model is unstructured. The transformation preserves concurrency in resulting structured models. Command Line Tool java -jar bpstruct-x.y.z.jar -odir output model.json model.json contains an input model. The serialization format and the structural constraints imposed on the model contained in model.json are described here. More on the usage of the command line tool can be found 请点击左侧文件开始预览 ！预览只提供20%的代码片段，完整代码需下载后查看 加载中 侵权举报