From Workflow Models to Document Types and Back Again

Kees van Hee, Jan Hidders, Geert-Jan Houben, Jan Paredaens, Philippe Thiran

Research output: Book/Report/JournalOther report

5 Downloads (Pure)


The best practice in information system development is to model the business processes that have to be supported and the database of the information system separately. This is inefficient because they are closely related. Therefore we present a framework in which it is possible to derive one from the other. To this end we introduce a special class of Petri nets, called Jackson nets, to model the business processes, and a document type, called Jackson types, to model the database. We show that there is a one-to-one correspondence between Jackson nets and Jackson types. We illustrate the use of the framework by an example.
Original languageEnglish
Place of PublicationEindhoven
PublisherTechnische Universiteit Eindhoven
Publication statusUnpublished - 2007


Dive into the research topics of 'From Workflow Models to Document Types and Back Again'. Together they form a unique fingerprint.

Cite this