Formal Verification of Business Processes Represented as Role Activity Diagrams.
Amelia BadicaCostin BadicaPublished in: FedCSIS (2011)
Keyphrases
- business processes
- formal verification
- business process
- activity diagrams
- model checking
- web services
- model checker
- business process management
- business process models
- process model
- competitive advantage
- workflow management systems
- sequence diagrams
- business rules
- operational semantics
- databases
- service oriented architecture
- artificial intelligence