أرسل هذا في رسالة قصيرة: Formalization of medical informatics UML and Z specifications