Model-based development and testing of process-aware information systems

R.S. Mans, W.M.P. Aalst, van der, N.C. Russell, P.J.M. Bakker, A.J. Moleman

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

1 Citation (Scopus)


The development of Process-Aware Information Systems (PAISs) heavily relies on the notion of software configuration rather than classical software development approaches based on coding. To date, there is no accepted development strategy for the configuration of PAIS technology and construction of specific applications added to these systems tends to proceed on an ad-hoc basis rather than following a prescribed approach. Similar, there has been minimal consideration for testing and validating the capabilities of the PAISs. This paper proposes a domain-oriented system testing approach where a conceptual model (expressed in terms of a Colored Petri Net) is used for specification, simulation, and testing of the developed PAIS. This approach has been applied to a schedule-based workflow system developed for the AMC hospital in Amsterdam. One of the important characteristics of our approach is the tight coupling between the conceptual model and the actual implemented system. While testing and validating, parts of the system may be simulated using CPN Tools while connected to the actual system components.
Original languageEnglish
Title of host publicationProceedings of the first international conference on advances in system testing and validation lifecycle (VALID 2009, Porto, Portugal, September 20-25, 2009)
EditorsA. Alimohammad, A. Meixner, M. Popescu
Place of PublicationPiscataway
PublisherIEEE Computer Society
ISBN (Print)978-0-7695-3774-0
Publication statusPublished - 2009


Dive into the research topics of 'Model-based development and testing of process-aware information systems'. Together they form a unique fingerprint.

Cite this