newYAWL is a business process modelling language founded onudthe workflow patterns. It radically extends the YAWL offering to provideudholistic support for the control-flow, data and resource perspectives and allowsudbusiness processes to be captured in suffcient detail that they can beuddirectly enacted. In order to ensure that business processes are executed inuda deterministic way, newYAWL is based on formal foundations. This paperuddescribes the approach taken to specifying the operational semantics forudnewYAWL based on Coloured Petri Nets. It discusses the development of theudsemantic model for newYAWL, which was undertaken using CPN Tools, andudthe experiences associated with developing a complete operational design forudan offering of this scale using formal techniques.
展开▼