https://www.mdu.se/

mdu.sePublications
Change search
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf
Actors Upgraded for Variability, Adaptability, and Determinism
School of ECE, University of Tehran, Tehran, Ira.
School of ECE, University of Tehran, Tehran, Ira.
School of ECE, University of Tehran, Tehran, Ira.
Mälardalen University, School of Innovation, Design and Engineering, Embedded Systems.
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
Available from: 2024-02-20 Created: 2024-02-20 Last updated: 2024-02-20Bibliographically approved

Open Access in DiVA

No full text in DiVA

Other links

Publisher's full textScopus

Authority records

Sirjani, Marjan

Search in DiVA

By author/editor
Sirjani, Marjan
By organisation
Embedded Systems
Computer and Information Sciences

Search outside of DiVA

GoogleGoogle Scholar

doi
urn-nbn

Altmetric score

doi
urn-nbn
Total: 69 hits
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf