PERANCANGAN PROTOKOL E3D MESSENGER

ABSTRAKSI: Instant messaging merupakan sebuah aplikasi pertukaran pesan singkat secara real time digunakan oleh jutaan orang di dunia agar dapat saling terhubung dengan teman, relasi kerja, maupun keluarga. Variasi messenger cukup banyak dan messenger juga digunakan sebagai layanan tambahan pada email dan jejaring sosial. Oleh karena itu, kami memutuskan membuat E3D Messenger yang terdiri dari protokol, server, kompresi dan aplikasi client. Pada Tugas Akhir ini telah dirancang protokol E3D Messenger. Tahap perancangan dimulai dari requirement specification, kemudian service design yang menghasilkan service specification. Pada protocol design, service specification digunakan untuk menghasilkan protocol specification. Protocol specification tersebut digambarkan dengan Format Description Technique SDL (Specification and Description Language). Spesifikasi E3D messenger protocol terdiri dari dua block yaitu E3D client dan E3D server. E3D client terdiri dari tiga process yaitu command reader, coder, dan processor sedangkan E3D server terdiri dari empat process yaitu listening, service, forward, dan database. Spesifikasi protokol dianalisis dengan menggunakan reachability analysis dan simulation tools Cinderella SDL 1.3 yang digunakan juga dalam perancangan. Berdasarkan hasil analisis dan disimulasi diketahui bahwa rancangan formal protokol E3D messenger valid karena tidak terdapat deadlock, error syntax dan semantic, serta expected behavior.Kata Kunci : E3D messenger, protokol, SDLABSTRACT: Instant messaging is applications that allow short message exchanges in real time and it is used by million people in the world to communicate with friend, coworker, and family. Variation of messenger it is so many and it can be use as additional service at email and social network. Hence, we decide to constract E3D Messenger which divide into four parts there are protocol, server, compression, and client application. In this minor thesis, E3D messenger protocol has been designed. Design phase protocol has started from requirement specification, then doing service design to produce service specification. In protocol design, service specification is used to produce protocol specification. It is described with Format Description Technique SDL (Specification and Description Language). E3D messenger specification consists of two blocks there are E3D client and E3D server. E3D client consist of three processes there are command reader, coder, and processor whereas E3D server consist of four processes there are listening, service, forward, and database. Protocol specification is analyzed with reachability analysis and simulation tools Cinderella SDL 1.3 that used too at design phase. Analysis and simulation show that formal specification E3D messenger protocol is valid. There is no deadlock, error syntax, error semantic and also expected behavior.Keyword: E3D messenger protocol, SD

SDL based validation of a node monitoring protocol

Mobile ad hoc network is a wireless, self-configured, infrastructureless network of mobile nodes. The nodes are highly mobile, which makes the application running on them face network related problems like node failure, link failure, network level disconnection, scarcity of resources, buffer degradation, and intermittent disconnection etc. Node failure and Network fault are need to be monitored continuously by supervising the network status. Node monitoring protocol is crucial, so it is required to test the protocol exhaustively to verify and validate the functionality and accuracy of the designed protocol. This paper presents a validation model for Node Monitoring Protocol using Specification and Description Llanguage (SDL) using both Static Agent (SA) and Mobile Agent (MA). We have verified properties of the Node Monitoring Protocol (NMP) based on the global states with no exits, deadlock states or proper termination states using reachability graph. Message Sequence Chart (MSC) gives an intuitive understanding of the described system behavior with varying node density and complex behavior etc.Comment: 16 pages, 24 figures, International Conference of Networks, Communications, Wireless and Mobile 201

The pros and cons of using SDL for creation of distributed services

In a competitive market for the creation of complex distributed services, time to market, development cost, maintenance and flexibility are key issues. Optimizing the development process is very much a matter of optimizing the technologies used during service creation. This paper reports on the experience gained in the Service Creation projects SCREEN and TOSCA on use of the language SDL for efficient service creation

Expanding an extended finite state machine to aid testability

The problem of testing from an extended finite state machine (EFSM) is complicated by the presence of infeasible paths. This paper considers the problem of expanding an EFSM in order to bypass the infeasible path problem. The approach is developed for the specification language SDL but, in order to aid generality, the rewriting process is broken down into two phases: producing a normal form EFSM (NF-EFSM) from an SDL specification and then expanding this NF-EFSM

Analysis and design of multiagent systems using MAS-CommonKADS

This article proposes an agent-oriented methodology called MAS-CommonKADS and develops a case study. This methodology extends the knowledge engineering methodology CommonKADSwith techniquesfrom objectoriented and protocol engineering methodologies. The methodology consists of the development of seven models: Agent Model, that describes the characteristics of each agent; Task Model, that describes the tasks that the agents carry out; Expertise Model, that describes the knowledge needed by the agents to achieve their goals; Organisation Model, that describes the structural relationships between agents (software agents and/or human agents); Coordination Model, that describes the dynamic relationships between software agents; Communication Model, that describes the dynamic relationships between human agents and their respective personal assistant software agents; and Design Model, that refines the previous models and determines the most suitable agent architecture for each agent, and the requirements of the agent network

Stabilizing data-link over non-FIFO channels with optimal fault-resilience

Self-stabilizing systems have the ability to converge to a correct behavior when started in any configuration. Most of the work done so far in the self-stabilization area assumed either communication via shared memory or via FIFO channels. This paper is the first to lay the bases for the design of self-stabilizing message passing algorithms over unreliable non-FIFO channels. We propose a fault-send-deliver optimal stabilizing data-link layer that emulates a reliable FIFO communication channel over unreliable capacity bounded non-FIFO channels

Using formal methods to support testing

Formal methods and testing are two important approaches that assist in the development of high quality software. While traditionally these approaches have been seen as rivals, in recent years a new consensus has developed in which they are seen as complementary. This article reviews the state of the art regarding ways in which the presence of a formal specification can be used to assist testing