Name
Abstract | ||
|---|---|---|
The challenge of developing dynamically-evolving resilient distributed systems that are composed of autonomous components has been partially addressed by introducing the concept of component ensembles. Nevertheless, systematic design of complex ensemble-based systems is still a pressing issue. This stems from the fact that contemporary design methods do not scale in terms of the number and complexity of ensembles and components, and do not efficiently cope with the dynamism involved. To address this issue, we present a novel method - Invariant Refinement Method (IRM) - for designing ensemble-based component systems by building on goal-based requirements elaboration, while integrating component architecture design and software control system design. |
Year | DOI | Venue |
|---|---|---|
2013 | 10.1145/2465449.2465457 | CBSE |
Keywords | Field | DocType |
complex ensemble-based system,autonomous component,invariant refinement method,component ensemble,pressing issue,software control system design,contemporary design method,systematic design,invariant refinement,ensemble-based component system,component architecture design,requirements engineering,ensemble,component,system design,refinement | Architecture design,Dynamism,Control software,Computer science,Systems design,Requirements engineering,Design methods,Theoretical computer science,Invariant (mathematics) | Conference |
Citations | PageRank | References |
14 | 0.81 | 14 |
Authors | ||
6 | ||
Name | Order | Citations | PageRank |
|---|---|---|---|
| Jaroslav Keznikl | 1 | 157 | 12.23 |
| Tomas Bures | 2 | 289 | 19.38 |
| Frantisek Plasil | 3 | 945 | 74.69 |
| Ilias Gerostathopoulos | 4 | 254 | 26.55 |
| Petr Hnetynka | 5 | 362 | 34.75 |
| Nicklas Hoch | 6 | 49 | 6.38 |