Personal
- Name
- Professor Arthur ter Hofstede
- Position(s)
- Professor
Science and Engineering Faculty,
Information Systems,
Business Process Management - Discipline *
- Information Systems
- Phone
- +61 7 3138 9474
- Fax
- +61 7 3138 9390
- a.terhofstede@qut.edu.au
- Location
- View location details (QUT staff and student access only)
- Qualifications
-
Ph.d (Katholieke Universiteit Nijmegen), M.Sc (Katholieke Universiteit Nijmegen)
- Keywords
-
Business Process Flexibility, Business Process Management, Business Process Simulation, Business Process Verification, Configurable Reference Process Models, Formal Semantics of Modelling Languages, Workflow
Biography
Arthur ter Hofstede is a professor in the Faculty of Science and Technology and co-leader of the BPM group.
He is also a Professor at Eindhoven University of Technology in the Netherlands and a Senior Visiting Scholar of Tsinghua University in China.
Research theme: Environment, Food, Health, Information
Research discipline: Information Systems
Research area
Conceptual, formal, and technological foundations of Business Process Automation.
Much of this work centers around the YAWL (Yet Another Workflow Language) open source workflow management system, which is based on the well-known Workflow Patterns Initiative.
This system is used in industry and provides a testbed for the application of new research ideas.
Supervision
Arthur is interested in students with a background in computer science for the area of business process automation.
Students should have an affinity with and an understanding of:
- mathematical concepts (e.g. logic, graph theory)
- programming theory and practice.
Research topics
Over time, topics will vary and can be discussed. At the moment there is an interest in areas such as:
- process simulation
- process monitoring
- verification
- BPM and security
- process configuration
- business process extensibility
- link between business process automation and knowledge management
- modelling in the large.
Publications
- Ouyang C, van der Aalst W, Dumas Menjivar M, ter Hofstede AH, (2007) Formal Semantics and Analysis of Control Flow in WS-BPEL, Science of Computer Programming p162-198
- Wynn M, Edmond D, Ter Hofstede A, Van der Aalst W, (2005) Achieving a General, Formal and Decidable Approach to the OR-Join in Workflow Using Reset Nets, Lecture Notes in Computer Science p423-439
- Ter Hofstede AH, Van der Aalst W, (2005) YAWL: Yet Another Workflow Language, Information Systems Databases: Their Creation Management and Utilization p245-275
- Wohed P, Van Der Aalst WM, Dumas Menjivar M, Ter Hofstede AH, (2003) Analysis of Web Services Composition Languages: The Case of BPEL4WS, Conceptual Modelling - ER 2003: 22nd International Conference on Conceptual Modelling p200-215
- Van Der Aalst WM, Ter Hofstede AH, Kiepuszewski B, Barros AP, (2003) Workflow Patterns, Distributed and Parallel Databases p5-51
- Kiepuszewski B, Ter Hofstede AH, Van Der Aalst WM, (2003) Fundamentals of control flow in workflows, Acta Informatica p143-209
- Dumas Menjivar M, Aldred L, Governatori G, Ter Hofstede AH, Russell N, (2002) A Probabilistic Approach to Automated Bidding in Alternative Auctions, Proceedings of the 11th International World Wide Web Conference p99-108
- O'Sullivan J, Edmond D, Ter Hofstede A, (2002) What's in a Service? Towards Accurate Description of Non-Functional Service Properties, Distributed and Parallel Databases p117-133
- van der Aalst WM, ter Hofstede AH, (2000) Verification of Workflow Task Structures: A Petri-Net-Based Approach, Information Systems p43-69
- ter Hofstede AH, Verhoef TF, (1997) On the Feasability of Situational Method Engineering, Information Systems p401-422
For more publications by this staff member, visit QUT ePrints, the University's research repository.
Awards
Awards and recognition
- Type
- Other
- Reference year
- 2011
- Details
- According to Harzing's Publish or Perish (which uses data from Google scholar) I have an H-index of 51 which means that I have at least 51 articles that are each referred to at least 51 times. My H-index according to both Web of Science and Scopus is 20.
- Type
- Appointment to Prestigious Positions
- Reference year
- 2010
- Details
- Senior Visiting Scholar (Tsinghua University, Beijing, China)
- Type
- Appointment to Prestigious Positions
- Reference year
- 2010
- Details
- Visiting Professor (Sapienza - Università di Roma, Rome, Italy, May 2010).
- Type
- Appointment to Prestigious Positions
- Reference year
- 2010
- Details
- Professor (Eindhoven University of Technology, Eindhoven, The Netherlands)
- Type
- Other
- Reference year
- 2010
- Details
- I was labelled a "Rising Star" in Computer Science by in-cites.com in May 2006 (http://www.in-cites.com/most_imp/may2006.html)and again in May 2007 (http://www.in-cites.com/most_imp/may2007.html). This means that during two bimonthly periods I had the highest percentage increase in citations among the top 1% of cited researchers in the field of Computer Science.
Supervision
Completed supervisions (Doctorate)
- Privacy and Trust Management for Electronic Health Records | (2010)
- Managing Variability in Process-Aware Information Systems (2009)
- Object-centric Process Models and the Design of Flexible Processes (2009)
- Facilitating Dynamic Flexibity and Exception Handling for Workflows (2007)
- Foundations of Process-Aware Information Systems (2007)
- Towards a Precise Understanding of Service Properties (2007)
- Semantics, Verification, and Implementation of Workflows with Cancellation Regions and OR-joins (2006)
- A Framework for the Specification and Execution of Composite Trading Activities (2005)
- Enabling ad hoc Interaction with Electronic Services (2005)
- Expressiveness and Suitability of Languages for Control Flow Modelling in Workflows (2003)
