Conceptual building blocks for modeling reconfiguration of component-based systems using Petri nets

Y. Hafidi; E.P. de Vink

doi:10.1016/j.jlamp.2022.100813

Conceptual building blocks for modeling reconfiguration of component-based systems using Petri nets

Y. Hafidi, E.P. de Vink (Corresponding author)

Research output: Contribution to journal › Article › Academic › peer-review

1 Citation (Scopus)

56 Downloads (Pure)

Abstract

This paper deals with the formal modeling of dynamically reconfigurable systems using Petri nets. Dynamic reconfiguration provides to a system the ability to change the behavior of its components at run-time without a system shut-down. By transferring the concepts of the coordination modeling language Paradigm to the setting of Petri nets a framework is obtained for the modeling of component-based systems. The framework then allows for reasoning about coordination of components on one level of abstraction and for analysis of reconfiguration on another level of abstraction. This factorization will be beneficial to subsequent formal assessment. A workers and scheduler example, the well-known dining philosophers, and a Festo MPS casestudy serve as illustrations.

Original language	English
Article number	100813
Number of pages	16
Journal	Journal of Logical and Algebraic Methods in Programming
Volume	130
DOIs	https://doi.org/10.1016/j.jlamp.2022.100813
Publication status	Published - Jan 2023

Funding

This work was partially supported by the MACHINAIDE project (ITEA3, No. 18030).

Keywords

Coordination
Dynamic reconfiguration
Formal specification
Foundations for software architecture design
Petri nets

Access to Document

10.1016/j.jlamp.2022.100813

pdfFinal published version, 659 KBLicence: CC BY-NC-ND

Cite this

@article{aed250da7c764fe49956c3001cab5631,

title = "Conceptual building blocks for modeling reconfiguration of component-based systems using Petri nets",

abstract = "This paper deals with the formal modeling of dynamically reconfigurable systems using Petri nets. Dynamic reconfiguration provides to a system the ability to change the behavior of its components at run-time without a system shut-down. By transferring the concepts of the coordination modeling language Paradigm to the setting of Petri nets a framework is obtained for the modeling of component-based systems. The framework then allows for reasoning about coordination of components on one level of abstraction and for analysis of reconfiguration on another level of abstraction. This factorization will be beneficial to subsequent formal assessment. A workers and scheduler example, the well-known dining philosophers, and a Festo MPS casestudy serve as illustrations.",

keywords = "Coordination, Dynamic reconfiguration, Formal specification, Foundations for software architecture design, Petri nets",

author = "Y. Hafidi and {de Vink}, E.P.",

note = "Funding Information: This work was partially supported by the MACHINAIDE project (ITEA3, No. 18030). Publisher Copyright: {\textcopyright} 2022 Eindhoven University of Technology",

year = "2023",

month = jan,

doi = "10.1016/j.jlamp.2022.100813",

language = "English",

volume = "130",

journal = "Journal of Logical and Algebraic Methods in Programming",

issn = "2352-2208",

publisher = "Elsevier",

}

TY - JOUR

T1 - Conceptual building blocks for modeling reconfiguration of component-based systems using Petri nets

AU - Hafidi, Y.

AU - de Vink, E.P.

PY - 2023/1

Y1 - 2023/1

N2 - This paper deals with the formal modeling of dynamically reconfigurable systems using Petri nets. Dynamic reconfiguration provides to a system the ability to change the behavior of its components at run-time without a system shut-down. By transferring the concepts of the coordination modeling language Paradigm to the setting of Petri nets a framework is obtained for the modeling of component-based systems. The framework then allows for reasoning about coordination of components on one level of abstraction and for analysis of reconfiguration on another level of abstraction. This factorization will be beneficial to subsequent formal assessment. A workers and scheduler example, the well-known dining philosophers, and a Festo MPS casestudy serve as illustrations.

AB - This paper deals with the formal modeling of dynamically reconfigurable systems using Petri nets. Dynamic reconfiguration provides to a system the ability to change the behavior of its components at run-time without a system shut-down. By transferring the concepts of the coordination modeling language Paradigm to the setting of Petri nets a framework is obtained for the modeling of component-based systems. The framework then allows for reasoning about coordination of components on one level of abstraction and for analysis of reconfiguration on another level of abstraction. This factorization will be beneficial to subsequent formal assessment. A workers and scheduler example, the well-known dining philosophers, and a Festo MPS casestudy serve as illustrations.

KW - Coordination

KW - Dynamic reconfiguration

KW - Formal specification

KW - Foundations for software architecture design

KW - Petri nets

UR - http://www.scopus.com/inward/record.url?scp=85138470199&partnerID=8YFLogxK

U2 - 10.1016/j.jlamp.2022.100813

DO - 10.1016/j.jlamp.2022.100813

M3 - Article

AN - SCOPUS:85138470199

SN - 2352-2208

VL - 130

JO - Journal of Logical and Algebraic Methods in Programming

JF - Journal of Logical and Algebraic Methods in Programming

M1 - 100813

ER -

Conceptual building blocks for modeling reconfiguration of component-based systems using Petri nets

Abstract

Funding

Keywords

Access to Document

Other files and links

Fingerprint

Cite this