GSM+T: A Timed Artifact-Centric Process Model.
Julius KöpkeJohann EderJianwen SuPublished in: TIME (2018)
Keyphrases
- process model
- artifact centric
- workflow management systems
- petri net
- model checking
- business processes
- process mining
- business process
- service oriented architecture
- formal models
- control flow
- service composition
- business process models
- workflow technology
- expert systems
- software process
- workflow systems
- web service composition
- web services
- user interface