A Formal Approach and its Tool Support for the Specification and the Verification of Structural Properties on UML Activity Diagrams.
Amel MammarPublished in: Software Engineering Research and Practice (2006)
Keyphrases
- structural properties
- tool support
- uml activity diagrams
- formal methods
- formal specification
- software engineering
- model checking
- formal verification
- requirements specification
- requirements engineering
- software development
- software projects
- software tools
- design decisions
- business process models
- formal language
- high level
- specification language
- databases
- artificial intelligence
- graphical representation
- trade off
- operational semantics
- bayesian networks
- design patterns
- open source
- error rate
- database
- data integration