Seamless mobile transaction processing: models, protocols and software tools

This paper describes the operational models, protocols and software tools needed for seamless mobile transaction processing in a wireline (wired) and wireless environment. In particular, we consider the role of various interactive distributed computing models, different logical modes of programming (Imperative, declarative, subjunctive and abductive), transaction and workflow models (that relax atomicity, consistency, isolation, durability and serializability properties), new protocols and software tools that are needed.