哲学家进餐问题是荷兰学者Dijkstra 提出的经典问题之一,它是一个信号量机制问题的应用,在操作系统文化史上具有非常重要的地位。对该问题的剖析有助于学生深刻地理解计算机系统中的资源共享、进程同步、死锁等问题,并能熟练地应用信号量来解决生活中的控制流程,即将生活中的控制流程用形式化的方式表达出来。-Dining philosophers problem is that the Dutch scholars Dijkstra classic one of the issues raised, it

根据MDA的思想，给出了用于统一描述数据模型的数据词典的逻辑结构，以数据词典的方式在元模型层上对数据模型进行统一描述，在数据词典的基础上分析了异构数据模型之间的数据映射关系。采用EBNF范式对描述映射关系的语法进行形式化定义和描述，同时给出映射关系的相关语义说明。在研究的基础上实现了数据映射功能，并投入实际应用，文中给出数据映射的应用实例。-This article present a kind of Data Mapping techenology based MDA,descr ipt th

哲学家进餐问题是荷兰学者Dijkstra 提出的经典问题之一,它是一个信号量机制问题的应用,在操作系统文化史上具有非常重要的地位。对该问题的剖析有助助于学生深刻地理解计算机系统中的资源共享、进程同步、死锁等问题,并能熟练地应用信号量来解决生活中的控制流程,即将生活中的控制流程用形式化的方式表达出来。 -The dining philosophers problem is one of the Dutch scholar Dijkstra' s classic, it is the ap

形式化语言开发，与uml结合,基于数学的特种技术，适合于软件和硬件系统的描述、开发和验证-Formal language development