A method for the support of specifying the requirements of telecommunication systems

Autor:	H. Dibold
Rok vydání:	2003
Předmět:	System of systems Functional specification business.industry Computer science Distributed computing Systems design System lifecycle Petri net Process architecture Telecommunications business Symbolic execution Abstraction layer
Zdroj:	1988 International Zurich Seminar on Digital Communications@m_Mapping New Applications onto New Technologies. Proceedings.
DOI:	10.1109/digcom.1988.4695
Popis:	The analysis of the functional behavior of telecommunication systems and its representation in a form that is largely independent of the implementation are described. A specification method for distributed systems has been devised that takes into account the special requirements of the first phases of the system lifecycle and the complexity of real systems. The method is based on the principles of essential systems analysis and uses a description based on a class of higher Petri nets specially defined for this purpose. The application of the proposed method allows a formal description of the functional behavior that can be structured at different abstraction levels. Computer tools are used to investigate the dynamic system behavior at each abstraction level by symbolic execution of the specification. >
Databáze:	OpenAIRE
Externí odkaz:	https://explore.openaire.eu/search/publication?articleId=doi_________::e1ab2fa834fee099de1af59223f6d74a https://doi.org/10.1109/digcom.1988.4695 Zobrazit plný text záznamu