Scheduled System Maintenance:
On Monday, April 27th, IEEE Xplore will undergo scheduled maintenance from 1:00 PM - 3:00 PM ET (17:00 - 19:00 UTC). No interruption in service is anticipated.
By Topic

Model-Based Development and Testing of Process-Aware Information Systems

Sign In

Cookies must be enabled to login.After enabling cookies , please use refresh or reload or ctrl+f5 on the browser for the login options.

Formats Non-Member Member
$31 $13
Learn how you can qualify for the best price for this item!
Become an IEEE Member or Subscribe to
IEEE Xplore for exclusive pricing!
close button

puzzle piece

IEEE membership options for an individual and IEEE Xplore subscriptions for an organization offer the most affordable access to essential journal articles, conference papers, standards, eBooks, and eLearning courses.

Learn more about:

IEEE membership

IEEE Xplore subscriptions

5 Author(s)
Mans, R.S. ; Dept. of Inf. Syst., Eindhoven Univ. of Technol., Eindhoven, Netherlands ; Aalst, W. ; Russell, N.C. ; Bakker, P.J.M.
more authors

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.

Published in:

Advances in System Testing and Validation Lifecycle, 2009. VALID '09. First International Conference on

Date of Conference:

20-25 Sept. 2009