Formal verification of an automotive scenario in service-oriented computing.
Maurice H. ter BeekStefania GnesiNora KochFranco MazzantiPublished in: ICSE (2008)
Keyphrases
- formal verification
- service oriented computing
- grid computing
- service oriented
- web services
- service composition
- model checking
- service oriented architecture
- service discovery
- grid systems
- model checker
- automated verification
- bounded model checking
- loosely coupled
- symbolic model checking
- semantic web services
- computing paradigm
- conceptual framework
- web service composition
- distributed computing
- business process management
- computing environments
- wireless sensor networks
- multi agent