Verification support for workflow design with UML activity graphs.
Rik EshuisRoel J. WieringaPublished in: ICSE (2002)
Keyphrases
- software engineering
- formal methods
- design patterns
- software architecture
- software development
- software systems
- knowledge management
- model driven engineering
- case study
- exception handling
- conceptual modeling
- model checking
- human activities
- process model
- graph matching
- design decisions
- modeling language
- sequence diagrams
- workflow technology
- information systems