2022
DOI: 10.1007/978-3-031-23119-3_15
|View full text |Cite
|
Sign up to set email alerts
|

A Maude-Based Rewriting Approach to Model and Control System-of-Systems’ Resources Allocation

Help me understand this report

Search citation statements

Order By: Relevance

Paper Sections

Select...
1

Citation Types

0
1
0

Year Published

2023
2023
2023
2023

Publication Types

Select...
1
1

Relationship

1
1

Authors

Journals

citations
Cited by 2 publications
(1 citation statement)
references
References 21 publications
0
1
0
Order By: Relevance
“…The paper (Cherfa et al, 2018) has provided an approach to support design activities in the SoS development process. Another contribution (Dridi et al, 2023) where we provided a formal modeling approach which reduces the complexity of designing SoS temporal constraints, resources types, etc. We adopted an approach based on rewriting logic to provide a model for specifying resources consumption, and temporal behavior of SoSs.…”
Section: Related Workmentioning
confidence: 99%
“…The paper (Cherfa et al, 2018) has provided an approach to support design activities in the SoS development process. Another contribution (Dridi et al, 2023) where we provided a formal modeling approach which reduces the complexity of designing SoS temporal constraints, resources types, etc. We adopted an approach based on rewriting logic to provide a model for specifying resources consumption, and temporal behavior of SoSs.…”
Section: Related Workmentioning
confidence: 99%