Towards Verification of Connection-Aware Transaction Models for Mobile Applications.
Lars Michael KristensenGabriele TaentzerSteffen VaupelPublished in: PNSE @ Petri Nets (2017)
Keyphrases
- mobile applications
- transaction model
- long lived
- mobile computing
- mobile devices
- transaction support
- mobile users
- database transactions
- mobile phone
- context aware
- user experience
- mobile technologies
- advanced transaction models
- smart phones
- m learning
- transaction management
- multidatabase systems
- end users
- object oriented database systems
- concurrency control
- mobile apps
- transaction processing
- active databases
- databases
- workflow management
- database management systems
- data model
- artificial intelligence