Abstract
Telecommunication systems in general, and Intelligent Networks as well, are large distributed systems with a high degree of concurrency. To investigate the specific aspects of the behaviour of such systems adequate formal specification techniques are required. In this paper, we show how designers of services in an Intelligent Network can use Coloured Petri Nets, to obtain a description of the services which on the one hand is precise and unambiguous, and on the other hand provides the basis for a comprehensive and thorough understanding of the behaviour by visualising the processes. Coloured Petri Nets supported by adequate tools can therefore serve as basis for investigations of new services to be provide.
For a formal description technique to be successful, it is necessary to have tool support. This provides the designer with support for the development and test of the design. Further more the tool should also allow flexible graphical feedback which can be tailored to the needs of the specific domain in question.
In this paper we show how the overall system behaviour of an Intelligent Network can be visualised, how the user can interact with the system, and how the history of important events can be captured in ways which are easy to understand for engineers familiar with Intelligent Networks, even though unfamiliar with the formal description technique in use.
Keywords
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.
This is a preview of subscription content, log in via an institution.
Preview
Unable to display preview. Download preview PDF.
References
Capellmann, C.; Dibold, H.: Formal Specifications of Services in an Intelligent Network using High-Level Petri Nets. In Proceedings of the Case Studies Tutorial/Petri Nets'94, Zaragoza/Spain, June 1994
Capellmann, C.; Dibold, H.: Petri Net based Specifications of Services in an Intelligent Network — Experiences gained from a Test Case Application. In Lecture Notes in Computer Science/Application and Theory of Petri Nets 1993, Vol. 691, pp. 542–551, Springer-Verlag, 1993. ISBN 3-540-56863-8
Capellmann, C.; Dibold, H.: The Object-Oriented Petri Net Method for the Specification of IN Services. Proceedings of the International Workshop on Intelligent Networks “Software Methods and Tools for IN Services”, pp. 63–76, Lappeenranta/Finland, August 1993
Christensen, S.: Message Sequence Charts. User's Manual. January 1997. Available from http://www.daimi.aau.dk/designCPN/
Dibold, H.: Intelligente Netze — Einführung und Grundlagen. Der Fernmelde-Ingenieur, 44 (1990) 4
Harper, R.; Milner, R.; Tofte, M.: The Semantics of Standard ML, Version 1.Technical Reports ECS-LFCS-87-36, University of Edinburgh, LFCS, Department of Computer Science, University of Edinburgh, The King's Buildings, August 1987
Herzog, U.: Petri Net based Modelling of Interactions between Basic Call State Model and Service Logic in an Intelligent Network. Protocol workshop within the 16th International Conference on Application and Theory of Petri Nets, Torino, June 1995
ITU (CCITT) Recommendation Z.100: SDL, 1992
ITU (CCITT) Recommendation Z.120: MSC, 1992
ITU-T SG XI: Q.1200 Series of Recom. for Intelligent Networks, ITU-T, 1992
ITU-T SG XI: Q.1214, ITU-T, 1992
ITU-T SG XI: Q.1219, ITU-T, 1992
Jensen, K.: Coloured Petri Nets. Basic Concepts, Analysis Methods and Practical Use. Volume 1, Basic Concepts. Monographs in Theoretical Computer Science, Springer-Verlag, 1992
Jensen, K.: A Breif Introduction to Coloured Petri Nets. In: Ed Brinksma (Ed.): Tools and Algorithms for the Construction and Analysis of Systems. Lecture Notes in Compueter Science 1217, Springer-Verlag, 1997
Jensen, K.; et al.: Design/CPN Manual. Meta Software Corporation. Cambridge, USA, 1991. Available from http://www.daimi.aau.dk/designCPN/
Peterson, J.L.: Petri Net Theory and the Modelling of Systems; Prentice Hall Inc., Engelwood Cliffs, N.J. 07632,1981
Rasmussen, J.L.; Singh, M.: Mimic/CPN. A Graphical Simulation Utility for Design/CPN. User's Manual, Version 1.5. Available from http://www.daimi.aau.dk/designCPN/
Thörner, J.: Intelligent Networks, Artech House Inc., Boston, London, 1994
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1998 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Capellmann, C., Christensen, S., Herzog, U. (1998). Visualising the behaviour of intelligent networks. In: Margaria, T., Steffen, B., Rückert, R., Posegga, J. (eds) Services and Visualization Towards User-Friendly Design. Lecture Notes in Computer Science, vol 1385. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0053505
Download citation
DOI: https://doi.org/10.1007/BFb0053505
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-64367-8
Online ISBN: 978-3-540-69760-2
eBook Packages: Springer Book Archive