Let's Go All the Way: From Requirements Via Colored Workflow Nets to a BPEL Implementation of a New Bank System.
Wil M. P. van der AalstJens Bæk JørgensenKristian Bisgaard LassenPublished in: OTM Conferences (1) (2005)
Keyphrases
- web services
- business processes
- business process
- petri net
- workflow systems
- workflow engine
- service oriented
- formal methods
- process model
- detailed design
- real time
- workflow management systems
- business process modeling
- application specific
- workflow model
- web services composition
- business process management
- life cycle
- artificial intelligence