Hierarchical coloured Petri nets for the description of services in an intelligent network

Autor:	H. Dibold
Rok vydání:	2003
Předmět:	Service (systems architecture) Database Computer science business.industry Telecommunications service Functional requirement computer.file_format Process architecture Petri net computer.software_genre Intelligent Network Formal specification Executable Software engineering business computer
Zdroj:	[Proceedings] 1992 International Zurich Seminar on Digital Communications@m_Intelligent Networks and Their Applications.
DOI:	10.1109/digcom.1992.211641
Popis:	The author reports on studies which were performed to find out in which way an IN-service description can be supported by a formal, but nevertheless illustrative specification. The studies were conducted with the aid of the tender specifications drawn up by Deutsche Bundespost Telekom for components of an IN field trial. The service descriptions contained in these documents are based on the three-level description method according to CCITT recommendation I.130. From the requirements set up for the IN service Freephone/Service 130 a description using hierarchical coloured Petri nets was derived, employing the open Petri net method. The study indicates clearly that the description of functional requirements of IN services should be supported methodologically beyond the scope of the CCITT recommendations and be supplemented by a formal executable specification. >
Databáze:	OpenAIRE
Externí odkaz:	https://explore.openaire.eu/search/publication?articleId=doi_________::9e0d0b18d4749d0fde025a06d5df26ab https://doi.org/10.1109/digcom.1992.211641 Zobrazit plný text záznamu