Abstract | ||
---|---|---|
Refinement consists of detailing the specification in order to get a more concrete model. However, this technique leads to large models. Hence, model decomposition is used to reduce model complexity. In this paper, we present the main methods of decomposition and their limitations. Then, we define the decomposition by refinement method that deals with these limitations. Thereafter, we proceed with the rules to follow in order to get a correct decomposed model. |
Year | DOI | Venue |
---|---|---|
2019 | 10.1007/978-3-030-54997-8_23 | FM Workshops (2) |
DocType | Citations | PageRank |
Conference | 0 | 0.34 |
References | Authors | |
0 | 6 |
Name | Order | Citations | PageRank |
---|---|---|---|
Kenza Kraibi | 1 | 0 | 0.34 |
Rahma Ben Ayed | 2 | 27 | 11.30 |
Joris Rehm | 3 | 0 | 0.34 |
Simon Collart Dutilleul | 4 | 12 | 7.84 |
Philippe Bon | 5 | 6 | 6.26 |
Dorian Petit | 6 | 18 | 3.24 |