Abstract | ||
---|---|---|
To respond to users’ demands, organizations’ in-formation systems are put into action consuming resources of different types. However, it happens that resources are poorly defined raising concerns about their availabilities at run-time. To ensure the correct definition of resources, this paper presents an approach to formally model and verify them using model-checking. First, properties referred t... |
Year | DOI | Venue |
---|---|---|
2021 | 10.1109/SCC53864.2021.00052 | 2021 IEEE International Conference on Services Computing (SCC) |
Keywords | DocType | ISBN |
Computational modeling,Conferences,Automata,Service computing,Information systems,Formal verification | Conference | 978-1-6654-1683-2 |
Citations | PageRank | References |
0 | 0.34 | 0 |
Authors | ||
4 |
Name | Order | Citations | PageRank |
---|---|---|---|
Rania Ben Halima | 1 | 3 | 2.45 |
Kaïs Klai | 2 | 259 | 27.20 |
Mohamed Sellami | 3 | 126 | 19.13 |
Zakaria Maamar | 4 | 195 | 19.69 |