Specification of external system behaviour based on D-nets: theoretical aspects and computer tools

• Autorzy: Szpyrka M. , Szmuc T.

Warianty tytułu

PL

Specyfikacja obserwowalnego zachowania się systemu w oparciu o D-sieci -aspekty teoretyczne i narzędzia wspomagające

• Języki publikacji: EN

Abstrakty

EN

A special subclass of coloured Petri nets (so-called D-nets) is presented in the paper. The concept is based on coloured Petri nets (CP-nets [2]) but special structure of such D-nets allows carrying out very interesting formal analysis. The main advantage of the D-nets is possibility of efficient verification of system requirements, i.e., elimination of ambiguity, inconsistency and incompleteness. Such a specification of requirements is prepared as a decision table with rules patterns and then it is transformed into a D-net and computer software is used for automatic verification of its properties. The relevant definitions and main properties of D-nets are presented, and main features of ADDER tool software designed for D-nets analysis are put forward.

PL

W artykule przedstawiona została podklasa kolorowanych sieci Petriego, tzw. D-sieci. Pojęcie bazuje na kolorowanych sieciach Petriego, ale specyficzna struktura D-sieci pozwala na przeprowadzenie formalnej analizy reprezentowanej przez nie specyfikacji zachowania się systemu. Główną zaletą D-sieci jest możliwość efektywnej weryfikacji specyfikacji wymagań, tj. eliminacji dwuznaczności, niezgodności i niezupełności. Specyfikacja wymagań jest przygotowywana jako tablica decyzyjna zawierająca szablony reguł decyzyjnych, a następnie jest transformowana do postaci D-sieci i automatycznie analizowana z wykorzystaniem odpowiednich narzędzi komputerowych. W artykule przedstawione zostały definicje podstawowych pojęć dotyczących D-sieci oraz główne cechy systemu ADDER - rozwijanego oprogramowania , którego jedną z możliwości jest analiza D-sieci.

Słowa kluczowe

EN

Petri nets; D-nets

PL

sieci Petriego; D-sieci

• Wydawca: Wydawnictwa AGH
• Czasopismo: Automatyka / Akademia Górniczo-Hutnicza im. Stanisława Staszica w Krakowie
• Rocznik: 2003
• Tom: T. 7, z. 1-2
• Strony: 275--281
• Opis fizyczny: Bibliogr. 7 poz., rys., tab.

Twórcy

autor

Szpyrka M.

• Department of Automaties, AGH University of Science and Technology

autor

Szmuc T.

• Department of Automaties, AGH University of Science and Technology

Bibliografia

• [1] Davis A.M.: A comparison of techniques for the specification of external system bahavior. Communication of the ACM, vol. 31, No. 9, 1988, 1098-1115
• [2] Jensen K.: Coloured Petri Nets. Basic Concepts, Analysis Methods and Practical Use. Vol. I, 2 and 3. New York, Springer Verlag 1996
• [3] Macaulay L.A.: Requirements Engineering. New York, Springer Verlag 1996
• [4] Szpyrka M., Ligęza A.: D-net: A Tool for Verification of Knowledge-Based Systems. Proc. of LASTED Int. Conf., Applied Simulation and Modelling, September 4-7, Marbella, Spain, 2001, 105-110
• [5] Szpyrka M., Szmuc T.: Algebraic-Graphical Methods of Knowledge Representation for Analysis and Verification of Attribute Tabular Systems. Półrocznik AGH Automatyka, t. 5, z 1/2, 2001 (in Polish)
• [6] Szpyrka M.: Algebraic-Graphical Methods of Knowledge Analysis and Verification - theoretical aspects. Proc. of the Sixteenth European Meeting on Cybernetics and System Research, Vienna, Austria, 2-5 April, 2002, 812-817
• [7] Szpyrka M., Szmuc T.: RTCP-nets as a Tool for Real-Time Systems Modelling and Analysis. Proc. of the 27th IFAC/IFIP Workshop on Real-Time Programming, Łagów, Poland, 14-17 May, 2003, 25-30