Development of communication protocols using algebraic and temporal specifications

Authors:
Mohamed Jmaiel;Peter Pepper
Affiliations:
Laboratoire LARIS, University of Sfax, Ecole Nationale d'Ingénieurs de Sfax, FSEG-SFAX, B.P.W 3038 Sfax, Tunisia;Technische Universität Berlin, Fachbereich Informatik, Franklinstr. 28/29, D-10587, Berlin, Germany
Venue:
Computer Networks: The International Journal of Computer and Telecommunications Networking
Year:
2003

Citing 21
Cited 2

Temporal logic of programs

Temporal logic of programs
An introduction to TCP/IP

An introduction to TCP/IP
Protocol specification for OSI

Computer Networks and ISDN Systems - Special issue application of formal techniques to the OSI protocols
Protocol verification for OSI

Computer Networks and ISDN Systems - Special issue application of formal techniques to the OSI protocols
Completing the temporal picture

Selected papers of the 16th international colloquium on Automata, languages, and programming
Algebraic specification

Handbook of theoretical computer science (vol. B)
Specification of communication protocols using temporal logic

Journal of Systems and Software - Special issue on software engineering for distributed computing
Software architecture: perspectives on an emerging discipline

Software architecture: perspectives on an emerging discipline
Using CSP to Detect Errors in the TMN Protocol

IEEE Transactions on Software Engineering
Software architecture in practice

Software architecture in practice
The Unified Modeling Language user guide

The Unified Modeling Language user guide
A note on reliable full-duplex transmission over half-duplex links

Communications of the ACM
Aspect-oriented programming: Introduction

Communications of the ACM
Fundamentals of Algebraic Specification I

Fundamentals of Algebraic Specification I
Modelling and Analysis of Communication and Cooperation Protocols Using Petri Net Based Models

Proceedings of the IFIP WG6.1 Second International Workshop on Protocol Specification, Testing and Verification
Algebraic Specification of Reactive Systems

AMAST '96 Proceedings of the 5th International Conference on Algebraic Methodology and Software Technology
A Logical Framework for Distributed Systems and Communication Protocols

FORTE XI / PSTV XVIII '98 Proceedings of the FIP TC6 WG6.1 Joint International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols (FORTE XI) and Protocol Specification, Testing and Verification (PSTV XVIII)
A Method for the Development of Correct Software

KORSO - Methods, Languages, and Tools for the Construction of Correct Software
Introducing Institutions

Proceedings of the Carnegie Mellon Workshop on Logic of Programs
The Glory of the Past

Proceedings of the Conference on Logic of Programs
Selecting sequence numbers

Proceedings of the 1975 ACM SIGCOMM/SIGOPS workshop on Interprocess communications

Specification and design of multi-agent applications using temporal z

PRIMA'04 Proceedings of the 7th Pacific Rim international conference on Intelligent Agents and Multi-Agent Systems
Towards a formal methodology for designing multi-agent applications

MATES'05 Proceedings of the Third German conference on Multiagent System Technologies

Quantified Score

Hi-index	0.00

Visualization

Abstract

The paper pursues two main goals. First, an attempt is made to specify and verify protocols in a completely rigorous manner using the formalisms of temporal logic and algebraic specification. Second--and even more important--the protocol specifications are not presented as monolithic pieces of text, but rather are developed in a stepwise process, evolving from simple genotypes into the final complex products. This is illustrated with selected fragments of the TCP/ IP protocol.