Jingtao Yang

Learn More
Designing systems of asynchronous web services is challenging. Addressing the design in terms of component reuse helps address important questions that need to be answered if dynamic configuration of business solutions from web services is to be achieved. The fact that the components are web services doesn't mean that all the problems of reuse have been(More)
This paper presents the DFM notation and its operational semantics. DFM (Document Flow Model) is a message-based workflow notation for modelling asynchronous web services communication, which uses coordination mechanisms to support dynamic configurations and long-running business processes. The operational semantics of a DFM specification describes the(More)
This paper presents a formal notation for modelling asynchronous web services composition, using context and coordination mechanisms. Our notation specifies the messages that can be handled by different web services, and describes a system of interrelated web services as the flow of documents between them. The notation allows the typical web services(More)
  • 1