David Edmond

According to our database, David Edmond authored at least 37 papers between 1990 and 2009.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2009

Soundness-preserving reduction rules for reset workflow nets.

Moe Thandar Wynn, H. M. W. Verbeek, Wil M. P. van der Aalst, Arthur H. M. ter Hofstede, David Edmond

Inf. Sci., 2009

Reduction rules for YAWL workflows with cancellation regions and OR-joins.

Moe Thandar Wynn, H. M. W. Verbeek, Wil M. P. van der Aalst, Arthur H. M. ter Hofstede, David Edmond

Inf. Softw. Technol., 2009

Synchronization and Cancelation in Workflows Based on Reset Nets.

Moe Thandar Wynn, Wil M. P. van der Aalst, Arthur H. M. ter Hofstede, David Edmond

Int. J. Cooperative Inf. Syst., 2009

Business process verification - finally a reality!

Moe Thandar Wynn, H. M. W. Verbeek, Wil M. P. van der Aalst, Arthur H. M. ter Hofstede, David Edmond

Bus. Process. Manag. J., 2009

2008

Making Workflows Context-aware: A Way to Support Knowledge-intensive Tasks.

Mitra Heravizadeh, David Edmond

Proceedings of the Conceptual Modelling 2008, 2008

2007

Strategies in supply chain management for the Trading Agent Competition.

Yain-Whar Si, David Edmond, Marlon Dumas, Chan U. Chong

Electron. Commer. Res. Appl., 2007

Specification and execution of composite trading activities.

Yain-Whar Si, David Edmond, Marlon Dumas, Arthur H. M. ter Hofstede

Electron. Commer. Res., 2007

Dynamic, Extensible and Context-Aware Exception Handling for Workflows.

Michael Adams, Arthur H. M. ter Hofstede, Wil M. P. van der Aalst, David Edmond

Proceedings of the On the Move to Meaningful Internet Systems 2007: CoopIS, 2007

2006

Worklets: A Service-Oriented Implementation of Dynamic Flexibility in Workflows.

Michael Adams, Arthur H. M. ter Hofstede, David Edmond, Wil M. P. van der Aalst

Proceedings of the On the Move to Meaningful Internet Systems 2006: CoopIS, 2006

Verifying Workflows with Cancellation Regions and OR-Joins: An Approach Based on Reset Nets and Reachability Analysis.

Moe Thandar Wynn, Wil M. P. van der Aalst, Arthur H. M. ter Hofstede, David Edmond

Proceedings of the Business Process Management, 4th International Conference, 2006

2005

Orchestrating interrelated trading activities.

Yain-Whar Si, David Edmond, Arthur H. M. ter Hofstede, Marlon Dumas

Int. J. Bus. Process. Integr. Manag., 2005

The Price of Services.

Justin O'Sullivan, David Edmond, Arthur H. M. ter Hofstede

Proceedings of the Service-Oriented Computing, 2005

Workflow Data Patterns: Identification, Representation and Tool Support.

Nick Russell, Arthur H. M. ter Hofstede, David Edmond, Wil M. P. van der Aalst

Proceedings of the Conceptual Modeling, 2005

Specification of Composite Trading Activities in Supply Chain Management.

Yain-Whar Si, David Edmond, Arthur H. M. ter Hofstede, Marlon Dumas, Chan U. Chong

Proceedings of the 2005 IEEE International Conference on e-Technology, e-Commerce, and e-Services (EEE 2005), 29 March, 2005

Workflow Resource Patterns: Identification, Representation and Tool Support.

Nick Russell, Wil M. P. van der Aalst, Arthur H. M. ter Hofstede, David Edmond

Proceedings of the Advanced Information Systems Engineering, 17th International Conference, 2005

Facilitating Flexibility and Dynamic Exception Handling in Workflows through Worklets.

Michael Adams, Arthur H. M. ter Hofstede, David Edmond, Wil M. P. van der Aalst

Proceedings of the 17th Conference on Advanced Information Systems Engineering (CAiSE '05), 2005

Achieving a General, Formal and Decidable Approach to the OR-Join in Workflow Using Reset Nets.

Moe Thandar Wynn, David Edmond, Wil M. P. van der Aalst, Arthur H. M. ter Hofstede

Proceedings of the Applications and Theory of Petri Nets 2005, 2005

2004

The estimation of Invocation Cost for Composite Services.

Moe Thandar Wynn, David Edmond, Stephen Milliner

Trans. SDPS, 2004

2003

Property Propagation Rules for Prioritizing and Synchronizing Trading Activities.

Yain-Whar Si, David Edmond, Arthur H. M. ter Hofstede, Marlon Dumas

Proceedings of the 2003 IEEE International Conference on Electronic Commerce (CEC 2003), 2003

When and where is a service? Investigating temporal and locative service properties.

Justin O'Sullivan, David Edmond

Proceedings of the 2003 Symposium on Applications and the Internet Workshops (SAINT 2003), 27-31 January 2003, 2003

A Model for the Configurable Composition and Synchronization of Complex Trading Activities.

Yain-Whar Si, David Edmond, Arthur H. M. ter Hofstede, Marlon Dumas

Proceedings of the 2003 ACM Symposium on Applied Computing (SAC), 2003

On the role of value-focused interfaces for online shopping.

Mitra Heravizadeh, David Edmond

Proceedings of the Seventh Pacific Asia Conference on Information Systems, 2003

The Application of Activity Theory to Dynamic Workflow Adaptation Issues.

Michael Adams, David Edmond, Arthur H. M. ter Hofstede

Proceedings of the Seventh Pacific Asia Conference on Information Systems, 2003

Capabilities: Describing What Services Can Do.

Phillipa Oaks, Arthur H. M. ter Hofstede, David Edmond

Proceedings of the Service-Oriented Computing, 2003

Extending Conceptual Models for Web Based Applications.

Phillipa Oaks, Arthur H. M. ter Hofstede, David Edmond, Murray Spork

Proceedings of the Conceptual Modeling, 2003

2002

What's in a Service?

Justin O'Sullivan, David Edmond, Arthur H. M. ter Hofstede

Distributed Parallel Databases, 2002

The Use of Patterns in Service Composition.

Moe Thandar Tut, David Edmond

Proceedings of the Web Services, 2002

2001

Towards A Semantic Framework for Service Description.

Marlon Dumas, Justin O'Sullivan, Mitra Heravizadeh, David Edmond, Arthur H. M. ter Hofstede

Proceedings of the Semantic Issues in E-Commerce Systems, 2001

2000

A reflective infrastructure for workflow adaptability.

David Edmond, Arthur H. M. ter Hofstede

Data Knowl. Eng., 2000

Service Composition for Electronic Commerce.

David Edmond, Arthur H. M. ter Hofstede

Proceedings of the Fourth Pacific Asia Conference on Information Systems, 2000

1998

Reflective Data Sharing in Managing Internet Databases.

Athman Bouguettaya, Boualem Benatallah, David Edmond

Proceedings of the 18th International Conference on Distributed Computing Systems, 1998

1996

A Translation Protocol Achieving Consensus of Semantics between Cooperating Heterogeneous Database Systems.

Mike P. Papazoglou, Nick Russell, David Edmond

Proceedings of the First IFCIS International Conference on Cooperative Information Systems (CoopIS'96), 1996

1995

An Overview of Reflection and Its Use in Cooperation.

David Edmond, Mike P. Papazoglou, Zahir Tari

Int. J. Cooperative Inf. Syst., 1995

Refining Database Systems.

David Edmond

Proceedings of the ZUM '95: The Z Formal Specification Notation, 1995

R-OK: A Reflective Model for Distributed Object Management.

David Edmond, Mike P. Papazoglou, Zahir Tari

Proceedings of the Proceedings RIDE-DOM '95, Fifth International Workshop on Research Issues in Data Engineering, 1995

Packaging Knowledge into Metaobjects.

David Edmond, Mike P. Papazoglou, Nick Russell, Zahir Tari

Proceedings of the KRDB-95: Reasoning about Structured Objects: Knowledge Representation Meets Databases, 1995

1990

Implications of the tax file number legislation for computer professionals.

William J. Caelli, David Edmond, E. A. Knight, Alan B. Tickle

Aust. Comput. J., 1990