Symbolic model checking
Dotaz
Zobrazit nápovědu
BACKGROUND: It is very difficult to find a consensus that will be accepted by most players when creating health care legislation. The Czech electronic prescription system was launched in 2011 and new functions were introduced in 2018. To ensure that these functions will not conflict with any other existing law, a process modeling tool based on the patent "Method and system for automated requirements modeling" was used successfully in the Czech Republic for the first time. OBJECTIVE: The aim of this project was to develop another successful application of process modeling to add COVID-19 vaccination records to the existing electronic prescription system. METHODS: The method employed was based on the mathematical theory of hierarchical state diagrams and process models. In the first step, sketches that record the results of informal discussions, interviews, meetings, and workshops were prepared. Subsequently, the architecture containing the main participants and their high-level interactions was drafted. Finally, detailed process diagrams were drawn. Each semiresult was discussed with all involved team members and stakeholders to incorporate all comments. By repeating this procedure, individual topics were gradually resolved and the areas of discussion were narrowed down until reaching complete agreement. RESULTS: This method proved to be faster, clearer, and significantly simpler than other methods. Owing to the use of graphic tools and symbols, the risk of errors, inaccuracies, and misunderstandings was significantly reduced. The outcome was used as an annex to the bill in the legislative process. One of the main benefits of this approach is gaining a higher level of understanding for all parties involved (ie, legislators, the medical community, patient organizations, and information technology professionals). The process architecture model in a form of a graphic scheme has proven to be a valuable communication platform and facilitated negotiation between stakeholders. Moreover, this model helped to avoid several inconsistencies that appeared during workshops and discussions. Our method worked successfully even when participants were from different knowledge areas. CONCLUSIONS: The vaccination record process model was drafted in 3 weeks and it took a total of 2 months to pass the bill. In comparison, the initial introduction of the electronic prescription system using conventional legislative methods took over 1 year, involving immediate creation of a text with legislative intent, followed by paragraph-by-section wording of the legislation that was commented on directly. These steps are repeated over and over, as any change in any part of the text has to be checked and rechecked within the entire document. Compared with conventional methods, we have shown that using our method for the process of modification of legislation related to such a complex issue as the integration of COVID-19 vaccination into an electronic prescription model significantly simplifies the preparation of a legislative standard.
- Publikační typ
- časopisecké články MeSH
... 6.11 Concluding remarks 121 -- 7 Preparing to analyse data 122 -- 7.1 Introduction 122 -- 7.2 Data checking ... ... Estimation 160 -- 8.5 Hypothesis testing 165 -- 8.6 Non-parametric methods 171 -- 8.7 Statistical modelling ... ... -- 13.4 Mathematical calculations and worked examples 377 -- 13.5 Incorrect analyses 385 -- 13.6 Modelling ... ... survival - the Cox regression model 387 -- 13.7 Design of survival studies 393 x Contents -- 13.8 Presentation ... ... Mathematical notation 505 -- Al.l Introduction 505 -- Al.2 Basic ideas 505 -- A 1.3 Mathematical symbols ...
First edition xii, 611 stran : ilustrace ; 25 cm
... Architektura podpory 44 -- Kapitola 2 -- Plánování systému Windows Server 2008 55 -- Přehled plánování 55 -- Model ... ... Microsoft Solutions Framework 56 -- Váš plán: celkový přehled 57 -- Určení organizačních týmů 58 -- Model ... ... -- Kapitola 17 -- Sdílení souborů a zabezpečení 543 -- Základy sdílení souborů 543 -- Seznámení s modely ... ... Operators a Server Operators -- Nepoužívat kontrolu procháze- ní (Bypass Traverse Checking) Umožní uživatelům ... ... Vytvořit symbolické odkazy (Create Symbolic Links) Umožní aplikaci spuštěné uživatelem vytvářet Administrators ...
1.vyd. 1364 s.
Ponořte se do všech možností Windows Serveru 2008 a zjistěte, jak ho využít v praxi do posledního detailu. A to vše pomocí velmi rychlých, okamžitých řešení. Uznávaný autor knih o Windows Serveru vám nabídne tovky postupů, tipů, triků a hotových skriptů. S knihou se tak stanete skutečným expertem – administrátorem, který zvládne naprosto všechny činnosti v rámci podnikové sítě založené na Windows Serveru 2008. Konkrétně se například naučíte provádět migrace, automatizovat činnosti, implementovat funkce zabezpečení, spravovat aktualizace a opravné záplaty, analyzovat a protokolovat výkon serveru, konfigurovat terminálové služby, spravovat doménové struktury a mnoho dalšího.
... uses audience, 72, 81, 90; see also bystanders augmenting context, see under context (incremental model ... ... also incidental vs. defining characteristics consistency, of inferences, see context (incremental model ... ... passim; see also sequence encoded in sentences, 9-11, 31, 47^* -- Ch. 2 passim, iSoflf incremental model ... ... ‘syntactic’ models of, 286-7, 289-94, 304, 367 and syntax, 365-6, 373 turns in, see turns, turn-taking ... ... , 194-5 switch, of deictic centre, 64, 68; see also turn-taking symbolic usage, of deictic expressions ...
Cambridge textbooks of linguistics
15th ed. xvi, 420 s.
