Cover Image

Modeling and Verification of Reconfigurable Actor Families

Main Authors: Sabouri, Hamideh, Khosravi, Ramtin
Format: Article eJournal
Terbitan: Journal of Universal Computer Science , 2013
Subjects:
dynamic software product lines
model checking
actor models
reconfiguration
Online Access: https://zenodo.org/record/5504779
ctrlnum 5504779
fullrecord <?xml version="1.0"?> <dc schemaLocation="http://www.openarchives.org/OAI/2.0/oai_dc/ http://www.openarchives.org/OAI/2.0/oai_dc.xsd"><creator>Sabouri, Hamideh</creator><creator>Khosravi, Ramtin</creator><date>2013-01-28</date><description>Software product line engineering enables proactive reuse among a set of related products through explicit modeling of commonalities and differences among them. Features are usually used to distinguish different products as a product is identified by its supported feature set that is represented by a configuration. Dynamic product lines enhance flexibility of a product by allowing run-time reconfiguration. In this paper, we focus on modeling and verification of families of concurrent and distributed systems that are reconfigurable. To this end, we introduce the notion of variability in actor models to achieve family of reconfigurable actors. Then, we present our methodology to model this concept using the actor-based modeling language Rebeca. The model checking backbone of Rebeca enables us to ensure establishment of certain constraints on reconfigurations. We show the applicability and effectiveness of our approach by applying it on a set of case studies.</description><identifier>https://zenodo.org/record/5504779</identifier><identifier>10.3217/jucs-019-02-0207</identifier><identifier>oai:zenodo.org:5504779</identifier><publisher>Journal of Universal Computer Science</publisher><rights>info:eu-repo/semantics/openAccess</rights><rights>https://creativecommons.org/licenses/by/4.0/legalcode</rights><source>JUCS - Journal of Universal Computer Science 19((2)) 207-232</source><subject>dynamic software product lines</subject><subject>model checking</subject><subject>actor models</subject><subject>reconfiguration</subject><title>Modeling and Verification of Reconfigurable Actor Families</title><type>Journal:Article</type><type>Journal:Article</type><recordID>5504779</recordID></dc>
format Journal:Article
Journal
Journal:eJournal
author Sabouri, Hamideh
Khosravi, Ramtin
title Modeling and Verification of Reconfigurable Actor Families
publisher Journal of Universal Computer Science
publishDate 2013
topic dynamic software product lines
model checking
actor models
reconfiguration
url https://zenodo.org/record/5504779
contents Software product line engineering enables proactive reuse among a set of related products through explicit modeling of commonalities and differences among them. Features are usually used to distinguish different products as a product is identified by its supported feature set that is represented by a configuration. Dynamic product lines enhance flexibility of a product by allowing run-time reconfiguration. In this paper, we focus on modeling and verification of families of concurrent and distributed systems that are reconfigurable. To this end, we introduce the notion of variability in actor models to achieve family of reconfigurable actors. Then, we present our methodology to model this concept using the actor-based modeling language Rebeca. The model checking backbone of Rebeca enables us to ensure establishment of certain constraints on reconfigurations. We show the applicability and effectiveness of our approach by applying it on a set of case studies.
id IOS17403.5504779
institution Universitas PGRI Palembang
institution_id 189
institution_type library:university
library
library Perpustakaan Universitas PGRI Palembang
library_id 587
collection Marga Life in South Sumatra in the Past: Puyang Concept Sacrificed and Demythosized
repository_id 17403
city KOTA PALEMBANG
province SUMATERA SELATAN
repoId IOS17403
first_indexed 2022-07-26T05:53:57Z
last_indexed 2022-07-26T05:53:57Z
recordtype dc
merged_child_boolean 1
_version_ 1739497907815448576
score 17.610285

Lihat Juga