Abstract
Process modeling has developed to an established technique facilitating and supporting the documentation, analysis and automation of workflows. As in common practice workflow modeling requires immediate contribution of participants that lack broad knowledge of formal models as well as software engineering skills, simplicity of the selected modeling approach throughout each step of the design phase is a key factor for the success of a workflow management project. We present an approach that combines simplicity in the modeling phase with the feasibility of immediate evaluation via execution to rapidly develop systems supporting role-based workflows. Finally, we discuss practicability and benefits of this approach based on an exemplary case study of processes in the healthcare domain.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Similar content being viewed by others
References
Li, L., Ge, R.-L., Zhou, S.-M., Valerdi, R.: Guest editorial integrated healthcare information systems. IEEE Transactions on Information Technology in Biomedicine 16(4), 515–517 (2012)
Margaria, T., Steffen, B.: Simplicity as a Driver for Agile Innovation. Computer 43(6), 90–92 (2010)
Steffen, B., Margaria, T., Nagel, R., Jörges, S., Kubczak, C.: Model-Driven Development with the jABC. In: Bin, E., Ziv, A., Ur, S. (eds.) HVC 2006. LNCS, vol. 4383, pp. 92–108. Springer, Heidelberg (2007)
Margaria, T., Steffen, B.: Service-Orientation: Conquering Complexity with XMDD. In: Hinchey, M., Coyle, L. (eds.) Conquering Complexity. Springer (2012)
Scheer, A.-W.: ARIS. Vom Geschäftsprozess zum Anwendungssystem, p. 20. Springer (2002)
van der Aalst, W.: Formalization and Verification of Event-driven Process Chains. Information & Software Technology 41(10), 639–650 (1999)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2012 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Margaria, T., Boßelmann, S., Kujath, B. (2012). Simple Modeling of Executable Role-Based Workflows: An Application in the Healthcare Domain. In: Margaria, T., Steffen, B. (eds) Leveraging Applications of Formal Methods, Verification and Validation. Applications and Case Studies. ISoLA 2012. Lecture Notes in Computer Science, vol 7610. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-34032-1_8
Download citation
DOI: https://doi.org/10.1007/978-3-642-34032-1_8
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-34031-4
Online ISBN: 978-3-642-34032-1
eBook Packages: Computer ScienceComputer Science (R0)