Actors Upgraded for Variability, Adaptability, and Determinism
2024 (English)In: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Springer Science and Business Media Deutschland GmbH , 2024, Vol. 14360 LNCS, p. 226-260Chapter in book (Other academic)
Abstract [en]
The Rebeca modeling language is designed as an imperative actor-based language with the goal of providing an easy-to-use language for modeling concurrent and distributed systems, with formal verification support. Rebeca has been extended to support time and probability. We extend Rebeca further with inheritance, polymorphism, interface declaration, and annotation mechanisms. These features allow us to handle variability within the model, support non-disruptive model evolution, and define method priorities. This enables Rebeca to be used more effectively in different domains, like in Software Product Lines, and holistic analysis of Cyber-Physical Systems. We develop specialized analysis techniques to support these extensions, partly integrated into Afra, the model checking tool of Rebeca.
Place, publisher, year, edition, pages
Springer Science and Business Media Deutschland GmbH , 2024. Vol. 14360 LNCS, p. 226-260
Keywords [en]
Actor Languages, Cyber-Physical Systems, Model Checking, Variability Modeling, Cyber Physical System, Embedded systems, Modeling languages, Software design, Actor language, Concurrent and distributed systems, Cybe-physical systems, Different domains, Interface declaration, Model evolution, Models checking, Support time
National Category
Computer and Information Sciences
Identifiers
URN: urn:nbn:se:mdh:diva-66094DOI: 10.1007/978-3-031-51060-1_9Scopus ID: 2-s2.0-85184279424OAI: oai:DiVA.org:mdh-66094DiVA, id: diva2:1839227
2024-02-202024-02-202024-02-20Bibliographically approved