Τυπικός σχεδιασμός με δηλωτικά μαθηματικά

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.