The systematic construction of information systems
Process modelling is a vital issue for communicating with experts of the application domain. Depending on the roles and responsibilities of the application domain experts involved, process models are discussed on different levels of abstraction. These may range from detailed regulation for process execution to the interrelation of basic core processes on a strategic level. To ensure consistency and to allow for a flexible integration of process information on different levels of abstraction, we introduce a transformational calculus that allows the incremental addition to and refinement of the information in a process model, while maintaining the validity of more abstract high level processes. A complete formal treatment of model and the calculus is given and is illustrated on a small banking example.
Citation : Cau, Antonio, and Zedan, Hussein, The systematic construction of information systems. In: Systems engineering for business process change: collected papers from the EPSRC research programme, edited by Peter Henderson, London: Springer, 2000, Chapter 21, pp 264-278
ISBN : 1852332220
Research Group : Software Technology Research Laboratory (STRL)