Semantic business process modeling [Elektronische Ressource] : facilitating the design and verification of conceptual process models / von Ivan Markovic

Semantic Business Process ModelingFacilitating the design and verification of conceptual processmodelsZur Erlangung des akademischen Grades einesDoktors der Wirtschaftswissenschaften(Dr. rer. pol.)von der Fakultät für Wdes Karlsruher Instituts für Technologie (KIT)vorgelegteDISSERTATIONvonDipl.-Ing. Ivan MarkovicTag der mündlichen Prüfung: 03. August 2009Referent: Prof. Dr. Rudi StuderKorreferent: Prof. Dr. Dimitris Karagiannis2010 KarlsruheiiAcknowledgementsWriting of this thesis was a journey, the success of which would not have beenpossible without the support and guidance of many persons. Here, I would like tothank all of them. In particular, I wish to thank:Professor Dr. Rudi Studer, for being my Doktorvater and for giving me theopportunity to be a part of the Rudiverse.Professor Dr. Dimitris Karagiannis, for being my second supervisor and provid-ing inspiration through his work on metamodeling.Nenad Stojanovic, for insightful discussions and constructive criticism. Chris-tian Brelage, for raising my interest in business process modeling and a great senseof humor. Ingo Weber, for setting high standards and always raising the bar. OrestisTerzidis, for being the best manager I worked with.All my co-authors and anonymous reviewers, for helping to sharpen the ideaspresented here.My students, for their dedication and energy.Colleagues at SAP Research Karlsruhe and Brisbane, for allowing me to becomea friend over the years.