Calur: an Action Language for UML-RT

Autor: Hili, Nicolas, Posse, Ernesto, Dingel, Juergen
Přispěvatelé: Hili, Nicolas, School of Computing, Queen's University (QSC), Zeligsoft
Jazyk: angličtina
Rok vydání: 2018
Předmět:
Zdroj: 9th European Congress on Embedded Real Time Software and Systems (ERTS 2018)
9th European Congress on Embedded Real Time Software and Systems (ERTS 2018), Jan 2018, Toulouse, France
Popis: International audience; UML for Real-Time (UML-RT) is a profile of UML specifically designed for real-time embedded (RTE) systems. It has a long, successful track record of application and tool support via, e.g., IBM Rational RoseRT, IBM RSA-RTE, and now Papyrus-RT. Papyrus-RT is an Eclipse-based, open-source modelling and development environment for UML-RT systems. It allows the generation of complete, executable code from models and advances the state-of-art via support for model representation with mixed graphical/textual notations and an extensible code generator. Together with commercial UML-RT tools, Papyrus-RT currently uses C/C++ as the action language to support the definition of behaviour. However, the use of a powerful, general-purpose language such as C/++ can also easily break the abstraction that UML-RT wants to offer developers (e.g., developers have to be familiar with some of the intricate details of the C/C++ syntax and semantics) and greatly complicates almost any kind of analysis. To address this issue, action languages have been proposed for, e.g., UML. However, no suitable action language for UML-RT exists yet. This paper introduces Calur, a proposed action language for UML-RT, intended to be integrated within Papyrus-RT. We describe the syntax and semantics of Calur, and a preliminary implementation.
Databáze: OpenAIRE