BIS record '2000/1/185'

BibTeX

@inproceedings{BIS:2000/1/185,
  author        = {Stanisław Kędzierski},
  title         = {Checking correctness of business processes specification in action logic},
  year          = {2000},
  session       = {Process Approach},
  pages         = {297--305},
  crossref      = {BIS:2000/1},
  bibsource     = {BIS, http://bis.kie.ue.poznan.pl/biblio/},
  abstract      = {One of the basic problems that the designer of a business process has to solve is the correctness of its design. A business process may be treated as a set of partially ordered actions. In this paper the action logic is used to prove correctness in specification of a business process.}
}

  
@proceedings{BIS:2000/1,
  editor        = {Witold Abramowicz, Maria E. Orlowska},
  booktitle     = {BIS 2000, 4th International Conference on Business Information Systems, Poznań, Poland, 12-13 April 2000},
  title         = {BIS 2000, 4th International Conference on Business Information Systems, Poznań, Poland, 12-13 April 2000},
  publisher     = {Springer Verlag UK},
  isbn          = {1-85233-282-4},
  year          = {2000},
  bibsource     = {BIS, http://bis.kie.ue.poznan.pl/biblio/}
}