Zastosowanie języka LOTOS do modelowania wybranych struktur metody HOOD

• Autorzy: Brzuchcz R.

Warianty tytułu

EN

Use of LOTOS language in modeling HOOD method structures

• Języki publikacji: PL

Abstrakty

PL

W pracy zaprezentowano możliwości użycia języka LOTOS [3, 7] w projektowaniu oprogramowania systemów czasu rzeczywistego metodą HOOD [6, 13]. Wybrane struktury HOOD zostają wyrażone w języku algebry procesów i abstrakcyjnych typów danych, co zapewnia możliwość formalnej analizy tworzonego projektu. We wprowadzeniu do pracy wyjaśniono cel i motywacje do tworzenia modelu formalnego projektu systemu czasu rzeczywistego. Następnie przedstawiono skrócony opis metodyki hierarchicznego projektowania HOOD, której notacja i proces projektowy stanowią bazę dla proponowanej metody formalizacji. Wyjaśniono znaczenie takich konstrukcji, jak moduł, interfejs, operacja, hierarchia użycia i zawierania. W kolejnym punkcie, po krótkim przedstawieniu języka LOTOS [3, 7], zaprezentowano technikę, w której konstrukcje metody HOOD zostają zinterpretowane w języku formalnym algebry procesów i abstrakcyjnych typów danych. Opis przeprowadzony jest dla prostego przykładu projektu w HOOD, celem wyjaśnienia istoty interpretacji. W części końcowej pracy podano wnioski wraz ze wskazaniem dalszych możliwych kierunków rozwoju i zastosowań prezentowanej metody.

EN

The article presents a possibility of using LOTOS [3, 7] formal language in the HOOD [6, 13] real-time system design. Process algebras and abstract data types are used to express some HOOD structures in order to allow formal analysis of the system. The introduction explains the motivations and the goal of the work. Then, there is a brief survey of the HOOD hierarchical design method in the next point. It states as the base for the formalization method explained in the article. The notions of module, interface, operation, use and include relations are briefly explained. After it, the simple LOTOS language constructs are also presented. Next point explains the formalization of the HOOD structures. This is the most essentials part of the work where the method is presented on the exemplary HOOD diagram. LOTOS code is produced relate to the HOOD informal semantic. It expresses the main concepts of the HOOD dynamic model. There are the conclusions and further works proposals at the end of the article.

Słowa kluczowe

PL

systemy czasu rzeczywistego; weryfikacja oprogramowania; algebry procesów; abstrakcyjne typy danych; LOTOS; HOOD

EN

real-time systems; software verification; process algebras; abstract data types; LOTOS; HOOD

• Wydawca: Wydawnictwa AGH
• Czasopismo: Elektrotechnika i Elektronika
• Rocznik: 2006
• Tom: T. 25, z. 1
• Strony: 1--9
• Opis fizyczny: Bibliogr. 14 poz., rys.

Twórcy

autor

Brzuchcz R.

• Doktorant, Akademia Górniczo-Hutnicza, Wydział EAIiE

Bibliografia

• [I] CADP Home Page. http://www.inrialpes.fr/vasy/cadp/
• [2] Garavel H.: Compilation et verification de programmes LOTOS. These de Doctorat, Universite Joseph Fourier (Grenoble), 1989
• [3] Garavel H: Presentation du Language LOTOS. Annexes A et B de [2], 1993
• [4] Gomaa H.: Design Concurrent, Distributed, and Real-Time Application with UML. George Mason University, Addison Weseley, 2000
• [5] Hoare C.A.R.: Communicating Sequential Processes. Prentice Hall, 1985
• [6] Hood Technical Group, Hood Reference Manual Release 4
• [7] ISO. LOTOS - A Formal Description Technique Based on the Temporal Ordering of Observational Behaviour. International Standard 8807, International Organization for Standardization - Information Processing Systems - Open Systems Interconnection, Geneve, 1988.
• [8] Jensen K.: Coloured Petri nets, Basic Concepts, Analysis Methods and Practical Use. Vol. 1, Basic Concepts. Monographs in Theoretical Computer Science, Springer-Verlag, 1997
• [9] Klimek R.: Wprowadzenie do logiki temporalnej. Kraków, UWND AGH 1999
• [10] Maas J.A.-.A Tutorial on ADT Semantics for LOTOS Users - Part I and II: Fundamental Concepts. Technical Report, Dpt. Ingenieria Telematica, E.T.S.I. Telecommunicion, Madrid, Spain, 1988
• [II] Milner R.: Communication and Concurrency. Prentice Hali International, 1989
• [12] OMG. Unified Modelling Language: Superstructure, version 2.0, 2005
• 13] Rosen J-P: HOOD An Industrial approach for software design. HOOD Technical Group, 1997
• [14] Szmuc T: Modele i Metody Inżynierii Oprogramowania Systemów Czasu Rzeczywistego. Kraków, UWND AGH 2001