Abstract
First steps towards methods really applicable to deal with large specifications of real-life systems are offered in this paper.
Specifically, Petri-net methods are applied to specifications written in CCITT's Specification and Description Language. As an example, the Telephone User Part of the CCITT n.7 system is discussed.
By means of restriction of concerns, analysis is performed on one part at a time of a large specification. Appropriate procedures thus allow to reduce the nets to manageable size, and to analyze them with respect to interprocess communication, liveness, synchronic distance and other properties.
Although full validation is not achieved, selective analysis entailing partial validation is shown to be beneficial to the early debugging of possible flaws in the specification.
on leave from Italtel S.I.T. S.p.A.
This is a preview of subscription content, log in via an institution to check access.
Preview
Unable to display preview. Download preview PDF.
References
G.W. Brams, Reseaux de Petri, Theorie et Pratique, Masson, Paris 1983.
W. Brauer (ed.), Net theory and Applications, Lecture Notes in Computer Science n.84, Springer Verlag, Berlin 1980.
CCITT, "Specification of CCITT Common Channel Signalling System no7 (Part III B. of the Report of Study Group XI to the Plenary Assembly)"-VII Plenary Assembly, Geneva 1980 (document AP VII-18-E).
CCITT, "Report to the Plenary Assembly — Part III.11: Recommendations on the Functional Specifications and description Language (SDL) (Recommendations Z.100 to Z.104)". VIII Plenary Assembly, Malaga-Torremolinos 1984 (document AP VIII-85-E).
G. Comparin, G.A. Lanzarone, K. Lautenbach, A. Pagnoni, W. Panzeri, A. Torgano, "Guidelines on Using Net Analysis Techniques with Large Specifications: a Case-Study", Italtel Internal Technical Report, Milano, November 1984.
W. Reisig, Petri-Nets, An Introduction, Springer Verlag, Berlin 1985.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1986 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Comparin, G., Lanzarone, G., Lautenbach, K., Pagnoni, A., Panzeri, W., Torgano, A. (1986). Guidelines on using net analysis techniques with large specifications. In: Rozenberg, G. (eds) Advances in Petri Nets 1985. APN 1985. Lecture Notes in Computer Science, vol 222. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0016210
Download citation
DOI: https://doi.org/10.1007/BFb0016210
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-16480-7
Online ISBN: 978-3-540-39822-6
eBook Packages: Springer Book Archive