Declarative Modelling of Transactions for IS Development
Lecture notes in business information processing, 2019
In the development life cycle of an information system (IS) - from initial user wishes up to a ru... more In the development life cycle of an information system (IS) - from initial user wishes up to a running IS - an intermediate mathematical model is very useful, both as a clear and unambiguous capture of the user wishes regarding the functional requirements as well as a formal model of the system to be built. Based on decades of experience, we tackle the problem to develop a suitable, practical modelling method for formal, declarative, and implementation-independent specifications of information systems that can serve as a clear, unambiguous capture of the user wishes regarding the functional requirements. The theory should integrate data and transactions in a uniform way, because data and transactions are closely related. The theory should also be suitable for incremental and agile development, where we must quickly determine where, what, and how to change when necessary.
Uploads
Papers by Bert de Brock