Introduction to Alvis modelling language

• Autorzy: Szpyrka M. , Matysik P. , Mrówka R. , Witalec W. , Baniewicz J. , Balicki K.

Warianty tytułu

PL

Wprowadzenie do języka modelowania Alvis

• Języki publikacji: EN

Abstrakty

EN

Alvis is a novel modelling language designed for embedded systems. It combines both high level programming language used to define agents behaviour with hierarchical graphical modelling language used to define interconnections between agents. The paper presents a survey of the most important features of the language.

PL

Alvis jest nowym językiem modelowania przeznaczonym do rozwijania systemów wbudowanych. Łączy w sobie cechy języków programowania wysokiego poziomu z hierarchicznym językiem modelowania połączeń między agentami. Podstawowym elementem języka Alvis są agenty, które mogą działać współbieżnie, komunikować się ze sobą, czy też współzawodniczyć o zasoby dzielone. Dynamika poszczególnych agentów jest opisywana w warstwie kodu używającej do tego celu języka programowania wysokiego poziomu (połączenie natywnych konstrukcji języka Alvis i języka funkcyjnego Haskell). W warstwie graficznej definiowane są połączenia między agentami wskazujące, które agenty się ze sobą komunikują i jaki jest kierunek tej komunikacji. Warstwa ta ma postać grafu hierarchicznego, co pozwala rozwijać systemu wbudowane metodą od ogółu do szczegółu lub odwrotnie. Formalną reprezentacjąmodelu w języku Alvis jest graf LTS (Labelled Transition System), który reprezentuje wszystkie osiągalne stany i przejścia między nimi. Graf ten jest stosowany do formalnej weryfikacji modelu. Artykuł zawiera przegląd najistotniejszych cech języka Alvis.

Słowa kluczowe

EN

Alvis language; formal verification; embedded system

PL

język modelowania Alvis; formalna weryfikacja; systemy wbudowane

• Wydawca: Wydawnictwo PAK
• Czasopismo: Pomiary Automatyka Kontrola
• Rocznik: 2011
• Tom: R. 57, nr 9
• Strony: 1086--1089
• Opis fizyczny: Bibliogr. 8 poz., rys., tab.

Twórcy

autor

Szpyrka M.

autor

Matysik P.

autor

Mrówka R.

autor

Witalec W.

autor

Baniewicz J.

autor

Balicki K.

• AGH, Al. Mickiewicza 30, 30-059 Kraków,

Bibliografia

• [1] Aceto L., Ingófsdóttir A., Larsen K .G., Srba J.: Reactive Systems: Modelling, Specification and Verification. Cambridge University Press, Cambridge, UK, 2007.
• [2] Balicki K., Szpyrka M.: Formal definition of XCCS modelling language. Fundamenta Informaticae, vol. 93, no. 1-3, 2009, pp. 1-15.
• [3] Garavel H., Lang F., Mateescu R., Serwe W.: CADP 2006: A Toolbox for the Construction and Analysis of Distributed Processes. Computer Aided Verification (CAV’2007), LNCS 4590, Springer, Berlin, Germany, pp. 158-163.
• [4] Milner R.: Communication and Concurrency, Prentice-Hall, 1989.
• [5] O`Sullivan B., Goerzen J., Stewart D.: Real World Haskell. O`Reilly Media, Sebastopol, CA, USA, 2008.
• [6] Szpyrka M.: Analysis of RTCP-nets with Reachability Graphs. Fundamenta Informaticae, vol. 74, no. 2-3, 2006, pp. 375-390.
• [7] Szpyrka M.: Alvis On-line Manual. AGH University of Science and Technology, http://fm.ia.agh.edu.pl/alvis:manual
• [8] Szpyrka M., Matyasik P., Mrówka R.: Alvis - modelling language for concurrent system. In: Bouvry P., Gonzalez-Velez H., Kołodziej J. (eds.) Intelligent Decision Systems in Large-Scale Distributed Environments. Studies in Computational Intelligence, Springer, 2011.