The goal of the Procasor Environment project is to develop an interactive environment for writing requirement specifications, where formal behavior specifications are created in paralel with textual use cases. Building upon the transformation proposed in [Mencl04WITSE] and implemented in the original prototype Procasor tool, the interactive environment will employ natural language processing tools to derive behavior specifications from textual use cases.


The Procasor Environment project is a student Software Project at the Department of Software Engineering, Faculty of Mathematics and Physics, Charles University. The project specification was approved and the project started on Nov 25, 2004. The project has been successfully defended in September 2005.

You may obtain the defended Procasor Environment distribution in the Downloads section.


The project is supervised by Vladimir Mencl. The students participating in the project are:

  • Jan Franců
  • Jiří Ondrušek
  • Michal Fiedler
  • Aleš Plšek


The Procasor Environment project has been successfully defended in September 2005, and the defended version (with subsequent amendments) is available for download under the terms of the Procasor Research License, provided in Appendix D of the User Documentation. The released version consists of:

  • Source and binary distribution, procasor.tar.gz (.tar.gz, 91MB, includes the linguistic tools distribution, and also the User, Developer and API documentation, for convenience also available separately below).
  • User documentation (HTML)
  • Developer documentation (HTML)
  • API documentation (HTML tarball)

Data samples

The distribution made available in the Downloads section includes as an example a fully-fledged project Marketplace, based on the use cases used throughout the lifespan of the Procasor project and originally published in the technical report ``Use Cases: Assembling “Whole Picture” Behavior’’.

Related Work

Please see the related work in the project specification, on the page dedicated to the original <a href=#">Procasor prototype tool.

Implementation notes & related links


  • Vladimír Mencl