Visual Specification Language and Automatic Checking of Business Process.
Outman El HichamiMohammed Al AchhabIsmail BerradaBadr Eddine El MohajirPublished in: VECoS (2014)
Keyphrases
- business process
- specification language
- business processes
- workflow models
- description language
- formal specification
- process model
- business process models
- programming language
- business process modeling
- ws bpel
- case study
- web services
- business rules
- business process management
- process mining
- service oriented architecture
- workflow model
- workflow technology
- general purpose
- high level
- databases