Modelling concurrent systems with Alvis

• Autorzy: Szpyrka M.

Warianty tytułu

PL

Modelowanie systemów współbieżnych w języku Alvis

• Języki publikacji: EN

Abstrakty

EN

Alvis is a new modeling language for developing concurrent (embedded) systems. The language is being developed within the confines of the Alvis project at AGH University of Science and Technology, Department of Automatics. The Alvis language combines hierarchical graphical modelling with a high level programming language. Moreover, a formal verification of a model, based on an LTS graph (Labelled Transition System) is possible. The paper describes selected features of the language and the future plans of the project.

PL

Alvis jest nowym językiem modelowania przeznaczonym do rozwijania systemów współbieżnych, zwłaszcza systemów wbudowanych. Język jest rozwijany w Katedrze Automatyki AGH w ramach projektu o tej samej nazwie. Język Alvis łączy w sobie cechy języków programowania wysokiego poziomu z hierarchicznym językiem modelowania połączeń między agentami. Ponadto umożliwia on formalną weryfikację systemu wbudowanego bazującego na grafie LTS, stanowiącego formalną reprezentację przestrzeni stanów modelu. Artykuł zawiera przegląd podstawowych informacji na temat języka i projektu.

Słowa kluczowe

EN

Alvis; embedded system; concurrent systems; modelling and verification

PL

Alvis; systemy wbudowane; systemy współbieżne; modelowanie i weryfikacja

• Wydawca: Sieć Badawcza Łukasiewicz - Przemysłowy Instytut Automatyki i Pomiarów PIAP
• Czasopismo: Pomiary Automatyka Robotyka
• Rocznik: 2011
• Tom: R. 15, nr 12
• Strony: 239--240
• Opis fizyczny: Bibliogr. 6 poz., rys., tab.

Twórcy

autor

Szpyrka M.

• AGH University of Science and Technology, Department of Automatics,

Bibliografia

• 1. Szpyrka M., Matyasik P., Mrówka R.: Alvis - modelling language for concurrent systems, [in:] Bouvry P., Gonzalez-Velez H., Kołodziej J. (eds.): Intelligent Decision Systems in Large-Scale Distributed Environments, Volume 362 of SCI, Springer-Verlag (2011), 315-342.
• 2. Milner R.: Communication and Concurrency, Prentice-Hall (1989).
• 3. Garavel H., Lang F., Mateescu R., Serwe W.: CADP 2006: A toolbox for the construction and analysis of distributed processes, [in:] Computer Aided Verification (CAV’2007), Volume 4590 of LNCS, Berlin, Germany, Springer (2007), 158-163.
• 4. O’Sullivan B., Goerzen J., Stewart D.: Real World Haskell, O’Reilly Media, Sebastopol, CA, USA (2008).
• 5. Barnes J.: Programming in Ada 2005, Addison Wesley (2006).
• 6. Szpyrka M., Kotulski L.: Snapshot reachability graphs for alvis models, [in:] Kdnig A., Dengel A., Hinkelmann K., Kise K., Howlett R., Jain L. (eds.): Knowledge-Based and Intelligent Information and Engineering Systems KES 2011, Volume 6881 of LNCS, Springer-Verlag. Berlin, Heidelberg (2011), 190-199