bpstruct


A tool to structure concurrent systems

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 here.

REST API

BPStruct can be accessed using REST API. A publicly available version of the service is located at: http://141.89.225.233/bpstruct/rest

Live DEMO

You can try BPStruct online! Signavio Academic Initiative (AI) integrates BPStruct by using REST API. For the detailed instructions on how to use BPStruct in Signavio AI please read here. Please download command line tool if you want to use the latest BPStruct version (see above).

Examples

http://bpstruct.googlecode.com/files/bpstruct.png

Presentations

  • http://www.slideshare.net/ArtemPolyvyanyy/structuring-acyclic-process-models' title='Structuring Acyclic Process Models'>Structuring Acyclic Process Models
  • http://www.slideshare.net/bpmn2010/bpmn2010-dumas-5557965' title='Unraveling Unstructured Process Models'>Unraveling Unstructured Process Models

Publications

  • Artem Polyvyanyy and Christoph Bussler. The Structured Phase of Concurrency. In Bubenko, J., Krogstie, J., Pastor, O., Pernici, B., Rolland, C., & Sølvberg, A. (Eds.) Seminal Contributions to Information Systems Engineering : 25 Years of CAiSE. Springer, 2013 postprint
  • Artem Polyvyanyy, Luciano García-Bañuelos, Dirk Fahland, and Mathias Weske. Maximal Structuring of Acyclic Process Models. The Computer Journal (CJ), 2012, Oxford University Press preprint official
  • Artem Polyvyanyy. Structuring Process Models. PhD dissertation. University of Potsdam, Germany, January 2012 link
  • Artem Polyvyanyy, Luciano García-Bañuelos, and Marlon Dumas. Structuring Acyclic Process Models. Information Systems (IS), 2011
  • Artem Polyvyanyy, Luciano García-Bañuelos, Dirk Fahland, and Mathias Weske. Maximal Structuring of Acyclic Process Models. The Computing Research Repository (CoRR), August 2011
  • Marlon Dumas, Luciano García-Bañuelos, and Artem Polyvyanyy. Unraveling Unstructured Process Models. Proceedings of the 2nd International Workshop on BPMN (BPMN). Potsdam, Germany, October 2010
  • Artem Polyvyanyy, Luciano García-Bañuelos, and Marlon Dumas. Structuring Acyclic Process Models. Proceedings of the 8th International Conference on Business Process Management (BPM). Hoboken, NJ, US, September 2010
  • Artem Polyvyanyy, Jussi Vanhatalo, and Hagen Voelzer. Simplified Computation and Generalization of the Refined Process Structure Tree. Proceedings of the 7th International Workshop on Web Services and Formal Methods (WS-FM). Hoboken, NJ, US, September 2010

Friend projects

Project Information

  • License: GNU GPL v3
  • 10 stars
  • svn-based source control

Labels:
well-structured structured unstructured structure process model program GOTOelimination service composition