This book comprises a strictly refereed selection of papers presented at three international workshops on advanced communication services (ACoS'98), visualization issues for formal methods (VISUAL'98), and advanced intelligent networks (AIN'97). The 20 revised full papers included in the book together with three invited presentations are centered around the user-friendly design of software systems and services, in particular telecommunication and Internet services, and visualization support for the design and administration of such systems. Among the topics addressed are telecommunication services, multimedia networking, user interfaces, intelligent networking protocols, formal specification and verification, visual formalisms, mobile computing, intelligent agents, and Java.
Author(s): Alain Lardenois (auth.), Tiziana Margaria, Bernhard Steffen, Roland Rückert, Joachim Posegga (eds.)
Series: Lecture Notes in Computer Science 1385
Edition: 1
Publisher: Springer-Verlag Berlin Heidelberg
Year: 1998
Language: English
Pages: 332
Tags: Computer Communication Networks; Software Engineering; Information Systems Applications (incl.Internet); Multimedia Information Systems; Communications Engineering, Networks
The web impact: A white paper....Pages 1-7
‘Calls considered harmful’ and other observations: A tutorial on telephony....Pages 8-27
Convergence of telecommunications and computing on networking models for integrated services and applications....Pages 28-28
The NetAcademy — A new concept for online publishing and knowledge management....Pages 29-43
Distributed compression of live video — An application for active networks....Pages 44-60
Incremental scene graph distribution method for distributed virtual environments....Pages 61-74
Value-added services in industrial automation....Pages 75-89
Requirements and a proposal for the prevention of a class of service interactions in intelligent networks....Pages 90-105
INAP protocol test suite verification method using the IUT simulator for AIN system conformance testing....Pages 106-116
Testing IN protocol implementation....Pages 117-127
Agent-based data services in future IN-platforms....Pages 128-141
Visualisation of executable formal specifications for user validation....Pages 142-157
Design and evaluation of a visual formalism for real time logics....Pages 158-173
Visualising the behaviour of intelligent networks....Pages 174-189
Formal methods and customized visualization: A fruitful symbiosis....Pages 190-207
Using a visual formalism for design verification in industrial environments....Pages 208-221
Automatic error location for IN service definition....Pages 222-237
The generation of service database schema through service creation environment....Pages 238-249
A study of intelligent multimedia services over PSTNs and the internet....Pages 250-264
Open switching for ATM networks....Pages 265-277
Application of INAP to AIN intelligent peripheral....Pages 278-290
IN evolution to support mobility in DECT access networks....Pages 291-305
A mobile broadband service switching point: a new network element for multimedia and mobile services....Pages 306-322
