A Public-View Approach to Timed Properties Verification for B2B Web Service Compositions.
Wei SongXiaoxing MaS. C. CheungWanchun DouJian LuPublished in: IEEE SCC (2009)
Keyphrases
- web service compositions
- petri net
- multiple views
- database
- formal verification
- genetic algorithm
- web service composition
- service composition
- structural properties
- electronic commerce
- asynchronous circuits
- signature verification
- desirable properties
- viewpoint
- relational databases
- decision trees
- knowledge base
- artificial intelligence
- learning algorithm
- data mining
- databases
- data sets