J.帕德伯格。;加耶夫斯基，M。;埃梅尔，C。 基于规则的高级网络细化，保护安全属性。 （英语） Zbl 0969.68109号 科学。计算。程序。 40，第1期，97-118（2001）. 摘要：基于规则的修改概念是在代数图变换和高级替换系统领域发展起来的，最近它被证明是Petri网垂直结构的强大概念。这包括低级和高级Petri网，特别是代数高级网，它可以被视为代数规范和Petri网的集成。在一个大型案例研究中，基于规则的代数高级网修改已成功应用于医疗信息系统的需求分析。本文的主要新结果扩展了代数高级网的基于规则的修改，从而保留了根据时序逻辑制定的安全属性。对于基于基于规则的代数高级网修改作为垂直开发策略的软件开发来说，这种扩展是一种重要的新技术。它被称为基于规则的细化。作为一个运行示例，我们考虑了医疗信息系统的一个重要安全属性，并证明了它在基于规则的求精下是保持不变的。 引用于4文件 MSC公司： 68问题85 并发和分布式计算的模型和方法（进程代数、互模拟、转换网等） 关键词：基于规则的修改;Petri网的垂直结构 软件：设计/CPN PDF格式BibTeX公司 XML格式引用 \textit{J.Padberg}等人，科学。计算。程序。40，第1号，97--118（2001；Zbl 0969.68109） 全文： 内政部