Simple Modeling of Executable Role-Based Workflows: An Application in the Healthcare Domain

Tiziana Margaria, Steve Boßelmann, Bertold Kujath. Simple Modeling of Executable Role-Based Workflows: An Application in the Healthcare Domain. In Tiziana Margaria, Bernhard Steffen, editors, Leveraging Applications of Formal Methods, Verification and Validation. Applications and Case Studies - 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012, Proceedings, Part II. Volume 7610 of Lecture Notes in Computer Science, pages 70-72, Springer, 2012. [doi]

Authors

Tiziana Margaria

This author has not been identified. Look up 'Tiziana Margaria' in Google

Steve Boßelmann

This author has not been identified. Look up 'Steve Boßelmann' in Google

Bertold Kujath

This author has not been identified. Look up 'Bertold Kujath' in Google