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.
Original language | English |
---|---|
Pages (from-to) | 178-208 |
Number of pages | 31 |
Journal | Information Systems |
Volume | 34 |
Issue number | 1 |
Publication status | Unpublished - 2009 |
Keywords
- Document management system
- Data type
- Petri net
- Workflow management system
- Information system design methodology