On the relationship between workflow models and document types |
| |
| Authors: | Kees van Hee Jan Hidders Geert-Jan Houben Jan Paredaens Philippe Thiran |
| |
| Affiliation: | 1. Department of Mathematics and Computer Science, Eindhoven University of Technology, Eindhoven, The Netherlands;2. Department of Mathematics and Computer Science, University of Antwerp, Middelheimlaan 1, BE-2020 Antwerp, Belgium;3. Department of Computer Science, Vrije Universiteit Brussel, Brussels, Belgium;4. Louvain School of Management and University of Namur, Namur, Belgium |
| |
| Abstract: | 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. |
| |
| Keywords: | Workflow management system Petri net Document management system Data type Information system design methodology |
| 本文献已被 ScienceDirect 等数据库收录！ |
|
