Refinement and Verification of Sequence Diagrams Using the Process Algebra CSP.
Tomohiro KaizuYoshinao IsobeMasato SuzukiPublished in: IEICE Trans. Fundam. Electron. Commun. Comput. Sci. (2013)
Keyphrases
- process algebra
- sequence diagrams
- concurrent systems
- petri net
- model checking
- asynchronous circuits
- formal methods
- grid workflow
- constraint satisfaction problems
- uml models
- class diagrams
- formal specification
- temporal logic
- test cases
- intermediate representation
- distributed systems
- dependency graph
- case study
- service composition
- web service composition
- communication protocols
- regression testing
- database