Towards timed requirement verification for service choreographies.
Nawal GuermoucheSilvano Dal-ZilioPublished in: CollaborateCom (2012)
Keyphrases
- petri net
- service oriented
- protocol specification
- colored petri nets
- service providers
- service composition
- verification method
- service quality
- model checking
- web services
- end users
- service discovery
- timed automata
- management system
- service oriented architecture
- mobile services
- information systems
- real time
- mobile devices
- formal specification
- service systems
- processor sharing
- data sets