Grzegorz Rozenberg

Jonathan Billington

Michel Diaz

Application of Petri Nets to Communication Networks

Petri nets offer a mathematically defined technique for the specification, design, analysis, verification and performance evaluation of concurrent distributed systems. They offer not only precise semantics and a theoretical foundation, but also a graphical form that facilitates the understanding of both information and control flow within the same formalism. As an intuitively appealing graphical form of presentation, Petri nets are the model of choice in various applications. Communications networks, ranging from traditional telecommunication systems to advanced Internet-based information services, are inherently distributed and comprise systems with concurrently operating components. This volume presents a selection of the latest advances in the use of Petri nets for the modeling, analysis and management of communication networks and systems in the broadest sense of these terms.

Advances in Petri Nets

David Garduno Barrera

This book gives a practical approach to modeling and analyzingcommunication protocols using UML 2. Network protocols are alwayspresented with a point of view focusing on partial mechanisms andstarting models. This book aims at giving the basis needed foranybody to model and validate their own protocols. It follows apractical approach and gives many examples for the description andanalysis of well known basic network mechanisms forprotocols. The book firstly shows how to describe and validate the mainprotocol issues (such as synchronization problems, client-serverinteractions, layer organization and behavior, etc.) in an easy andunderstandable way. To do so, the book considers and presents themain traditional network examples (e.g. unidirectional flows,full-duplex com-munication, error recovering, alternating bit).Finally, it presents the outputs resulting from a few simulationsof these UML models. Other books usually only focus either on teaching UML or onanalyzing network protocols, however this book will allow readersto model network protocols using a new perspective and integratingthese two views, so facilitating their comprehension anddevelopment. Any university student studying in the field of computing science,or those working in telecommunications, embedded systems ornetworking will find this book a very useful addition.

Modeling and Analysis of Network Protocols

Communicating Systems with UML 2

Philippe Owezarski

Patrick Senac

The 1999 International Workshop on Interactive Distributed Multimedia Sys tems and Telecommunication Services (IDMS) in Toulouse is the sixth in a se ries that started in 1992. The previous workshops were held in Stuttgart in 1992, Hamburg in 1994, Berlin in 1996, Darmstadt in 1997, and Oslo in 1998. The area of interest of IDMS ranges from basic system technologies, such as networking and operating system support, to all kinds of teleservices and distributed multimedia applications. Technical solutions for telecommunications and distributed multimedia systems are merging and quality-of-service (QoS) will play a key role in both areas. However, the range from basic system tech nologies to distributed mutlimedia applications and teleservices is still very broad and we have to understand the implications of multimedia applications and their requirements for middleware and networks. We are challenged to develop new and more fitting solutions for all distributed multimedia systems and telecom munication services to meet the requirements of the future information society.

6th International Workshop, IDMS'99, Toulouse, France, October 12-15, 1999, Proceedings

Interactive Distributed Multimedia Systems and Telecommunication Services

Proceedings of the IFIP WG 6.1 Fifth International Workshop on Protocol Specification, Testing, and Verification

Protocol Specification, Testing, and Verification, V

Peter H. J. van Eijk

Chris A. Vissers

The SEDOS (Software Environment for the Design of Open Distributed Systems) project was supported by the Commission of the European Communities under the ESPRIT Programme. It was divided into two main tasks, related respectively to the two ISO formal description techniques Estelle and LOTOS, which became international standards in September 1988. This book presents the work related to LOTOS. It includes a tutorial on LOTOS, a number of specifications, in particular a specification of the OSI session layer. Results in verification theory and descriptions of supporting software tools are given.

Results of the ESPRIT/SEDOS Project

The Formal Description Technique Lotos

Romain Carbou

Ernesto Exposito

Rodrigo Roman

This much-needed book describes the digital home networkingenvironment, its techniques, and the challenges around its servicearchitecture. It provides a broad introduction to state-of-the-artdigital home standards and protocols, as well as in-depth coverageof service architectures for entertainment and domotic servicesinvolving digital home resources. Topics include networking, remoteaccess, security, interoperability, scalability, and quality ofservice. Notably, the book describes the generic architecture thatwas proposed and developed in the context of the EUREKA/Celticresearch project Feel@Home.

Digital Home Networking

Michel Diaz

Books

Your next favorite book is out there