Title Details: | |
Formal design with Denotational Mathematics |
|
Authors: |
Sarivougioukas, John (Ed.) Vagelatos, Aristeidis (Ed.) |
Description: | |
Abstract: |
The adoption of modeling through processes facilitates the health service designer in describing the tasks performed in the healthcare environment, but often involves threats and risks related to interactions and conflicts between the operating parameters of the processes involved, resulting in the impossibility of performing them in an acceptable manner designed functions. Consequently, a well-formed and formally formulated mathematical framework is needed which will ensure the removal of any possible conflict between the performed processes while keeping the business objectives unchanged. In this section, we consider the mathematical framework by which the processes are processed, which is nothing more than denotational mathematics.
|
Linguistic Editors: |
Kioseoglou, Nerina |
Graphic Editors: |
Makrinou, Sofia |
Type: |
Chapter |
Creation Date: | 10-10-2023 |
Item Details: | |
License: |
Attribution - NonCommercial - ShareAlike 4.0 International (CC BY-NC-SA 4.0) |
Handle | http://hdl.handle.net/11419/10884 |
Bibliographic Reference: | Sarivougioukas, J. (Ed.), & Vagelatos, A. (Ed.). (2023). Formal design with Denotational Mathematics [Chapter]. In Sarivougioukas, J. (Ed.), & Vagelatos, A. (Ed.) 2023. Quality management in digital health [Undergraduate textbook]. Kallipos, Open Academic Editions. https://hdl.handle.net/11419/10884 |
Language: |
Greek |
Is Part of: |
Quality management in digital health |
Publication Origin: |
Kallipos, Open Academic Editions |