×
卡斯滕·加布里埃尔;哈特穆特·埃里格

基于高级网络和流程的转换，对通信平台和场景的演变进行建模。 （英语） Zbl 1238.68098号

西奥。计算。科学。 429, 87-97 (2012).
摘要：代数高层（AHL）网是一种著名的建模技术，它基于具有代数数据类型的Petri网，允许在一个建模框架内对通信结构和数据流进行建模。AHL网络的转换——受到图形转换理论的启发——还允许修改通信结构。此外，AHL网的高级过程以适当的方式捕获了AHL网中的并发语义。总之，我们获得了一种强大的集成形式化规范技术来对各种基于通信的系统，特别是不同类型的通信平台进行建模和分析。
在本文中，我们展示了如何基于代数高级网和进程的转换来建模通信平台和场景的演化。所有结构和结果都通过一个小案例研究进行了说明，该案例研究显示了Apache Wave平台和场景的演变。平台的演化通过AHL网络的转换进行建模，场景的演化通过AHL网络过程的转换进行模拟。在通信平台和场景演变的推动下，给出了AHL网络过程转换的两个新结果。

MSC公司：

第68季度85 并发和分布式计算的模型和方法（进程代数、互模拟、转换网等）

关键词：

通信平台;高级Petri网;过程;转型
PDF格式BibTeX公司 XML格式引用
\textit{K.Gabriel}和\textit{H.Ehrig}，Theor。计算。科学。429，87-97（2012；Zbl 1238.68098）
全文： 内政部

参考文献：

[1] Apache软件基金会。http://apache.org; Apache软件基金会。http://apache.org
[2] 阿帕奇波浪。http://incutor.apache.org/wave/; 阿帕奇波浪。http://incutor.apache.org/wave/
[3] Ehrig，H。；Ehrig，K。；Prange，U。；Taentzer，G.，（代数图变换的基础。代数图变换基础，EATCS TCS专著（2006），Springer）·Zbl 1095.68047号
[4] Ehrig，H。；Gabriel，K.，《代数高级网的转换和过程与通信平台应用的融合》，《国际软件与信息学杂志》，第5卷第1部分，207-229（2011）
[5] 埃里格，H。；霍夫曼，K。；Padberg，J。；巴尔丹，P。；Heckel，R.，《高级网络过程》（Formal and Natural Computing），《形式与自然计算》，LNCS，第2300卷（2002），施普林格出版社），191-219·Zbl 1060.68078号
[6] Ehrig，H.，图文法代数理论导论（综述），（Claus，V.；Ehrig；H.；Rozenberg，G.，《图文法及其在计算机科学和生物学中的应用》，《计算机科学讲义》，第73卷（1979年），Springer），1-69·Zbl 0407.68072号
[7] Ehrig，H.，《高级petri网过程的行为和实例化》，《信息学基础》，65，3，211-247（2005）·Zbl 1096.68105号
[8] Ehrig，H。；Mahr，B.，《代数规范基础》，第1卷（1985年），Springer·Zbl 0557.68013号
[9] K.Gabriel，基于高级网络和进程扩展版本的转换的通信平台和场景的演化建模。2011/08年技术报告，柏林理工大学，2011年。；K.Gabriel，基于高级网络和进程扩展版本的转换的通信平台和场景的演化建模。2011/08年技术报告，柏林理工大学，2011年。
[10] 谷歌。http://google.com; 谷歌。http://google.com
[11] 美国高尔茨。；Reisig，W.，《petri网的非顺序行为，信息与控制》，57，2/3，125-147（1983）·Zbl 0551.68050号
[12] 凯瑟琳·霍夫曼；Tony Modica，《使用可重构代数高级网对通信平台进行形式化建模》，ECEASST，30，1-25（2010）
[13] Jensen，K.，《有色petri网：系统设计和分析的高级语言》（Rozenberg，G.，《petri网的进展》，1990年。Petri网进展1990，LNCS，第483卷（1991），Springer），342-416
[14] 梅塞盖尔，J。；Montanari，U.，Petri网是幺半群，信息与计算，88，2，105-155（1990）·Zbl 0711.68077号
[15] Padberg，J。；Ehrig，H。；Ribeiro，L.，代数高级网变换系统，计算机科学中的数学结构，80，217-259（1995）·Zbl 0839.68068号
[16] Reisig，W.，Petrinetze，Eine Einführung（1985），《施普林格出版社：柏林施普林格书店》·Zbl 0482.68054号
[17] W.Reisig，Petri网和代数规范。慕尼黑理工大学，SFB-Bericht 342/1/90 B，1990年3月。；W.Reisig，Petri网和代数规范。慕尼黑理工大学，SFB-Bericht 342/1/90 B，1990年3月·Zbl 0727.68080号
[18] Rozenberg，G.，《基本网络系统的行为》（Petri网：中心模型及其属性，Petri网的进展），Petri网络：中心模型及属性，Petri-Nets的进展，LNCS，第254卷（1987），Springer），60-94·Zbl 0636.68064号
[19] （Rozenberg，G.，《图形语法和图形转换计算手册》，第1卷，基金会（1997），《世界科学：世界科学新加坡》）·Zbl 0908.68095号
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。