Control-flow semantics of use cases in UML.
Klaas van den BergAnthony J. H. SimonsPublished in: Inf. Softw. Technol. (1999)
Keyphrases
- control flow
- data flow
- modeling language
- business process models
- software testing
- uml activity diagrams
- software systems
- formal semantics
- process model
- software development
- transition systems
- workflow management systems
- business processes
- reactive systems
- software engineering
- object oriented
- real world
- test cases
- decision trees
- specification language
- memory hierarchy
- information systems
- business process