• Corpus ID: 249435

Model checking agent of SMS management system for direct sales and network marketing

@inproceedings{Bujang2007ModelCA,
  title={Model checking agent of SMS management system for direct sales and network marketing},
  author={Siti Dianah Abdul Bujang and Ali Selamat},
  year={2007}
}
The revolution and globalization towards the use of technology in Short Messaging Services (SMS) has leaded many electronic businesses in our country. As introduced, the SMS Management System in Direct Sales and Network Marketing is one of the integrated information systems which implemented the SMS technology for greater performance. The enhancement of connection and communication among cluster of distributors has contributed higher level of the business networking system.However, several… 

Figures from this paper

The Design of Model Checking Agent for SMS Management System
TLDR
A model checking agent is developed as a reliable tool for evaluating the failure of protocols in SMS management system and has contributed to the quality of SMS messages and increase the failure detection in ebusiness process.
Verification of Mobile SMS Application with Model Checking Agent
TLDR
A model checking agent approach to handle the verification and validation of mobile SMS application in order to ensure that the design of the system is correct and result from the SPIN model checker is able to determine whether the model is satisfy the properties of the requirement stated or could be otherwise.
Model checking agent using formal method for SMS verfication
TLDR
This paper is proposing the model checking agent approach using formal method through Short Message Services (SMS) application as an example, which can support the SMS application to be efficient, maintainable and verifiable.
Agent Verification Design of Short Text Messaging System Using Formal Method
TLDR
The aim of this paper is to provide a reliable and verifiable system designs, using Spin as the model checker to ensure that the system design is secured from the unseen errors and bugs in the early stage of development.
The architectures of SMS management system as a tool for communication
This paper describes the characteristics, advantages and disadvantages of a SMS Management System to be used in the educational environment. This system is hoped to encourage communication among
A Virtual Environment for Collaborative Distance Learning
TLDR
This work designs and implements a 3D collaborative virtual environment (CVE) for distance learning (DL) that is designed with the major tools, including agents, virtual objects, and virtual environments to support 3D CVEs for DLs.

References

SHOWING 1-10 OF 37 REFERENCES
The Design of Model Checking Agent for SMS Management System
TLDR
A model checking agent is developed as a reliable tool for evaluating the failure of protocols in SMS management system and has contributed to the quality of SMS messages and increase the failure detection in ebusiness process.
Agent-oriented technology in support of e-business
TLDR
Intelligent business agents are the next higher level of abstraction in model-based solutions to business-to-business e-commerce applications and can help address serious technological challenges such as concerns about effective searching, security and privacy, and effective use of interoperability between diverse business processes and diverse information required to achieve tele-cooperation and global e- commerce.
Model checking for E-business control and assurance
TLDR
This paper explicates how model-checking technology can aid in the design and assurance of e-business processes in complex digital environments and demonstrates how model checking can be used to verify e- business requirements concerning money atomicity, goods atomivity, valid receipt, and communication-link failure.
Model checking for design and assurance of e-Business processes
GSM-PKI solution enabling secure mobile communications
Web applications design and maintenance using symbolic model checking
TLDR
The approach adopts the well-established symbolic model checking technique and the associated tool SMV and adopts Computation Tree Logic as language to define the properties to be verified.
...
...