Short: Graphical Specification and Automatic Verification of Business Process.
Outman El HichamiMohammed Al AchhabIsmail BerradaBadr Eddine El MohajirPublished in: NETYS (2014)
Keyphrases
- business process
- business rules
- business processes
- workflow model
- process model
- ws bpel
- business process models
- case study
- web services
- process execution
- workflow technology
- business process management
- business process modeling
- formal specification
- service oriented architecture
- specification language
- process mining
- artificial intelligence
- virtual organization
- competitive market
- workflow management systems
- decision makers