Please refer to the content below for a selected list of publications as of November 2006. Many publications are available in compressed postscript format.

EDITED BOOK

  1. M. Dumas, W.M.P. van der Aalst, A.H.M. ter Hofstede (editors). Process-Aware Information Systems: Bridging People and Software Through Process Technology. John Wiley and Sons, 2005.

JOURNAL PUBLICATIONS

  1. Moe T. Wynn, H.M.W. Verbeek, Wil M.P. van der Aalst, Arthur H.M. ter Hofstede, and David Edmond. Business Process Verification - Finally a Reality! Business Process Management Journal (accepted, to appear).
  2. Chun Ouyang, Marlon Dumas, Arthur H.M. ter Hofstede and Wil M.P. van der Aalst. Pattern-Based Translation of BPMN Process Models to BPEL Web Services. International Journal of Web Services Research, 5(1):42--61, January-March 2008.
  3. Yain-Whar Si, David Edmond, Marlon Dumas, Arthur H.M. ter Hofstede. Specification and Execution of Composite Trading Activities. Electronic Commerce Research, 7(3-4):221-263, December 2007.
  4. Chun Ouyang, Eric Verbeek, Wil M.P. van der Aalst, Stephan Breutel, Marlon Dumas and Arthur H.M. ter Hofstede. Formal semantics and analysis of control flow in WS-BPEL. Science of Computer Programming, 67(2-3):162--198, July 2007
  5. H.M.W. Verbeek, W.M.P. van der Aalst, and A.H.M. ter Hofstede. Verifying Workflows with Cancellation Regions and OR-joins: An Approach Based on Invariants. The Computer Journal. 50(3):294-314, 2007.
  6. Phillipa Oaks and Arthur HM ter Hofstede. Guided interaction: A mechanism to enable ad hoc service interaction. Information Systems Frontiers, Special Issues "From Web Services to Services Computing: Technologies and Applications" 9(1):29-51, 2007.
  7. Y.W. Si, D. Edmond, A.H.M. ter Hofstede, and M. Dumas. Orchestrating Interrelated Trading Activities. International Journal of Business Process Integration and Management 1(1):12-25, June 2005. Inderscience Publishers.
  8. W.M.P. van der Aalst and A.H.M. ter Hofstede. YAWL: yet another workflow language. Information Systems, 30(4):245-275, 2005.
  9. M. Dumas, L. Aldred, G. Governatori, and A. ter Hofstede. Probabilistic Automated Bidding in Multiple Auctions. Electronic Commerce Research, 15(1):23-47, January 2005.
  10. B. Kiepuszewski, A.H.M. ter Hofstede, and W.M.P. van der Aalst. Fundamentals of Control Flow in Workflows, Acta Informatica, 39(3):143-209, 2003.
  11. W.M.P. van der Aalst, A.H.M. ter Hofstede, B. Kiepuszewski, and A.P. Barros.Workflow Patterns, Distributed and Parallel Databases, 14(3):5-51, 2003.
  12. M. Dumas, G. Governatori, A. ter Hofstede, and P. Oaks. A Formal Approach to Negotiating Agents Development, Journal of Electronic Commerce Research and Applications, 1(2):193-207, November 2002. Elsevier Science Publications.
  13. J. O'Sullivan, D. Edmond and A. ter Hofstede. What's in a Service? Towards Accurate Description of Non-Functional Service Properties, Distributed and Parallel Databases Journal - Special Issue on E-Services, 12(2-3):117-133, 2002.
  14. R. Lau, A.H.M. ter Hofstede and P.D. Bruza. Maxi-Adjustment and Possibilistic Deduction for Adaptive Information Agents, Journal of Applied Non-classical Logics, 11(1-2):169-201, 2001.
  15. A.A.F. van der Maas, A.H.M. ter Hofstede, A.J. ten Hoopen. Requirements for Medical Modeling Languages, Journal of the American Medical Informatics Association, 8(2):146-162, March/April 2001 (model formulation).
  16. A.A.F. van der Maas, A.J. ten Hoopen, A.H.M. ter Hofstede. Progress with formalization in medical informatics, Journal of the American Medical Informatics Association, 8(2):126-130, March/April 2001 (viewpoint).
  17. R. Lau, A.H.M. ter Hofstede and P.D. Bruza. Belief Revision for Adaptive Information Filtering Agents, Journal of Cooperative Information Systems, 10(1 & 2):57-79, 2001.
  18. D. Edmond and A.H.M. ter Hofstede. A Reflective Infrastructure for Workflow Adaptability . Data & Knowledge Engineering, 34(3):271-304, September 2000.
  19. W.M.P. van der Aalst and A.H.M. ter Hofstede. Verification of Workflow Task Structures: A Petri-net-based approach. Information Systems, 25(1):43-69, March 2000.
  20. A.A.F. van der Maas and A.H.M. ter Hofstede. Formal Description of Disease Courses. Artificial Intelligence in Medicine, 18(1):29-55, January 2000.
  21. A.A.F. van der Maas, A.H.M. ter Hofstede, and P.F. de Vries Robbe. Formal Description of Temporal Knowledge in Patient Case Reports. Artificial Intelligence in Medicine 16(3):251-282, July 1999.
  22. A.H.M. ter Hofstede and M.E. Orlowska. On the Complexity of Some Verification Problems in Process Control Specifications. The Computer Journal, 42(5):349-359, 1999. (Overlooks the fact that Process Control Specifications without decomposition are not more expressive than Free Choice Petri nets)
  23. A.P. Barros and A.H.M. ter Hofstede. Towards the Construction of Workflow-Suitable Conceptual Modelling Techniques . Information Systems Journal, 8(4):313-337, October 1998.
  24. A.H.M. ter Hofstede and H.A. Proper. How to Formalize It? Formalization Principles for Information Systems Development Methods . Information and Software Technology, 40(10):519-540, October 1998. 
  25. A.H.M. ter Hofstede and Th.P. van der Weide. Deriving Identity from Extensionality . International Journal of Software Engineering and Knowledge Engineering 8(2):189-221, June 1998.
  26. A.H.M. ter Hofstede, M.E. Orlowska, and J. Rajapakse. Verification Problems in Conceptual Workflow Specifications. Data & Knowledge Engineering, 24(3):239-256, January 1998. Full version of ER'96 paper. ([HO99] contains some correction/generalisations of this paper but also makes the mistake of overlooking that Task Structures without decomposition are not more expressive than Free Choice Petri nets)
  27. A.P. Barros and A.H.M. ter Hofstede. Realizing the Full Potential of Workflow Modelling: A Practical Perspective . International Journal of Information Technology, 3(2):59-86, December 1997.
  28. A.H.M. ter Hofstede, E. Lippe, and Th.P. van der Weide. Applications of a Categorical Framework for Conceptual Data Modeling . Acta Informatica, 34(12):927-963, December 1997. Copyright Springer Verlag. 
  29. A.H.M. ter Hofstede, H.A. Proper, and Th.P. van der Weide. Exploiting Fact Verbalisation in Conceptual Information Modelling. Information Systems 22(6/7):349-385, 1997. Available on request.
  30. A.H.M. ter Hofstede and T.F. Verhoef. On the Feasibility of Situational Method Engineering. Information Systems, 22(6/7):401-422, 1997. Available on request.
  31. J.W.G.M. Hubbers and A.H.M. ter Hofstede. Formalization of Communication and Behaviour in Object-Oriented Analysis . Data & Knowledge Engineering, 23(2):147-184, August 1997. Copyright Elsevier Science B.V.
  32. P.J.M. Frederiks, A.H.M. ter Hofstede, and E. Lippe. A Unifying Framework for Conceptual Data Modelling Concepts . Information and Software Technology, 39(1):15-25, January 1997. Copyright Elsevier Science B.V.
  33. A.H.M. ter Hofstede, H.A. Proper, and Th.P. van der Weide. Query Formulation as an Information Retrieval Problem . Computer Journal, 39(4):255-274, September 1996. Copyright Oxford University Press.
  34. E. Lippe and A.H.M. ter Hofstede. A Category Theory Approach to Conceptual Data Modeling . RAIRO Theoretical Informatics and Applications, 30(1):31-79, 1996. Copyright AFCET Gauthiers-Villars.
  35. A.H.M. ter Hofstede, E. Lippe, and P.J.M. Frederiks. Conceptual Data Modeling from a Categorical Perspective . Computer Journal, 39(3):215-231, August 1996. Copyright Oxford University Press.
  36. A.H.M. ter Hofstede and T.F. Verhoef. Meta-CASE: Is the Game worth the Candle? Information Systems Journal, 6(1):41-68, January 1996. Copyright Blackwell Scientific Publications.
  37. A.H.M. ter Hofstede, H.A. Proper, and Th.P. van der Weide. Formal definition of a conceptual language for the description and manipulation of information models . Information Systems, 18(7):489-523, October 1993. Copyright Pergamon.
  38. A.H.M. ter Hofstede and Th.P. van der Weide. Expressiveness in Conceptual Data Modelling . Data & Knowledge Engineering, 10(1):65-100, February 1993. Copyright Elsevier Science B.V.
  39. A.H.M. ter Hofstede and E.R. Nieuwland. Task Structure Semantics through Process Algebra . Software Engineering Journal, 8(1):14-20, January 1993. Copyright The Institution of Electrical Engineers.
  40. A.H.M. ter Hofstede and Th.P. van der Weide. Formalisation of techniques: chopping down the methodology jungle . Information and Software Technology, 34(1):57-65, January 1992. Copyright Elsevier Science B.V.
  41. Th.P. van der Weide, A.H.M. ter Hofstede, and P. van Bommel. Uniquest: Determining the Semantics of Complex Uniqueness Constraints. Computer Journal, 35(2):148-156, April 1992. Copyright Oxford University Press.
  42. P. van Bommel, A.H.M. ter Hofstede, and Th.P. van der Weide. Semantics and verification of object-role models . Information Systems, 16(5):471-495, October 1991. Copyright Pergamon.

BOOK CHAPTERS

  1. Chun Ouyang, Wil M.P. van der Aalst, Marlon Dumas, and Arthur H.M. ter Hofstede, and Marcello La Rosa. Service-Oriented Processes: An Introduction to BPEL. In Jorge Cardoso, editor, Semantic Web Services - Theory, Tools, and Applications, Idea Publishing Group, USA, 2007
  2. Marlon Dumas, Wil M.P. van der Aalst, and Arthur H.M. ter Hofstede.Introduction. In "Process-Aware Information Systems: Bridging People and Software Through Process Technology", John Wiley and Sons, 2005.
  3. Wil M.P. van der Aalst, Arthur H.M. ter Hofstede, and Marlon Dumas. Patterns of Process Modeling. In "Process-Aware Information Systems: Bridging People and Software Through Process Technology", John Wiley and Sons, 2005.
  4. M. Dumas, L. Aldred, and A. ter Hofstede. From Conceptual Models to Constrained Web Forms. In V. Kashyap and L. Shklar (Eds): Real-World Semantic Web Applications. December 2002. IOS Press. Pages 50-68.
  5. G.M. Wijers, A.H.M. ter Hofstede, and N.E. van Oosterom. Representation of Information Modelling Knowledge. In V.-P. Tahvanainen and K. Lyytinen, editors, Next Generation CASE Tools, volume 3 of Studies in Computer and Communication Systems, pages 167-223, 1992. IOS Press.

CONFERENCE AND WORKSHOP PUBLICATIONS

  1. Petia Wohed, Nick Russell, Arthur HM ter Hofstede, Birger Andersson and Wil M.P. van der Aalst. Open Source Workflow: A Viable direction for BPM? Proceedings of CAiSE 2008, Montpellier, France, June 2008 (short paper).
  2. W.M.P. van der Aalst, M. Dumas, F. Gottschalk, A.H.M. ter Hofstede, M. La Rosa, and J. Mendling. Correctness-Preserving Configuration of Business Process Models. Fundamental Approaches to Software Engineering (FASE'08), Budapest, Hungary, March/April 2008.
  3. M.T. Wynn, C.J. Fidge, A.H.M. ter Hofstede, and M. Dumas. Product Flow Analysis in Distribution Networks with a Fixed Time Horizon. Thirty-First Australasian Computer Science Conference (ACSC 2008), University of Wollongong, New South Wales, Australia, January 2008.
  4. Michael Adams, Arthur H.M. ter Hofstede, Wil M.P. van der Aalst, and David Edmond. Dynamic, Extensible and Context-Aware Exception Handling for Workflow. Proceedings of the 15th International Conference on Cooperative Information Systems (CoopIS 2007), Vilamoura, Algarve, Portugal, November 2007.
  5. Nick Russell, Arthur H.M. ter Hofstede, and Wil M.P. van der Aalst. newYAWL: Specifying a Workflow Reference Language using Coloured Petri Nets. Eighth Workshop and Tutorial on Practical Use of Coloured Petri Nets and the CPN Tools, Aarhus, Denmark, October 2007.
  6. Moe Wynn, Marlon Dumas, Colin Fidge, Arthur ter Hofstede, and Wil van der Aalst. Business Process Simulation for Operational Decision Support. 3rd Workshop on Business Process Intelligence (BPI 07) held in conjunction with the 5th International Conference on Business Process Management 2007, Brisbane, Australia, September 2007. Lecture Notes in Computer Science Vol.\ 4928, pages 66--77, 2008.
  7. Guy Redding, Marlon Dumas, Arthur H. M. ter Hofstede and Adrian Iordachescu. Reconciling Object-oriented and Process-oriented Approaches to Information Systems Engineering. 3rd International Workshop on Business Process Design (BPD'07) held in conjunction with the 5th International Conference on Business Process Management, Brisbane, Australia, September 2007. Lectures Notes in Computer Science Vol.\ 4928, pages 132--143, 2008.
  8. M. La Rosa, J. Lux, S. Seidel, M. Dumas and A.H.M. ter Hofstede. Questionnaire-driven Configuration of Reference Process Models. In Proceedings of the 19th International Conference on Advanced Information Systems Engineering (CAiSE'07), pages 424--438, Trondheim, Norway, June 2007.
  9. L. Aldred, W.M.P. van der Aalst, M. Dumas and A.H.M. ter Hofstede. Abstractions for Communication Between Distributed Business Processes. In Proceedings of the 19th International Conference on Advanced Information Systems Engineering (CAiSE'07), pages 409--423, Trondheim, Norway, June 2007.
  10. Stefan Seidel, Michael Adams, Arthur ter Hofstede and Michael Rosemann. Modelling and Supporting Processes in Creative Environments. In Proceedings of the 15th European Conference on Information Systems, St. Gallen, Switzerland, June 2007.
  11. S. Seidel, M. Rosemann, L. Bradford and A. ter Hofstede. Developing a Business Process Reference Model for the Screen Business - A Design Science Research Case Study, 17th Australasian Conference on Information Systems, Adelaide, Australia, December 2006.
  12. Michael Adams, Arthur H.M. ter Hofstede, David Edmond, W.M.P. van der Aalst, Worklets: A Service-Oriented Implementation of Dynamic Flexibility in Workflows , CoopIS'2006, Montpellier, France, November 2006.
  13. J.M. Zaha, M. Dumas, A.H.M. ter Hofstede, A. Barros and G. Decker. Service Interaction Modeling: Bridging Global and Local Views . Proceedings of the 10th International Conference on Enterprise Distributed Object Computing (EDOC), Hong Kong, China, October 2006. IEEE Computer Society.
  14. J.M. Zaha, A. Barros, M. Dumas, and A.H.M. ter Hofstede.Let's Dance: A Language for Service Behavior Modeling. . Proceedings of the 14th International Conference on Cooperative Information Systems (CoopIS), Montpellier, France, October 2006. Springer Verlag.
  15. C. Ouyang, W.M.P. van der Aalst, M. Dumas and A.H.M. ter Hofstede. From BPMN Process Models to BPEL Web Services. Proceedings of the 4th International Conference on Web Services (ICWS), Chicago IL, USA, September 2006. IEEE Computer Society.
  16. M.T. Wynn, W.M.P. van der Aalst, A.H.M. ter Hofstede and D. Edmond, Verifying Workflows with Cancellation Regions and OR-joins: An Approach Based on Reset Nets and Reachability Analysis (short paper), Proceedings of BPM 2006, Vienna, Austria, volume 4102 of Lecture Notes in Computer Science, pages 389-394, 2006, Springer-Verlag.
  17. P. Wohed, W.M.P. van der Aalst, M. Dumas, A.H.M. ter Hofstede and N. Russell. On the Suitability of BPMN for Business Process Modelling. Proceedings of the 4th International Conference on Business Process Management (BPM), Vienna, Austria, September 2006. Springer Verlag.
  18. C. Ouyang, M. Dumas, S. Breutel, and A.H.M. ter Hofstede. Translating Standard Process Models to BPEL. Proceedings of the 18th International Conference on Advanced Information Systems Engineering (CAiSE), Luxembourg, June 2006. Springer Verlag.
  19. N. Russell, W.M.P. van der Aalst, and A.H.M. ter Hofstede. Workflow Exception Patterns. Proceedings of the 18th International Conference on Advanced Information Systems Engineering (CAiSE), Luxembourg, June 2006.
  20. N. Russell, Wil M.P. van der Aalst, A.H.M. ter Hofstede, and Petia Wohed. On the Suitability of UML 2.0 Activity Diagrams for Business Process Modelling. Proceedings of the Third Asia-Pacific Conference on Conceptual Modelling (APCCM), Hobart, Australia, January 2006.
  21. Justin O'Sullivan, David Edmond and Arthur HM ter Hofstede. The Price of Services. In Proceedings of 3rd International Conference on Service Oriented Computing (ICSOC05), volume 3826 of Lecture Notes in Computer Science, Amsterdam, The Netherlands, December 2005. Springer-Verlag.
  22. C. Ouyang, H.M.W. Verbeek, W.M.P. van der Aalst, S. Breutel, M. Dumas, and A.H.M ter Hofstede. WofBPEL: A tool for automated analysis of BPEL processes. In Proceedings of 3rd International Conference on Service Oriented Computing (ICSOC05), volume 3826 of Lecture Notes in Computer Science, pages 484-489, Amsterdam, The Netherlands, December 2005. Springer-Verlag.
  23. Lachlan Aldred, Wil M.P. van der Aalst, Marlon Dumas, and Arthur H.M. ter Hofstede. On the Notion of Coupling in Communication Middleware. In Robert Meersman and Zahir Tari (editors) Proceedings International Conference on Distributed Objects and Applications (DOA) 2005, Lecture Notes in Computer Science 3761, Agia Napa, Cyprus, pp 1015-1033.
  24. Petia Wohed, Wil M.P. van der Aalst, M. Dumas, A.H.M. ter Hofstede and Nick Russell. Pattern-based Analysis of the Control-flow Perspective of UML 2.0 Activity Diagrams. Proceedings of the 24th International Conference on Conceptual Modeling (ER 2005), Klagenfurt, Austria, October 2005. Springer Verlag. (acceptance rate: 18.45%)
  25. Nick Russell, A.H.M. ter Hofstede, D. Edmond and Wil M.P. van der Aalst. Workflow Data Patterns: Identification, Representation and Tool Support. Proceedings of the 24th International Conference on Conceptual Modeling (ER 2005), Klagenfurt, Austria, October 2005. Springer Verlag. (acceptance rate: 18.45%)
  26. A. Barros, M. Dumas, and A. H.M. ter Hofstede. Service Interaction Patterns. Proceedings of the 3rd International Conference on Business Process Management (BPM 2005), Nancy, France, September 2005. Springer Verlag.
  27. Phillipa Oaks and Arthur H.M. ter Hofstede. Guided interaction: A language and method for incremental revelation of software interfaces for ad hoc interaction. In Proceedings of Workshop on Business Processes and Services (in conjunction with the 3rd International Conference on Business Process Management), Nancy, France, September 2005.
  28. Moe Thandar Wynn, David Edmond, W.M.P. van der Aalst and A.H.M. ter Hofstede. Achieving a General, Formal and Decidable Approach to the OR-join in Workflow using Reset nets. Proceedings of the 26th International Conference On Application and Theory of Petri Nets and Other Models of Concurrency, Miami, Florida, June 2005. Springer Verlag.
  29. N. Russell, Wil M.P. van der Aalst, A.H.M. ter Hofstede and D. Edmond. Workflow Resource Patterns: Identification, Representation and Tool Support. Proceedings of the 17th International Conference on Advanced Information Systems Engineering (CAiSE 05), Porto, Portugal, June 2005. (acceptance rate: 13%) Springer Verlag.
  30. J. O'Sullivan, D. Edmond and A.H.M. ter Hofstede. Two main challenges in service description: Web service tunnel vision and Semantic myopia. W3C Workshop on Frameworks for Semantics in Web Services, 9th - 10th June 2005, Austria.
  31. Y.W. Si, D. Edmond, A. H.M. ter Hofstede, M. Dumas, and C.U. Chong. Specification of Composite Trading Activities in Supply Chain Management. In Proceedings of the 2nd IEEE International Conference on E-Commerce, E-Technology, and E-Service (EEE-05), Hong Kong, China, March 2005. IEEE Computer Society.
  32. J. Hidders, M. Dumas, W. M.P. van der Aalst, A. H.M. ter Hofstede, and J. Verelst. When Are Two Workflows the Same? In Proceedings of Computing: The 11th Australasian Theory Symposium (CATS), Newcastle, Australia, February 2005. Australian Computer Society.
  33. W.M.P. van der Aalst, L. Aldred, M. Dumas, and A.H.M. ter Hofstede. Design and Implementation of the YAWL System. In Proceedings of the 16th International Conference on Advanced Information Systems (CAiSE'2004). Latvia, June 2004. Springer Verlag.
  34. P. Oaks, A.H.M. ter Hofstede, and D. Edmond. Capabilities: describing what services do. Proceedings of the First International Conference on Service Oriented Computing, Trento, Italy, December 2003.
  35. P. Oaks, A.H.M. ter Hofstede, D. Edmond, and M. Spork. Extending conceptual models for web based applications. Proceedings of the 22nd International Conference on Conceptual Modeling (ER'2003) , Chicago, Illinois, October 2003.
  36. P. Wohed, W.M.P. van der Aalst, M. Dumas, and A.H.M. ter Hofstede. Analysis of Web Services Composition Languages: The Case of BPEL4WS. Proceedings of the 22nd International Conference on Conceptual Modeling (ER'2003), Chicago, Illinois, October 2003.
  37. Y-W. Si, D. Edmond, A.H.M. ter Hofstede, and M. Dumas. Property Propagation Rules for Prioritizing and Synchronizing Trading Activities. Proceedings of the 2003 IEEE Conference on E-Commerce (CEC’03), Newport Beach, California, June 2003.
  38. M. Adams, D.Edmond, and A.H.M. ter Hofstede. The Application of Activity Theory to Dynamic Workflow Adaptation Issues. Proceedings of the Pacific Asia Conference on Information Systems , Adelaide, Australia, June 2003.
  39. P. Wohed, E. Perjons, M. Dumas, and A. ter Hofstede, Pattern-Based Analysis of EAI Languages - The Case of the Business Modelling Language, Proceedings of the 5th International Conference on Enterprise Information Systems (ICEIS). Angers, France, April 2003, Kluwer Academic Publishers.
  40. Y.W. Si, D. Edmond, A. ter Hofstede, and M. Dumas, A Model for the Configurable Composition and Synchronization of Complex Trading Activities, Proceedings of the 18th ACM Symposium on Applied Computing (SAC), Melbourne FL, USA, March 2003, ACM Press.
  41. W.M.P. van der Aalst and A.H.M. ter Hofstede. Workflow Patterns: On the Expressive Power of (Petri-net-based) Workflow Languages (Invited Talk). In K. Jensen, editor, Proceedings of the Fourth Workshop on the Practical Use of Coloured Petri Nets and CPN Tools (CPN 2002), volume 560 of DAIMI, pages 1-20, Aarhus, Denmark, August 2002.
  42. M. Dumas, L. Aldred, G. Governatori, A.H.M. ter Hofstede,and N. Russell. A Probabilistic Approach to Automated Bidding in Alternative Auctions, Proceedings of the 11th International Conference on the World Wide Web (WWW), Honolulu, Hawaii, USA, May 2002.
  43. M. Dumas, G. Governatori, A. ter Hofstede, and N. Russell. An Architecture for Assembling Agents that Participate in Alternative Auctions, Proceedings of the 12th Workshop on Research Issues in Data Engineering - Engineering E-Commerce and E- Business Systems, San Jose, California, February 2002. IEEE Press.
  44. A.P. Barros, A.H.M. ter Hofstede, and C. Szyperski. Retrofitting Workflows for B2B Assembly, COMPSAC 2001, Chicago, Illinois, October 2001.
  45. M. Dumas and A. ter Hofstede. UML Activity Diagrams as a Workflow Specification Language, Proceedings of the 4th International Conference on the Unified Modeling Language (UML): Modeling Languages, Concepts, and Tools, volume 2185 of Lecture Notes in Computer Science, pages 76-90, Toronto, Canada, October 2001. Springer.
  46. G. Governatori, M. Dumas, A. ter Hofstede and P. Oaks. A Formal Approach to Protocols and Strategies for (Legal) Negotiation, Proceedings of the 8th International Conference on Artificial Intelligence and Law, pages 168-177, St. Louis, Missouri, May 2001. ACM Press.
  47. M. Dumas, J. O'Sullivan, M. Heravizadeh, A. ter Hofstede and D. Edmond, Towards a Semantic Framework for Service Description, Proceedings of the IFIP Conference on Database Semantics, pages 277-291, Hong Kong, China, April 2001. Kluwer Academic Publishers (published in January 2003).
  48. R. Lau, A.H.M. ter Hofstede, P.D. Bruza. Nonmonotonic Reasoning for Adaptive Information Filtering, Proceedings of the Twenty-Fourth Australasian Computer Science Conference (ACSC2001), pages 109-116, Gold Coast, Queensland, Australia, 2001. IEEE Press.
  49. G. Governatori, A.H.M. ter Hofstede, P. Oaks. Defeasible Logic for Automated Negotiation, Proceedings Fifth CollECTeR Conference on Electronic Commerce (CollECTeR'2000), Brisbane, Australia, December 2000.
  50. R. Lau, A.H.M. ter Hofstede, P.D. Bruza, and K.F. Wong. Belief Revision and Possibilistic Logic fo Adaptive Information Filtering Agents. Proceedings of the Twelfth IEEE International Conference on Tools with Artificial Intelligence, pages 19-26, British Columbia, Canada, November 2000. IEEE Press.
  51. W.M.P. van der Aalst, A.P. Barros, A.H.M. ter Hofstede, and B. Kiepuszewski. Advanced Workflow Patterns . In O. Etzion and P. Scheuremann, editors, Proceedings Seventh IFCIS International Conference on Cooperative Information Systems, CoopIS 2000, volume 1901 of Lecture Notes in Computer Science, pages 18-29, Eilat, Israel. September 2000. Springer-Verlag. The reader may also be interested in the Workflow Patterns Home Page.
  52. A.P. Barros and A.H.M. ter Hofstede. Modelling Concurrent Process Coordination in Workflow Specifications. In E.D. Falkenberg, K. Lyytinen, and A.A. Verrijn-Stuart, editors, Information System Concepts: An Integrated Discipline Emerging. IFIP TC8/WG8.1 International Conference on Information System Concepts: An Integrated Discipline Emerging (ISCO-4), September 1999, Leiden, The Netherlands, pages 141-162. Kluwer Academic Publishers, 2000.
  53. R. Lau, A.H.M. ter Hofstede and P.D. Bruza (2000). A Logic-Based Approach for Adaptive Information Filtering Agents . In F. Mizoguchi, L. Sterling, and S.W. Loke, editors, Proceedings of the First Pacific Rim International Workshop on Intelligent Information Agents (PRIIA 2000), pages 13-23, Melbourne, Australia, August 2000. 
  54. B. Kiepuszewski, A.H.M. ter Hofstede and C. Bussler. On Structured Workflow Modelling . In B. Wangler and L. Bergman, editors, Proceedings Twelfth International Conference on Advanced Information Systems Engineering (CAiSE'2000), volume 1789 of Lecture Notes in Computer Science, pages 431-445, Stockholm, Sweden, June 2000. Springer Verlag.
  55. D. Edmond and A.H.M. ter Hofstede. Service Composition for Electronic Commerce. In J. Thong, P. Chau and K.Y. Tam, editors, Proceedings Fourth Pacific Asia Conference on Information Systems, pages 253--262, Hong Kong, China, June 2000.
  56. R. Lau, A.H.M. ter Hofstede and P.D. Bruza. Applying Maxi-adjustment to Adaptive Information Filtering Agents . Proceedings of the 8th International Workshop on Non-Monotonic Reasoning NMR'2000. April 9-11, Breckenridge, Colorado, USA. 
  57. R. Lau, A.H.M. ter Hofstede and P.D. Bruza (2000). Adaptive Profiling Agents for Electronic Commerce . Proceedings of the 4th CollECTeR Conference on Electronic Commerce. Breckenridge, Colorado, April 2000. 
  58. R. Lau, A.H.M. ter Hofstede and P.D. Bruza. A Study of Belief Revision in the Context of Adaptive Information Filtering . In Lucas Chi-Kwong Hui and Dik Lun Lee, editors, Proceedings of the 5th International Computer Science Conference ICSC'99 on Internet Applications, volume 1749 of Lecture Notes in Computer Science, pages 1-10, Hong Kong, China, December 1999. Springer-Verlag.
  59. B. Kiepuszewski and A.H.M. ter Hofstede. Experiences with Embedding a Workflow Engine in MIMS . In Proceedings Workflow Management'99, Muenster, Germany, November 1999.
  60. A.P. Barros and A.H.M. ter Hofstede. Modelling Extensions for Concurrent Workflow Coordination . Proceedings Fourth IFCIS International Conference on Cooperative Information Systems, CoopIS'99, pages 336-347, Edinburgh, Scotland, September 1999. IEEE Computer Society.
  61. A.H.M. ter Hofstede and A.P. Barros. Specifying Complex Process Control Aspects in Workflows for Exception Handling . Proceedings of 6th International Conference on Database Systems for Advanced Applications, DASFAA'99, A.L.P. Chen and F.H. Lochovsky (eds), pages 53-60, Hsinchu, Taiwan, April 1999. IEEE Computer Society. 
  62. J.W.G.M. Hubbers and A.H.M. ter Hofstede. Exploring the Jungle of Object-Oriented Conceptual Data Modeling. In Chris McDonald, editor, Proceedings of the 9th Australasian Database Conference, ADC'98, volume 20(2) of Australian Computer Science Communications, pages 65-76, Perth, Australia, February 1998. Springer.
  63. A.P. Barros, A.H.M. ter Hofstede, and H.A. Proper. Towards Real-Scale Business Transaction Workflow Modelling . In A. Olive and J.A. Pastor, editors, Proceedings of the Ninth International Conference CAiSE'97 on Advanced Information Systems Engineering, volume 1250 of Lecture Notes in Computer Science, pages 437-450, Barcelona, Spain, June 1997. Springer-Verlag.
  64. A.P. Barros, A.H.M. ter Hofstede, and H.A. Proper. Essential Principles for Workflow Modelling Effectiveness . In G.G. Gable and R.A.G. Webber, editors, Proceedings of the Third Pacific Asia Conference on Information Systems (PACIS'97), pages 134-147, Brisbane, Australia, April 1997. 
  65. A.H.M. ter Hofstede, M.E. Orlowska, and J. Rajapakse. Verification Problems in Conceptual Workflow Specifications. In B. Thalheim, editor, Proceedings of the 15th International Conference on Conceptual Modeling (ER'96), volume 1157 of Lecture Notes in Computer Science, pages 73-88, Cottbus, Germany, October 1996. Springer Verlag. For correction, see note provided for [HOR98].
  66. J.W.G.M. Hubbers and A.H.M. ter Hofstede. An Algebraic Semantics for Object-Oriented Behaviour Modeling . In P.A. Bailes, editor, Proceedings 1996 Australian Software Engineering Conference, pages 4-15, Melbourne, Australia, July 1996. IEEE Computer Society Press. 
  67. A.H.M. ter Hofstede, H.A. Proper, and Th.P. van der Weide. Exploring Fact Verbalisations for Conceptual Query Formulation . Proceedings of the Second International Workshop on Applications of Natural Language to Databases (NLDB'96), pages 40-51, Amsterdam, The Netherlands, June 1996. IOS Press. 
  68. F.C. Berger, A.H.M. ter Hofstede, and Th.P. van der Weide. Supporting Query by Navigation . In R. Leon, editor, Information retrieval: New systems and current research, Proceedings of the 16th Research Colloquium of the British Computer Society Information Retrieval Specialist Group, pages 26-46, Drymen, Scotland, 1996. Taylor Graham. 
  69. T.F. Verhoef and A.H.M. ter Hofstede. Feasibility of Flexible Information Modelling Support . In J. Iivari, K. Lyytinen, and M. Rossi, editors, Proceedings of the Seventh International Conference CAiSE'95 on Advanced Information Systems Engineering, volume 932 of Lecture Notes in Computer Science, pages 168-185, Jyvaskula, Finland, June 1995. Springer-Verlag.
  70. A.H.M. ter Hofstede, H.A. Proper, and Th.P. van der Weide. Computer Supported Query Formulation in an Evolving Context . In R. Sacks-Davis and J. Zobel, editors, Proceedings of the Sixth Australasian Database Conference, ADC'95, volume 17(2) of Australian Computer Science Communications, pages 188-202, Adelaide, Australia, January 1995. 
  71. A.H.M. ter Hofstede, H.A. Proper, and Th.P. van der Weide. Supporting Information Disclosure in an Evolving Environment . In D. Karagiannis, editor, Proceedings of the 5th International Conference DEXA'94 on Database and Expert Systems Applications, volume 856 of Lecture Notes in Computer Science, pages 433-444, Athens, Greece, September 1994. Springer-Verlag.
  72. A.H.M. ter Hofstede and Th.P. van der Weide. Fact Orientation in Complex Object Role Modelling Techniques . In T.A. Halpin and R. Meersman, editors, Proceedings of the First International Conference on Object-Role Modelling (ORM-1), pages 45-59, Townsville, Australia, July 1994.
  73. A.H.M. ter Hofstede, H.A. Proper, and Th.P. van der Weide. A Conceptual Language for the Description and Manipulation of Complex Information Models . In G. Gupta, editor, Seventeenth Annual Computer Science Conference, volume 16 of Australian Computer Science Communications, pages 157-167, Christchurch, New Zealand, January 1994. University of Canterbury.
  74. A.H.M. ter Hofstede, T.F. Verhoef, E.R. Nieuwland, and G.M. Wijers. Integrated Specification of Method and Graphic Knowledge . In Proceedings of the Fourth International Conference on Software Engineering and Knowledge Engineering, pages 307-316, Capri, Italy, June 1992. IEEE Computer Society Press.
  75. A.H.M. ter Hofstede, H.A. Proper, and Th.P. van der Weide. Data Modelling in Complex Application Domains . In P. Loucopoulos, editor, Proceedings of the Fourth International Conference CAiSE'92 on Advanced Information Systems Engineering, volume 593 of Lecture Notes in Computer Science, pages 364-377, Manchester, United Kingdom, May 1992. Springer-Verlag. 
  76. T.F. Verhoef, A.H.M. ter Hofstede, and G.M. Wijers. Structuring modelling knowledge for CASE shells. In R. Andersen, J.A. Bubenko, and A. Solvberg, editors, Proceedings of the Third International Conference CAiSE'91 on Advanced Information Systems Engineering, volume 498 of Lecture Notes in Computer Science, pages 502-524, Trondheim, Norway, May 1991. Springer-Verlag.
  77. S. Brinkkemper and A.H.M. ter Hofstede. The Conceptual Task Model: a Specification Technique between Requirements Engineering and Program Development. In B. Steinholtz, A. Solvberg, and L. Bergman, editors, Proceedings of the Second Nordic Conference CAiSE'90 on Advanced Information Systems Engineering, volume 436 of Lecture Notes in Computer Science, pages 228-250, Stockholm, Sweden, May 1990. Springer-Verlag.

SOME OTHER PUBLICATIONS

  1. N. Russell, Wil M.P. van der Aalst, and Arthur H.M. ter Hofstede. All That Glitters Is Not Gold: Selecting the Right Tool for Your BPM Needs. In "Innovations in Business Process Thinking", Cutter Consortium, 2007, pp 143-156.
  2. Stefan Seidel, Michael Rosemann, Arthur ter Hofstede, Lindsay Bradford, Katherine Shortland, and David Court. Business Process Management for the Creative Industries: Facing Challenges Arising from Globalisation and New Technology. Beijing Forum, October 2006.
  3. W.M.P. van der Aalst, M. Dumas, A.H.M. ter Hofstede, N. Russell, H. M.W Verbeek, and P. Wohed. Life After BPEL? In Proceedings of the 2nd International Workshop on Web Services and Formal Methods (WS-FM) , Versailles, France, September 2005. Springer Verlag.
  4. C. Ouyang, S. Breutel, H.M.W. Verbeek, W.M.P. van der Aalst, M. Dumas, A.H.M. ter Hofstede. WofBPEL/BPEL2PNML. In Tools Session in 2nd International Workshop on Web Services and Formal Methods (WS-FM05), Versailles, France, 2-3 September 2005, France.
  5. W.M.P. van der Aalst, M. Dumas, and A.H.M. ter Hofstede. Web Service Composition Languages: Old Wine in New Bottles? In Proceedings of the 29th EUROMICRO Conference, Track on Software Process and Product Improvement, Ankara, Turkey, September 2003. IEEE Press.
  6. W.M.P. van der Aalst, A.H.M. ter Hofstede, and M. Weske. Business Process Management: A Survey. In Proceedings of the Conference On Business Process Management: On the Application of Formal Methods to "Process-Aware" Information Systems, Eindhoven, The Netherlands, June 2003.
  7. D. Edmond and A.H.M. ter Hofstede. Achieving Adaptive Workflows Through Reflection . In Proceedings of CSCW-98 Workshop "Towards Adaptive Workflow Systems'', Seattle, USA, 14 November 1998.
  8. A.H.M. ter Hofstede, T.F. Verhoef, E.R. Nieuwland, and G.M. Wijers. Specification of Graphic Conventions in Methods . In B. Theodoulidis and A. Sutcliffe, editors, Proceedings of the Third Workshop on the Next Generation of CASE Tools, pages 185-215, Manchester, United Kingdom, May 1992.
  9. S. Brinkkemper, A.H.M. ter Hofstede, T.F. Verhoef and G.M. Wijers. A Meta-Modeling Based CASE Shell to Support Customized Domain Modeling. In N. Iscoe, editor, Proceedings of the Third Workshop on Domain Modeling, International Conference on Software Engineering, Austin, Texas, May 1991.
  10. E.J.T. van Dinter, M.P.W. Martens, A.H.M. ter Hofstede, and S. Brinkkemper. ASupport Tool for Integrated Dialogue Specification. In N. Iscoe, editor, Proceedings of the Third Workshop on Domain Modeling, International Conference on Software Engineering, pages 290-301, Austin, Texas, May 1991.
  11. S. Brinkkemper, A.H.M. ter Hofstede, T.F. Verhoef and G.M. Wijers. A CASE-tool Shell to Facilitate the Customisation of Requirements Engineering Support. In R. Norman and R. van Gendt, editors, Proceedings of the Fourth International Workshop on CASE, pages 302-303, Irvine, California, December 1990. IEEE Computer Science Press.
  12. A.H.M. ter Hofstede, T.F. Verhoef, S. Brinkkemper, and G.M. Wijers. The SOCRATES Project. In S.Brinkkemper and G.M. Wijers, editors, Proceedings of the First Workshop on the Next Generation of CASE Tools, Noordwijkerhout, The Netherlands, April 1990.
  13. A.H.M. ter Hofstede, T.F. Verhoef, S. Brinkkemper, and G.M. Wijers. Expert-based Support of Information Modelling: a Survey. In S.Brinkkemper and G.M. Wijers, editors, Proceedings of the First Workshop on the Next Generation of CASE Tools, Noordwijkerhout, The Netherlands, April 1990.
  14. S. Brinkkemper and A.H.M. ter Hofstede. The Modelling of Tasks at a Conceptual Level in Information Systems Development Methods. In IFIP WG 8.1 CRIS Review Workshop, Sesimbra, Portugal, June 1989.

 

  
2007 © Arthur ter Hofstede

Home | Publications | Research | Professional Activities | Students | Personal | Contact |

For any problems or queries, please contact me
Webmaster: Jessica Prestedge (webmaster@yawlfoundation.org)