WSMO Choreography: From Abstract State Machines to Concurrent Transaction Logic.
Dumitru RomanMichael KiferDieter FenselPublished in: ESWC (2008)
Keyphrases
- database
- logic programming
- classical logic
- web services
- mutual exclusion
- modal logic
- predicate logic
- concurrency control
- long running
- computational properties
- proof theory
- concurrent execution
- automated reasoning
- semantic web services
- service discovery
- concurrent processes
- concurrent programming
- write operations
- real time database systems
- transaction management
- transaction processing
- logic programs
- knowledge representation