A formal foundation for process modeling

  title={A formal foundation for process modeling},
  author={Christopher Menzel and Michael Gr{\"u}ninger},
Process modeling is ubiquitous in business and industry. While agreat deal of effort has been devoted to the formal andphilosophical investigation of processes, surprisingly littleresearch connects this work to real world process modeling. Thepurpose of this paper is to begin making such a connection. To doso, we first develop a simple mathematical model of activities andtheir instances based upon the model theory for the NIST ProcessSpecification Language (PSL), a simple language for… CONTINUE READING
Highly Cited
This paper has 25 citations. REVIEW CITATIONS

From This Paper

Figures, tables, and topics from this paper.

Similar Papers

Loading similar papers…