|
| << vorige | volgende >> |
Tijdschrift beschrijving
Alle jaargangen van het bijbehorende tijdschrift
Alle afleveringen van het bijbehorende jaargang
Alle artikelen van de bijbehorende aflevering
Details van artikel 30 van 36 gevonden artikelen
| Titel: |
Rigorous Development of Fault-Tolerant Transactions for Information Retrieval Systems Using Event-B |
| Auteur: |
Hong-Jiang Gao Hong Sun Bang-Hai Xu Ying He Zheng Qin |
| Verschenen in: |
Information technology journal |
| Paginering: | Jaargang 7 (2008) nr. 6 pagina's 868-875 |
| Jaar: |
2008 |
| Inhoud: |
The aim of this study is to demonstrate the approach of stepwise development of a distributed transaction mechanism for information retrieval systems. In this study, we formally develop an abstract model of transactions in Event-B for an IR system, in which fault tolerance is provided in the distributed transaction execution. We starts from an abstract system specification and gradually introduce implementation details in a series of correctness-preserving transformations, where complex system properties (such as fault tolerant) could be specified in a structured and rigorous way. During each transformation, the refinement between the abstract specification of the system and its detailed design is verified. Using Event-B, we achieve a high degree of automatic proof via this incremental approach. |
| Uitgever: |
Asian Network for Scientific Information, Pakistan (provided by DOAJ) |
| Bronbestand: |
Elektronische Wetenschappelijke Tijdschriften |
Details van artikel 30 van 36 gevonden artikelen
| << vorige | volgende >> |