Mobile-based support for business processes: feasibility and correctness

Summary form only given. There is now virtual unanimity that wireless communication will be a dominant business initiative for enterprises of all size, across all industries, for the foreseeable future. The ability to send and receive information and communicate anytime, anywhere, on any type of device has not only become a reality, but a necessity. The main problems encountered in this environment is to share data, coordinate tasks, and maintain the consistency of information. Most research in this area has been focused on the communication, and the consistency of information. However less works have been done in the feasibility and correctness of a business process. Our aim is to define in a rigorous and incremental way models as an attempt to deal with the above problems. The models are expressed using the Raise Specification Language (RSL).