摘要
为了高效地实现采用集成化医疗卫生企业(IHE)技术框架的医疗信息的集成,解决医疗信息系统间的互操作性问题,建立了IHE集成模式和Petri网之间的映射关系,进而构建了基于Petri网的IHE集成模式的工作流模型。利用Java语言开发的开源软件平台独立的Petri网编辑器(PIPE2),生成了系统Petri网模型的可达图,为进一步分析模型的动态性质并验证系统的正确性奠定了基础。
To effectively fulfill the integration of medical information based on the technical frameworks of integrating healthcare enterprise(IHE) and to solve the problem of interoperability among medical information systems, the reflection relationship between IHE integration profile and Petri Net is established, and then the workflow model of IHE integration profiles based on Petri Net is established.By using the open source software platform independent petri net editor(PIPE2) developed by Java, the reachability graph of system Petri net model is generated, and the basis of further analysing the dynamic attributes of the model and verifying the correctness of the system is established.
出处
《计算机工程与设计》
CSCD
北大核心
2009年第23期5408-5411,共4页
Computer Engineering and Design