Modelling and Verification of Web Services Business Activity Protocol.
Anders P. RavnJirí SrbaMuhammad Saleem VighioPublished in: TACAS (2011)
Keyphrases
- web services
- business processes
- business process
- colored petri nets
- cryptographic protocols
- petri net model
- model checker
- business applications
- web service compositions
- protocol specification
- description language
- formal analysis
- service composition
- petri net
- model checking
- web technologies
- information systems
- data mining
- decision making
- electronic commerce
- web applications
- web service composition
- business intelligence
- service oriented
- enterprise application integration
- composite web services
- formal proof
- communication protocols
- business process management
- formal verification
- service delivery
- service oriented architecture
- workflow management
- end users
- service architecture
- lightweight
- human activities
- case study
- life cycle
- business transactions
- web services composition
- competitive advantage
- tcp ip
- business rules
- semantic web services
- business models
- security protocols
- service discovery
- data quality
- knowledge management
- signature verification
- formal methods